Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Pex and Moles - Community

Open Source Using Pex and/or Moles

The following projects use Pex and/or Moles for testing.

  • Shweet
  • Codekicker.BBCode
  • Microsoft - Domain Oriented N-Layered .NET 4.0 App Sample (Microsoft Spain)
  • Patterns & Practices SharePoint Guidance v2
  • Open Source Extensions

    The following projects extend Pex, or build tools on top of Pex.

    Academia, Ongoing Research

    All of the following projects are actively ongoing research projects with the goal of publishing a paper, using or extending Pex.

    Automated Software Engineering Research Group, University of Illinois at Urbana-Champaign
    The Automated Software Engineering Research Group at Illinois builds on Pex for several projects on Improving Automation in Developer Testing.

    They also maintain a Wiki site for Teaching Parameterized Unit Testing/Pex.

    CREST Centre, King's College, London

    Academia, Published Papers

    The following papers use Pex in some way. Some are in collaboration with the Pex Team, others are independent. Also take a look at the papers published by the Pex Team.

    Automatic Test Generation for Mutation Testing on Database Applications. [PDF][BibTeX]
    Kai Pan, Xintao Wu and Tao Xie. In Proceedings of the 8th International Workshop on Automation of Software Test  (AST 2013), San Francisco, CA, May 2013.

    Exposing Behavioral Differences in Cross-Language API Mapping Relations. [PDF][BibTeX]
    Hao Zhong, Suresh Thummalapenta, and Tao Xie. In Proceedings of International Conference on Fundamental Approaches to Software Engineering (FASE 2013), Rome, Italy, March 2013.

    Cooperative Testing and Analysis: Human-Tool, Tool-Tool, and Human-Human Cooperations to Get Work Done. [PDF][BibTeX]
    Tao Xie. In Proceedings of the 12th International Working Conference on Source Code Analysis and Manipulation (SCAM 2012), Keynote Paper, Trento, Italy, September 2012.

    Advances on Improving Automation in Developer Testing. [BibTeX]
    Xusheng Xiao, Suresh Thummalapenta, and Tao Xie. In Advances in Computers, Vol 85, Burlington: Academic Press, 2012, pages 165-212. 

    Generating Program Inputs for Database Application Testing. [PDF][BibTeX]
    Kai Pan, Xintao Wu, and Tao Xie. In Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, Kansas, November 2011.

    Database State Generation via Dynamic Symbolic Execution for Coverage Criteria. [PDF][BibTeX]
    Kai Pan, Xintao Wu, and Tao Xie. In Proceedings of the 4th International Workshop on Testing Database Systems (DBTest11), Athens, Greece, June 2011.

    Synthesizing Method Sequences for High-Coverage Testing. [BibTeX] [PDF]
    Suresh Thummalapenta, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, and Zhendong Su.
    In Proceedings of ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2011), Portland, Oregon, October 2011.

    eXpress: Guided Path Exploration for Efficient Regression Test Generation. [BibTeX] [PDF]
    Kunal Taneja, Tao Xie, Nikolai Tillmann, and Jonathan de Halleux. In Proceedings of the 2011 International Symposium on Software Testing and Analysis
    (ISSTA 2011), Toronto, Canada, July 2011.

    Pex4Fun: Teaching and Learning Computer Science via Social Gaming. [PDF][BibTeX]
    Nikolai Tillmann, Jonathan de Halleux, and Tao Xie. In Proceedings of the 24th IEEE-CS Conference on Software Engineering Education and Training (CSEE&T 2011), Practice and Methods Presentations, & Tutorials (PMP&T), Honolulu, Hawaii, May 2011.

    Covana: Precise Identification of Problems in Pex. [PDF][BibTeX]
    Xusheng Xiao, Tao Xie, Nikolai Tillmann, and Jonathan de Halleux. In Proceedings of the 33rd International Conference on Software Engineering (ICSE 2011), Demonstration, Honolulu, Hawaii, May 2011.

    DyTa: Dynamic Symbolic Execution Guided with Static Verification Results. [PDF][BibTeX]
    Xi Ge, Kunal Taneja, Tao Xie, and Nikolai Tillmann. In Proceedings of the 33rd International Conference on Software Engineering (ICSE 2011), Demonstration, Honolulu, Hawaii, May 2011.

    Problem Identification for Structural Test Generation: First Step Towards Cooperative Developer Testing. [PDF][BibTex]
    Xusheng Xiao. In Proceedings of the 33rd International Conference on Software Engineering (ICSE 2011), ACM Student Research Competition (SRC), Honolulu, Hawaii, May 2011.

    Retrofitting Unit Tests for Parameterized Unit Testing [PDF][BibTeX]
    Suresh Thummalapenta, Madhuri Marri, Tao Xie, Nikolai Tillmann, and Jonathan de Halleux. In Proceedings of International Conference on Fundamental Approaches to Software Engineering (FASE 2011), Saarbrücken, Germany, March-April 2011.

    Precise Identification of Problems for Structural Test Generation [PDF][BibTeX]
    Xusheng Xiao, Tao Xie, Nikolai Tillmann, and Jonathan de Halleux.
    In Proceedings of the 33rd International Conference on Software Engineering (ICSE 2011), Honolulu, Hawaii, May 2011.

    FITE: Future Integrated Testing Environment
    Patrice Godefroid, Leonardo Mariani, Andrea Polini, Nikolai Tillmann, Willem Visser, Michael W. Whalen. In Proceedings of FSE/SDP Workshop on the Future of Software Engineering Research (FoSER 2010), Santa Fe, NM, November 2010.

    Future of Developer Testing: Building Quality in Code [PDF][BibTeX]
    Tao Xie, Nikolai Tillmann, Jonathan de Halleux, and Wolfram Schulte. In Proceedings of FSE/SDP Workshop on the Future of Software Engineering Research (FoSER 2010), Santa Fe, NM, November 2010.

    FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution [PDF]
    Kiran Lakhotia, Nikolai Tillmann, Mark Harman, and Jonathan de Halleux. In Proceedings of 22nd IFIP International Conference on Testing Software and Systems (ICTSS 2010), Natal, Brazil, November 2010.

    Teaching and Training Developer-Testing Techniques and Tool Support [PDF]
    Tao Xie, Jonathan de Halleux, Nikolai Tillmann, and Wolfram Schulte. In Proceedings of the 25th Annual ACM Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH 2010), Educators' and Trainers' Symposium, Reno/Tahoe Nevada, October 2010.

    Guided Test Generation for Coverage Criteria [PDF][BibTeX]
    Rahul Pandita, Tao Xie, Nikolai Tillmann, and Jonathan de Halleux. In Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), Timișoara, Romania, September 2010.

    Test Generation via Dynamic Symbolic Execution for Mutation Testing [PDF][BibTeX]
    Lingming Zhang, Tao Xie, Lu Zhang, Nikolai Tillmann, Jonathan de Halleux, and Hong Mei. In Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), Timișoara, Romania, September 2010. Earlier version as North Carolina State University Department of Computer Science Technical report TR-2010-10 [PDF], May 14, 2010.

    MiTV: Multiple-Implementation Testing of User-Input Validators for Web Applications [PDF][BibTeX]
    Kunal Taneja, Nuo Li, Madhuri Marri, Tao Xie, and Nikolai Tillmann. In Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering (ASE 2010), Short Paper, Antwerp, Belgium, September 2010.

    MODA: Automated Test Generation for Database Applications via Mock Objects [PDF][BibTeX]
    Kunal Taneja, Yi Zhang, and Tao Xie. In Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering (ASE 2010), Short Paper, Antwerp, Belgium, September 2010.

    On Test Repair Using Symbolic Execution [PDF]
    By Brett Daniel, Tihomir Gvero, and Darko Marinov. (To appear) In ISSTA 2010: 2010 International Symposium on Software Testing and Analysis, Trento, Italy. July, 2010.

    Test Generation through Programming in UDITA [PDF]
    By Milos Gligoric, Tihomir Gvero, Vilas Jagannath, Sarfraz Khurshid, Viktor Kuncak, and Darko Marinov. (To appear) In 32nd International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa, May 2010.

    Issue Analysis for Residual Structural Coverage in Dynamic Symbolic Execution [PDF]
    Xusheng Xiao, Tao Xie, Nikolai Tillmann, and Peli de Halleux. North Carolina State University Department of Computer Science Technical report TR-2010-7, March 23, 2010.

    Retrofitting Unit Tests for Parameterized Unit Testing [PDF]
    Madhuri R Marri, Suresh Thummalapenta, Tao Xie, Nikolai Tillmann, Jonathan de Halleux. North Carolina State University Department of Computer Science Technical report TR-2010-9, March 23, 2010.

    Reggae: Automated Test Generation for Programs using Complex Regular Expressions [PDF]
    Nuo Li, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, and Wolfram Schulte. In Proceedings of the 24th IEEE/ACM International Conference on Automated Software Engineering (ASE 2009), Short Paper, Auckland, New Zealand, November 2009.

    MSeqGen: Object-Oriented Unit-Test Generation via Mining Source Code [PDF]
    Suresh Thummalapenta, Tao Xie, Nikolai Tillmann, Peli de Halleux, and Wolfram Schulte, 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

    Guided Path Exploration for Regression Test Generation [PDF]
    Kunal Taneja, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, and Wolfram Schulte. In Proceedings of the 31st International Conference on Software Engineering (ICSE 2009), New Ideas and Emerging Results, Vancouver, Canada, May 2009.

    An Empirical Study of Testing File-System-Dependent Software with Mock Objects [PDF]
    Madhuri R Marri, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, and Wolfram Schulte.In Proceedings of the 4th International Workshop on Automation of Software Test
    (AST 2009), Business and Industry Case Studies, Vancouver, Canada, pp. 149-153, May 2009.

    Mutation Analysis of Parameterized Unit Tests [PDF]
    Tao Xie, Nikolai Tillmann, Jonathan de Halleux, and Wolfram Schulte. In Proceedings of the 4th International Workshop on Mutation Analysis
    (Mutation 2009), Denver, Colorado, pp. 177-181, April 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.

    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.

    Your Project Not Here? 

    Is your Pex or Moles project not on the list? Whether it's an academic research project, or an open source application that uses Pex or Moles, drop us a line at pexdev@microsoft.com.