Pex and Moles – Isolation and White Box Unit Testing for .NET

Established: February 21, 2007

Publications

View by:

- Advances in Unit Testing: Theory and Practice
  
  Tao Xie, Nikolai Tillmann, Pratap Lakshman
  
  Proc. 38th International Conference on Software Engineering (ICSE 2016) | May 2016
  
  Publication Publication Project
- Measuring Code Behavioral Similarity for Programming and Software Engineering Education
  
  Sihan Li, Xusheng Xiao, Blake Bassett, Tao Xie, Nikolai Tillmann
  
  Proc. 38th International Conference on Software Engineering (ICSE 2016), Software Engineering Education and Training (SEET) | May 2016
  
  Publication Publication Project Project Project
- Pex for Fun: Engineering an Automated Testing Tool for Serious Games in Computer Science
  
  Nikolai Tillmann, Jonathan "Peli" de Halleux, Tao Xie
  
  MSR-TR-2011-41 | March 2011
  
  Publication Project Project Project
- DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic Traces
  
  Suresh Thummalapenta, Jonathan "Peli" de Halleux, Nikolai Tillmann, Scott Wadsworth
  
  TAP'10 | July 2010
  
  Publication Project
- Moles: tool-assisted environment isolation with closures
  
  Jonathan "Peli" de Halleux, Nikolai Tillmann
  
  TOOLS'10 | July 2010
  
  Publication Project Project
- Rex: Symbolic Regular Expression Explorer
  
  Margus Veanes, Jonathan "Peli" de Halleux, Nikolai Tillmann
  
  Third International Conference on Software Testing, Verification and Validation (ICST) | April 2010
  
  Publication Publication Project Project
- Exploiting the Synergy between Automated-Test-Generation and Programming-by-Contract
  
  Mike Barnett, Manuel Fahndrich, Jonathan "Peli" de Halleux, Francesco Logozzo, Nikolai Tillmann
  
  Proc. 31st International Conference on Software Engineering (ICSE'2009) | May 2009
  
  Proc. 31st International Conference on Software Engineering (ICSE'2009)
  
  Research Demonstration
  
  Publication Project Project
- Symbolic Query Exploration
  
  Margus Veanes, Pavel Grigorenko, Jonathan "Peli" de Halleux, Nikolai Tillmann
  
  MSR-TR-2009-65 | May 2009
  
  Publication Project
- Automated Testing of Environment-Dependent Programs – A Case Study of Modeling the File System for Pex
  
  Soonho Kong, Nikolai Tillmann, Jonathan "Peli" de Halleux
  
  Proc. 6th International Conference on Information Technology: New Generations (ITNG'09) | April 2009
  
  Publication Publication Project
- Path Feasibility Analysis for String-Manipulating Programs
  
  Nikolaj Bjørner, Nikolai Tillmann, Andrei Voronkov
  
  Proc. Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009 | January 2009
  
  ISBN: 978-3-642-00767-5
  
  Publication Publication Project
- Automated Software Testing Using Program Analysis
  
  Patrice Godefroid, Jonathan "Peli" de Halleux, Aditya Nori, Sriram Rajamani, Wolfram Schulte, Nikolai Tillmann, Michael Y. Levin
  
  IEEE Software, Special Issue on Software Development Tools | October 2008
  
  Publication Publication Project Project
- Path Feasibility Analysis for String-Manipulating Programs
  
  Nikolaj Bjørner, Nikolai Tillmann, Andrei Voronkov
  
  MSR-TR-2008-153 | October 2008
  
  Publication Project
- Fitness-Guided Path Exploration in Dynamic Symbolic Execution
  
  Tao Xie, Nikolai Tillmann, Jonathan "Peli" de Halleux, Wolfram Schulte
  
  MSR-TR-2008-123 | September 2008
  
  Publication Project
- Parameterized Unit Testing with Pex (Tutorial)
  
  Nikolai Tillmann, Jonathan "Peli" de Halleux
  
  Proc. of Tests and Proofs (TAP'08) | April 2008
  
  Publication Project
- Pex – White Box Test Generation for .NET
  
  Nikolai Tillmann, Jonathan "Peli" de Halleux
  
  Proc. of Tests and Proofs (TAP'08) | April 2008
  
  Publication Publication Project
- Demand-Driven Compositional Symbolic Execution
  
  Saswat Anand, Patrice Godefroid, Nikolai Tillmann
  
  Proc. International conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2008 | January 2008
  
  Publication Publication Project
- Using Dynamic Symbolic Execution to Improve Deductive Verification
  
  Nikolaj Bjørner, Wolfram Schulte, Nikolai Tillmann, Jonathan "Peli" de Halleux
  
  Proc. 15th International SPIN Workshop | January 2008
  
  ISBN: 978-3-540-85113-4
  
  Publication Publication Project
- White-Box Testing of Behavioral Web Service Contracts With Pex
  
  Nikolai Tillmann, Jonathan "Peli" de Halleux
  
  TAV-WEB '08: Proceedings of the 2008 workshop on Testing, analysis, and verification of web services and applications | January 2008
  
  ISBN: 978-1-60558-053-1
  
  Publication Publication Project
- DySy: Dynamic Symbolic Execution for Invariant Inference
  
  Nikolai Tillmann
  
  MSR-TR-2007-151 | November 2007
  
  Publication Project
- Demand-Driven Compositional Symbolic Execution
  
  Saswat Anand, Patrice Godefroid, Nikolai Tillmann
  
  MSR-TR-2007-138 | October 2007
  
  Publication Project
- Unit Tests Reloaded: Parameterized Unit Testing with Symbolic Execution
  
  Nikolai Tillmann, Wolfram Schulte
  
  IEEE Software | July 2006, Vol 23(4): pp. 38-47
  
  Publication Publication Project
- Discovering Likely Method Specifications
  
  Nikolai Tillmann, Feng Chen, Wolfram Schulte
  
  MSR-TR-2005-146 | March 2006
  
  Publication Project
- Discovering Likely Method Specifications
  
  Nikolai Tillmann, Feng Chen, Wolfram Schulte
  
  Proceedings of the 8th International Conference on Formal Engineering Methods (ICFEM'06), LNCS | January 2006
  
  ISBN: 3-540-47460-9
  
  Publication Publication Project Project
- Mock-object generation with behavior
  
  Nikolai Tillmann, Wolfram Schulte
  
  21st IEEE/ACM International Conference on Automated Software Engineering, 2006. ASE '06 | January 2006
  
  ISBN: 0-7695-2579-2
  
  Publication Project
- XRT- Exploring Runtime for .NET Architecture and Applications
  
  Nikolai Tillmann, Wolfram Schulte
  
  Electr. Notes Theor. Comput. Sci. | January 2006, Vol 144(3): pp. 3-26
  
  Publication Project Project
- Parameterized Unit Tests
  
  Nikolai Tillmann, Wolfram Schulte
  
  Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering | January 2005
  
  ISBN: 1-59593-014-0
  
  Publication Publication Project
- Parameterized Unit Tests with Unit Meister
  
  Nikolai Tillmann, Wolfram Schulte
  
  Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering | January 2005
  
  Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering
  
  ISBN: 1-59593-014-0
  
  Publication Publication Project

- Advances in Unit Testing: Theory and Practice
  
  Tao Xie, Nikolai Tillmann, Pratap Lakshman
  
  Proc. 38th International Conference on Software Engineering (ICSE 2016) | May 2016
  
  Publication Publication Project
- Measuring Code Behavioral Similarity for Programming and Software Engineering Education
  
  Sihan Li, Xusheng Xiao, Blake Bassett, Tao Xie, Nikolai Tillmann
  
  Proc. 38th International Conference on Software Engineering (ICSE 2016), Software Engineering Education and Training (SEET) | May 2016
  
  Publication Publication Project Project Project
- Pex for Fun: Engineering an Automated Testing Tool for Serious Games in Computer Science
  
  Nikolai Tillmann, Jonathan "Peli" de Halleux, Tao Xie
  
  MSR-TR-2011-41 | March 2011
  
  Publication Project Project Project
- DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic Traces
  
  Suresh Thummalapenta, Jonathan "Peli" de Halleux, Nikolai Tillmann, Scott Wadsworth
  
  TAP'10 | July 2010
  
  Publication Project
- Moles: tool-assisted environment isolation with closures
  
  Jonathan "Peli" de Halleux, Nikolai Tillmann
  
  TOOLS'10 | July 2010
  
  Publication Project Project
- Rex: Symbolic Regular Expression Explorer
  
  Margus Veanes, Jonathan "Peli" de Halleux, Nikolai Tillmann
  
  Third International Conference on Software Testing, Verification and Validation (ICST) | April 2010
  
  Publication Publication Project Project
- Exploiting the Synergy between Automated-Test-Generation and Programming-by-Contract
  
  Mike Barnett, Manuel Fahndrich, Jonathan "Peli" de Halleux, Francesco Logozzo, Nikolai Tillmann
  
  Proc. 31st International Conference on Software Engineering (ICSE'2009) | May 2009
  
  Proc. 31st International Conference on Software Engineering (ICSE'2009)
  
  Research Demonstration
  
  Publication Project Project
- Symbolic Query Exploration
  
  Margus Veanes, Pavel Grigorenko, Jonathan "Peli" de Halleux, Nikolai Tillmann
  
  MSR-TR-2009-65 | May 2009
  
  Publication Project
- Automated Testing of Environment-Dependent Programs – A Case Study of Modeling the File System for Pex
  
  Soonho Kong, Nikolai Tillmann, Jonathan "Peli" de Halleux
  
  Proc. 6th International Conference on Information Technology: New Generations (ITNG'09) | April 2009
  
  Publication Publication Project
- Path Feasibility Analysis for String-Manipulating Programs
  
  Nikolaj Bjørner, Nikolai Tillmann, Andrei Voronkov
  
  Proc. Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009 | January 2009
  
  ISBN: 978-3-642-00767-5
  
  Publication Publication Project
- Path Feasibility Analysis for String-Manipulating Programs
  
  Nikolaj Bjørner, Nikolai Tillmann, Andrei Voronkov
  
  MSR-TR-2008-153 | October 2008
  
  Publication Project
- Automated Software Testing Using Program Analysis
  
  Patrice Godefroid, Jonathan "Peli" de Halleux, Aditya Nori, Sriram Rajamani, Wolfram Schulte, Nikolai Tillmann, Michael Y. Levin
  
  IEEE Software, Special Issue on Software Development Tools | October 2008
  
  Publication Publication Project Project
- Fitness-Guided Path Exploration in Dynamic Symbolic Execution
  
  Tao Xie, Nikolai Tillmann, Jonathan "Peli" de Halleux, Wolfram Schulte
  
  MSR-TR-2008-123 | September 2008
  
  Publication Project
- Pex – White Box Test Generation for .NET
  
  Nikolai Tillmann, Jonathan "Peli" de Halleux
  
  Proc. of Tests and Proofs (TAP'08) | April 2008
  
  Publication Publication Project
- Parameterized Unit Testing with Pex (Tutorial)
  
  Nikolai Tillmann, Jonathan "Peli" de Halleux
  
  Proc. of Tests and Proofs (TAP'08) | April 2008
  
  Publication Project
- White-Box Testing of Behavioral Web Service Contracts With Pex
  
  Nikolai Tillmann, Jonathan "Peli" de Halleux
  
  TAV-WEB '08: Proceedings of the 2008 workshop on Testing, analysis, and verification of web services and applications | January 2008
  
  ISBN: 978-1-60558-053-1
  
  Publication Publication Project
- Demand-Driven Compositional Symbolic Execution
  
  Saswat Anand, Patrice Godefroid, Nikolai Tillmann
  
  Proc. International conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2008 | January 2008
  
  Publication Publication Project
- DySy: Dynamic Symbolic Execution for Invariant Inference
  
  Nikolai Tillmann
  
  MSR-TR-2007-151 | November 2007
  
  Publication Project
- Demand-Driven Compositional Symbolic Execution
  
  Saswat Anand, Patrice Godefroid, Nikolai Tillmann
  
  MSR-TR-2007-138 | October 2007
  
  Publication Project
- Unit Tests Reloaded: Parameterized Unit Testing with Symbolic Execution
  
  Nikolai Tillmann, Wolfram Schulte
  
  IEEE Software | July 2006, Vol 23(4): pp. 38-47
  
  Publication Publication Project
- Discovering Likely Method Specifications
  
  Nikolai Tillmann, Feng Chen, Wolfram Schulte
  
  MSR-TR-2005-146 | March 2006
  
  Publication Project
- XRT- Exploring Runtime for .NET Architecture and Applications
  
  Nikolai Tillmann, Wolfram Schulte
  
  Electr. Notes Theor. Comput. Sci. | January 2006, Vol 144(3): pp. 3-26
  
  Publication Project Project
- Discovering Likely Method Specifications
  
  Nikolai Tillmann, Feng Chen, Wolfram Schulte
  
  Proceedings of the 8th International Conference on Formal Engineering Methods (ICFEM'06), LNCS | January 2006
  
  ISBN: 3-540-47460-9
  
  Publication Publication Project Project
- Parameterized Unit Tests
  
  Nikolai Tillmann, Wolfram Schulte
  
  Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering | January 2005
  
  ISBN: 1-59593-014-0
  
  Publication Publication Project
- Parameterized Unit Tests with Unit Meister
  
  Nikolai Tillmann, Wolfram Schulte
  
  Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering | January 2005
  
  Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering
  
  ISBN: 1-59593-014-0
  
  Publication Publication Project
- Using Dynamic Symbolic Execution to Improve Deductive Verification
  
  Nikolaj Bjørner, Wolfram Schulte, Nikolai Tillmann, Jonathan "Peli" de Halleux
  
  Proc. 15th International SPIN Workshop | January 2008
  
  ISBN: 978-3-540-85113-4
  
  Publication Publication Project
- Mock-object generation with behavior
  
  Nikolai Tillmann, Wolfram Schulte
  
  21st IEEE/ACM International Conference on Automated Software Engineering, 2006. ASE '06 | January 2006
  
  ISBN: 0-7695-2579-2
  
  Publication Project

- Advances in Unit Testing: Theory and Practice
  
  Tao Xie, Nikolai Tillmann, Pratap Lakshman
  
  Proc. 38th International Conference on Software Engineering (ICSE 2016) | May 2016
  
  Publication Publication Project
- Measuring Code Behavioral Similarity for Programming and Software Engineering Education
  
  Sihan Li, Xusheng Xiao, Blake Bassett, Tao Xie, Nikolai Tillmann
  
  Proc. 38th International Conference on Software Engineering (ICSE 2016), Software Engineering Education and Training (SEET) | May 2016
  
  Publication Publication Project Project Project
- DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic Traces
  
  Suresh Thummalapenta, Jonathan "Peli" de Halleux, Nikolai Tillmann, Scott Wadsworth
  
  TAP'10 | July 2010
  
  Publication Project
- Moles: tool-assisted environment isolation with closures
  
  Jonathan "Peli" de Halleux, Nikolai Tillmann
  
  TOOLS'10 | July 2010
  
  Publication Project Project
- Rex: Symbolic Regular Expression Explorer
  
  Margus Veanes, Jonathan "Peli" de Halleux, Nikolai Tillmann
  
  Third International Conference on Software Testing, Verification and Validation (ICST) | April 2010
  
  Publication Publication Project Project
- Exploiting the Synergy between Automated-Test-Generation and Programming-by-Contract
  
  Mike Barnett, Manuel Fahndrich, Jonathan "Peli" de Halleux, Francesco Logozzo, Nikolai Tillmann
  
  Proc. 31st International Conference on Software Engineering (ICSE'2009) | May 2009
  
  Proc. 31st International Conference on Software Engineering (ICSE'2009)
  
  Research Demonstration
  
  Publication Project Project
- Automated Testing of Environment-Dependent Programs – A Case Study of Modeling the File System for Pex
  
  Soonho Kong, Nikolai Tillmann, Jonathan "Peli" de Halleux
  
  Proc. 6th International Conference on Information Technology: New Generations (ITNG'09) | April 2009
  
  Publication Publication Project
- Path Feasibility Analysis for String-Manipulating Programs
  
  Nikolaj Bjørner, Nikolai Tillmann, Andrei Voronkov
  
  Proc. Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009 | January 2009
  
  ISBN: 978-3-642-00767-5
  
  Publication Publication Project
- Pex – White Box Test Generation for .NET
  
  Nikolai Tillmann, Jonathan "Peli" de Halleux
  
  Proc. of Tests and Proofs (TAP'08) | April 2008
  
  Publication Publication Project
- Parameterized Unit Testing with Pex (Tutorial)
  
  Nikolai Tillmann, Jonathan "Peli" de Halleux
  
  Proc. of Tests and Proofs (TAP'08) | April 2008
  
  Publication Project
- Using Dynamic Symbolic Execution to Improve Deductive Verification
  
  Nikolaj Bjørner, Wolfram Schulte, Nikolai Tillmann, Jonathan "Peli" de Halleux
  
  Proc. 15th International SPIN Workshop | January 2008
  
  ISBN: 978-3-540-85113-4
  
  Publication Publication Project
- White-Box Testing of Behavioral Web Service Contracts With Pex
  
  Nikolai Tillmann, Jonathan "Peli" de Halleux
  
  TAV-WEB '08: Proceedings of the 2008 workshop on Testing, analysis, and verification of web services and applications | January 2008
  
  ISBN: 978-1-60558-053-1
  
  Publication Publication Project
- Demand-Driven Compositional Symbolic Execution
  
  Saswat Anand, Patrice Godefroid, Nikolai Tillmann
  
  Proc. International conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2008 | January 2008
  
  Publication Publication Project
- Mock-object generation with behavior
  
  Nikolai Tillmann, Wolfram Schulte
  
  21st IEEE/ACM International Conference on Automated Software Engineering, 2006. ASE '06 | January 2006
  
  ISBN: 0-7695-2579-2
  
  Publication Project
- Discovering Likely Method Specifications
  
  Nikolai Tillmann, Feng Chen, Wolfram Schulte
  
  Proceedings of the 8th International Conference on Formal Engineering Methods (ICFEM'06), LNCS | January 2006
  
  ISBN: 3-540-47460-9
  
  Publication Publication Project Project
- Parameterized Unit Tests
  
  Nikolai Tillmann, Wolfram Schulte
  
  Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering | January 2005
  
  ISBN: 1-59593-014-0
  
  Publication Publication Project
- Parameterized Unit Tests with Unit Meister
  
  Nikolai Tillmann, Wolfram Schulte
  
  Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering | January 2005
  
  Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering
  
  ISBN: 1-59593-014-0
  
  Publication Publication Project
- Pex for Fun: Engineering an Automated Testing Tool for Serious Games in Computer Science
  
  Nikolai Tillmann, Jonathan "Peli" de Halleux, Tao Xie
  
  MSR-TR-2011-41 | March 2011
  
  Publication Project Project Project
- Symbolic Query Exploration
  
  Margus Veanes, Pavel Grigorenko, Jonathan "Peli" de Halleux, Nikolai Tillmann
  
  MSR-TR-2009-65 | May 2009
  
  Publication Project
- Path Feasibility Analysis for String-Manipulating Programs
  
  Nikolaj Bjørner, Nikolai Tillmann, Andrei Voronkov
  
  MSR-TR-2008-153 | October 2008
  
  Publication Project
- Fitness-Guided Path Exploration in Dynamic Symbolic Execution
  
  Tao Xie, Nikolai Tillmann, Jonathan "Peli" de Halleux, Wolfram Schulte
  
  MSR-TR-2008-123 | September 2008
  
  Publication Project
- DySy: Dynamic Symbolic Execution for Invariant Inference
  
  Nikolai Tillmann
  
  MSR-TR-2007-151 | November 2007
  
  Publication Project
- Demand-Driven Compositional Symbolic Execution
  
  Saswat Anand, Patrice Godefroid, Nikolai Tillmann
  
  MSR-TR-2007-138 | October 2007
  
  Publication Project
- Discovering Likely Method Specifications
  
  Nikolai Tillmann, Feng Chen, Wolfram Schulte
  
  MSR-TR-2005-146 | March 2006
  
  Publication Project
- Automated Software Testing Using Program Analysis
  
  Patrice Godefroid, Jonathan "Peli" de Halleux, Aditya Nori, Sriram Rajamani, Wolfram Schulte, Nikolai Tillmann, Michael Y. Levin
  
  IEEE Software, Special Issue on Software Development Tools | October 2008
  
  Publication Publication Project Project
- Unit Tests Reloaded: Parameterized Unit Testing with Symbolic Execution
  
  Nikolai Tillmann, Wolfram Schulte
  
  IEEE Software | July 2006, Vol 23(4): pp. 38-47
  
  Publication Publication Project
- XRT- Exploring Runtime for .NET Architecture and Applications
  
  Nikolai Tillmann, Wolfram Schulte
  
  Electr. Notes Theor. Comput. Sci. | January 2006, Vol 144(3): pp. 3-26
  
  Publication Project Project

People

Peli de Halleux

Principal Research Software Engineer

Learn more

Nikolaj Bjørner

Partner Researcher

Learn more