Overview Paper

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.

Other Papers

MSeqGen: Object-Oriented Unit-Test Generation via Mining Source Code
Suresh Thummalapenta, Tao Xie, Nikolai Tillmann, Peli de Halleux, and Wolfram Schulte, to appear in Proc. of ESEC/FSE 2009, 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, August 2009

Fitness-Guided Path Exploration in Dynamic Symbolic Execution
Tao Xie, Nikolai Tillmann, Peli de Halleux and Wolfram Schulte, to appear in Proc. of DSN 2009, the 39th International Conference on Dependable Systems and Networks.
Earlier version as Technical Report MSR-TR-2008-123 [PDF], Microsoft Research, September 2008.

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.

DySy: Dynamic Symbolic Execution for Invariant Inference
Christoph Csallner, Nikolai Tillmann, Yannis Smaragdakis, Proc. of ICSE 2008, 30th ACM/IEEE International Conference on Software Engineering, pages 281-290, May 2008.
Earlier version as Technical Report MSR-TR-2007-151 [PDF], Microsoft Research, November 2007.

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.