| * | 2009 |
|---|
| 8 | EE | 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: 193-202 |
| 7 | EE | Kunal Taneja,
Tao Xie,
Nikolai Tillmann,
Jonathan de Halleux,
Wolfram Schulte:
Guided path exploration for regression test generation.
ICSE Companion 2009: 311-314 |
| 6 | EE | Thomas Ball,
Sebastian Burckhardt,
Jonathan de Halleux,
Madanlal Musuvathi,
Shaz Qadeer:
Deconstructing concurrency heisenbugs.
ICSE Companion 2009: 403-404 |
| 2008 |
|---|
| 5 | EE | Dries Vanoverberghe,
Nikolaj Bjørner,
Jonathan de Halleux,
Wolfram Schulte,
Nikolai Tillmann:
Using Dynamic Symbolic Execution to Improve Deductive Verification.
SPIN 2008: 9-25 |
| 4 | EE | Nikolai Tillmann,
Jonathan de Halleux:
Pex-White Box Test Generation for .NET.
TAP 2008: 134-153 |
| 3 | EE | Jonathan de Halleux,
Nikolai Tillmann:
Parameterized Unit Testing with Pex.
TAP 2008: 171-181 |
| 2 | EE | Nikolai Tillmann,
Jonathan de Halleux:
White-box testing of behavioral web service contracts with Pex.
TAV-WEB 2008: 47-48 |
| 1 | EE | 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 25(5): 30-37 (2008) |
