| 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) |
