Overview Papers

Pex – White Box Test Generation for .NET [link]
Nikolai Tillmann, Jonathan de Halleux, Proc. of TAP 2008, the 2nd International Conference on Tests and Proofs, LNCS, vol. 4966, pages 134-153, April 2008.

Moles: tool-assisted environment isolation with closures
Jonathan de Halleux, Nikolai Tillmann, (To Appear) Proc. of TOOLS 2010, the 48th International Conference on Objects, Models, Components, Patterns, July 2010.

More Papers

DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic Traces [link]
Suresh Thummalapenta, Jonathan Halleux, Nikolai Tillmann, and Scott Wadsworth, (To Appear) Proc. of TAP 2010, Springer Verlag, July 2010

Rex: Symbolic Regular Expression Explorer
Margus Veanes, Peli de Halleux, and Nikolai Tillmann, Proc. of ICST'10, IEEE, April 2010.
Earlier version as Technical Report MSR-TR-2009-137 [PDF], Microsoft Research, October 2009.

Exploiting the Synergy between Automated-Test-Generation and Programming-by-Contract
M. Barnett, M. Fahndrich, P. de Halleux, F. Logozzo, N. Tillmann, Proc. of ICSE 2009, 31th International Conference on Software Engineering, Companion, pages 401-402, May 2009.

Path Feasibility Analysis for String-Manipulating Programs [link]
Nikolaj Bjørner, Nikolai Tillmann and Andrei Voronkov, Proc. of TACAS 2009, Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol 5505, pages 307-321, March 2009.
Earlier version as Technical Report MSR-TR-2008-153 [PDF], Microsoft Research, October 2008.

Automating Software Testing Using Program Analysis [PDF]
Patrice Godefroid, Peli de Halleux, Michael Levin, Aditya Nori, Sriram K. Rajamani, Wolfram Schulte and Nikolai Tillmann, IEEE Computer Society, IEEE Software, Vol. 25, No. 5, pp 30–37, September/October 2008.

White-box testing of behavioral web service contracts with Pex [link]
Nikolai Tillmann and Jonathan de Halleux, Proc. of TAV-WEB 2008, Workshop on Testing, Analysis and Verification of Web Software, in conjunction with ISSTA 2008.

Satisfiability Modulo Bit-precise Theories for Program Exploration [PDF]
Nikolaj Bjørner, Leonardo de Moura and Nikolai Tillmann, Invited workshop paper, to appear at CFV 2008, Fifth International Workshop on Constraints in Formal Verification.

Using Dynamic Symbolic Execution to Improve Deductive Verification [link]
Dries Vanoverberghe, Nikolaj Bjørner, Jonathan de Halleux, Wolfram Schulte, Nikolai Tillmann, Invited paper, Proc. of SPIN 2008, 15th International SPIN Workshop on Model Checking of Software, LNCS, vol. 5156, pages 9-25, August 2008.

Parameterized Unit Testing with Pex (Tutorial) [link]
Jonathan de Halleux, Nikolai Tillmann, Proc. of TAP 2008, the 2nd International Conference on Tests and Proofs, LNCS, vol. 4966, pages 171-181, April 2008.

Demand-Driven Compositional Symbolic Execution [link]
Saswat Anand, Patrice Godefroid, Nikolai Tillmann, Proc. of TACAS 2008, Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 4963, pages 367-381, April 2008.
Earlier version as Technical Report MSR-TR-2007-138 [PDF], Microsoft Research, October 2007.

Achieving Both Model and Code Coverage with Automated Gray-Box Testing [link]
Nicolas Kicillof, Wolfgang Grieskamp, Nikolai Tillmann, Victor Braberman, Proc. of A-MOST 2007, the 3rd international workshop on Advances in model-based testing, ACM, pages 1-11, July 2007.

Unit Tests Reloaded: Parameterized Unit Testing with Symbolic Execution [link]
Nikolai Tillmann, Wolfram Schulte, IEEE Software, vol. 23, no. 4, pages 38-47, July/August 2006.
Earlier version as Technical Report MSR-TR-2005-153 [PDF], Microsoft Research, March 2006.

Mock-object generation with behavior [link]
Nikolai Tillmann, Wolfram Schulte, Proc. of ASE 2006: 21st IEEE/ACM International Conference on Automated Software Engineering, IEEE Computer Society, pages 365-368, September 2006.

Parameterized Unit Tests [PDF, link]
Nikolai Tillmann, Wolfram Schulte, Proc. of ESEC/FSE 2005, ACM SIGSOFT Software Engineering Notes, vol. 30, issue 5, pages 241-244, September 2005.
Earlier version as Report MSR-TR-2005-64 [PDF], Microsoft Research, May 2005.