Pex - Publications

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.

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, to appear.
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.