|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 18 occurrences of 12 keywords
|
|
|
|
|
Results
Found 33 publication records. Showing 33 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Dries Vanoverberghe, Jonathan de Halleux, Nikolai Tillmann, Frank Piessens |
State Coverage: Software Validation Metrics beyond Code Coverage.  |
SOFSEM  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich, Tao Xie |
Engage your students by teaching programming using only mobile devices with TouchDevelop (abstract only). |
SIGCSE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Judith Bishop |
Teaching and learning computing via social gaming with Pex4Fun (abstract only). |
SIGCSE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Judith Bishop, Jonathan de Halleux, Nikolai Tillmann, R. Nigel Horspool, Don Syme, Tao Xie |
Browser-based software for technology transfer. |
SAICSIT Conf. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kunal Taneja, Tao Xie, Nikolai Tillmann, Jonathan de Halleux |
eXpress: guided path exploration for efficient regression test generation. |
ISSTA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Suresh Thummalapenta, Madhuri R. Marri, Tao Xie, Nikolai Tillmann, Jonathan de Halleux |
Retrofitting Unit Tests for Parameterized Unit Testing. |
FASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Suresh Thummalapenta, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Zhendong Su |
Synthesizing method sequences for high-coverage testing. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolai Tillmann, Jonathan de Halleux, Tao Xie |
Pex4Fun: Teaching and learning computer science via social gaming. |
CSEE&T |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xusheng Xiao, Tao Xie, Nikolai Tillmann, Jonathan de Halleux |
Precise identification of problems for structural test generation. |
ICSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xusheng Xiao, Tao Xie, Nikolai Tillmann, Jonathan de Halleux |
Covana: precise identification of problems in pex. |
ICSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan de Halleux, Nikolai Tillmann |
Moles: Tool-Assisted Environment Isolation with Closures. |
TOOLS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Margus Veanes, Nikolai Tillmann, Jonathan de Halleux |
Qex: Symbolic SQL Query Explorer. |
LPAR (Dakar) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Suresh Thummalapenta, Jonathan de Halleux, Nikolai Tillmann, Scott Wadsworth |
DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic Traces. |
TAP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kiran Lakhotia, Nikolai Tillmann, Mark Harman, Jonathan de Halleux |
FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution. |
ICTSS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rahul Pandita, Tao Xie, Nikolai Tillmann, Jonathan de Halleux |
Guided test generation for coverage criteria. |
ICSM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lingming Zhang, Tao Xie, Lu Zhang 0023, Nikolai Tillmann, Jonathan de Halleux, Hong Mei |
Test generation via Dynamic Symbolic Execution for mutation testing. |
ICSM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tao Xie, Jonathan de Halleux, Nikolai Tillmann, Wolfram Schulte |
Teaching and training developer-testing techniques and tool support. |
SPLASH/OOPSLA Companion |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolai Tillmann, Jonathan de Halleux, Tao Xie |
Parameterized unit testing: theory and practice. |
ICSE |
2010 |
DBLP DOI BibTeX RDF |
Pex, parameterized unit testing, testing, theories, unit testing, symbolic execution, mock objects |
| 1 | Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte |
Future of developer testing: building quality in code. |
FoSER |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Soonho Kong, Nikolai Tillmann, Jonathan de Halleux |
Automated Testing of Environment-Dependent Programs - A Case Study of Modeling the File System for Pex. |
ITNG |
2009 |
DBLP DOI BibTeX RDF |
Test Generation, Unit Testing, Automated Testing, Environment Modeling, Dynamic Symbolic Execution |
| 1 | Nuo Li, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte |
Reggae: Automated Test Generation for Programs Using Complex Regular Expressions. |
ASE |
2009 |
DBLP DOI BibTeX RDF |
string generation, test generation, dynamic symbolic execution |
| 1 | Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte |
Fitness-guided path exploration in dynamic symbolic execution. |
DSN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Kunal Taneja, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte |
Guided path exploration for regression test generation. |
ICSE Companion |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Madhuri R. Marri, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte |
An Empirical Study of Testing File-System-Dependent Software with Mock Objects. |
AST |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Madanlal Musuvathi, Shaz Qadeer |
Deconstructing concurrency heisenbugs. |
ICSE Companion |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Suresh Thummalapenta, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte |
MSeqGen: object-oriented unit-test generation via mining source code. |
ESEC/SIGSOFT FSE |
2009 |
DBLP DOI BibTeX RDF |
sequence mining, object-oriented testing |
| 1 | Patrice Godefroid, Jonathan de Halleux, Aditya V. Nori, Sriram K. Rajamani, Wolfram Schulte, Nikolai Tillmann, Michael Y. Levin |
Automating Software Testing Using Program Analysis. |
IEEE Software |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolai Tillmann, Jonathan de Halleux |
White-box testing of behavioral web service contracts with Pex. |
TAV-WEB |
2008 |
DBLP DOI BibTeX RDF |
web service, testing, unit testing, symbolic execution |
| 1 | Jonathan de Halleux, Nikolai Tillmann |
Parameterized Unit Testing with Pex. |
TAP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolai Tillmann, Jonathan de Halleux |
Pex-White Box Test Generation for .NET. |
TAP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dries Vanoverberghe, Nikolaj Bjørner, Jonathan de Halleux, Wolfram Schulte, Nikolai Tillmann |
Using Dynamic Symbolic Execution to Improve Deductive Verification. |
SPIN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte |
Parameterized Unit Testing with Pex: Tutorial. |
PSSE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan de Halleux, Christophe Prieur, Jean-Michel Coron, Brigitte d'Andréa-Novel, Georges Bastin |
Boundary feedback control in networks of open channels. |
Automatica |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #33 of 33 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")