Advances in Unit Testing: Theory and Practice
Tao Xie, Nikolai Tillmann, Pratap Lakshman
Proc. 38th International Conference on Software Engineering (ICSE 2016) | May 2016
Publications
Publications
Publications by Year
-
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
-
Pex for Fun: Engineering an Automated Testing Tool for Serious Games in Computer Science
Nikolai Tillmann, Peli de Halleux, Tao Xie
MSR-TR-2011-41 | March 2011
-
DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic Traces
Suresh Thummalapenta, Peli de Halleux, Nikolai Tillmann, Scott Wadsworth
TAP'10 | July 2010
Moles: tool-assisted environment isolation with closures
Peli de Halleux, Nikolai Tillmann
TOOLS'10 | July 2010
Rex: Symbolic Regular Expression Explorer
Margus Veanes, Peli de Halleux, Nikolai Tillmann
Third International Conference on Software Testing, Verification and Validation (ICST) | April 2010
-
Exploiting the Synergy between Automated-Test-Generation and Programming-by-Contract
Mike Barnett, Manuel Fahndrich, 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
Symbolic Query Exploration
Margus Veanes, Pavel Grigorenko, Peli de Halleux, Nikolai Tillmann
MSR-TR-2009-65 | May 2009
Automated Testing of Environment-Dependent Programs – A Case Study of Modeling the File System for Pex
Soonho Kong, Nikolai Tillmann, Peli de Halleux
Proc. 6th International Conference on Information Technology: New Generations (ITNG'09) | April 2009
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
-
Automated Software Testing Using Program Analysis
Patrice Godefroid, Peli de Halleux, Aditya Nori, Sriram Rajamani, Wolfram Schulte, Nikolai Tillmann, Michael Y. Levin
IEEE Software, Special Issue on Software Development Tools | October 2008
Path Feasibility Analysis for String-Manipulating Programs
Nikolaj Bjørner, Nikolai Tillmann, Andrei Voronkov
MSR-TR-2008-153 | October 2008
Fitness-Guided Path Exploration in Dynamic Symbolic Execution
Tao Xie, Nikolai Tillmann, Peli de Halleux, Wolfram Schulte
MSR-TR-2008-123 | September 2008
Parameterized Unit Testing with Pex (Tutorial)
Nikolai Tillmann, Peli de Halleux
Proc. of Tests and Proofs (TAP'08) | April 2008
Pex – White Box Test Generation for .NET
Nikolai Tillmann, Peli de Halleux
Proc. of Tests and Proofs (TAP'08) | April 2008
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
Using Dynamic Symbolic Execution to Improve Deductive Verification
Nikolaj Bjørner, Wolfram Schulte, Nikolai Tillmann, Peli de Halleux
Proc. 15th International SPIN Workshop | January 2008
ISBN: 978-3-540-85113-4
White-Box Testing of Behavioral Web Service Contracts With Pex
Nikolai Tillmann, 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
-
DySy: Dynamic Symbolic Execution for Invariant Inference
Nikolai Tillmann
MSR-TR-2007-151 | November 2007
Demand-Driven Compositional Symbolic Execution
Saswat Anand, Patrice Godefroid, Nikolai Tillmann
MSR-TR-2007-138 | October 2007
-
Unit Tests Reloaded: Parameterized Unit Testing with Symbolic Execution
Nikolai Tillmann, Wolfram Schulte
IEEE Software | July 2006, Vol 23(4): pp. 38-47
Discovering Likely Method Specifications
Nikolai Tillmann, Feng Chen, Wolfram Schulte
MSR-TR-2005-146 | March 2006
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
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
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
-
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
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
Publications by Research Area
-
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
Advances in Unit Testing: Theory and Practice
Tao Xie, Nikolai Tillmann, Pratap Lakshman
Proc. 38th International Conference on Software Engineering (ICSE 2016) | May 2016
Pex for Fun: Engineering an Automated Testing Tool for Serious Games in Computer Science
Nikolai Tillmann, Peli de Halleux, Tao Xie
MSR-TR-2011-41 | March 2011
Moles: tool-assisted environment isolation with closures
Peli de Halleux, Nikolai Tillmann
TOOLS'10 | July 2010
DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic Traces
Suresh Thummalapenta, Peli de Halleux, Nikolai Tillmann, Scott Wadsworth
TAP'10 | July 2010
Rex: Symbolic Regular Expression Explorer
Margus Veanes, Peli de Halleux, Nikolai Tillmann
Third International Conference on Software Testing, Verification and Validation (ICST) | April 2010
Exploiting the Synergy between Automated-Test-Generation and Programming-by-Contract
Mike Barnett, Manuel Fahndrich, 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
Symbolic Query Exploration
Margus Veanes, Pavel Grigorenko, Peli de Halleux, Nikolai Tillmann
MSR-TR-2009-65 | May 2009
Automated Testing of Environment-Dependent Programs – A Case Study of Modeling the File System for Pex
Soonho Kong, Nikolai Tillmann, Peli de Halleux
Proc. 6th International Conference on Information Technology: New Generations (ITNG'09) | April 2009
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
Path Feasibility Analysis for String-Manipulating Programs
Nikolaj Bjørner, Nikolai Tillmann, Andrei Voronkov
MSR-TR-2008-153 | October 2008
Automated Software Testing Using Program Analysis
Patrice Godefroid, Peli de Halleux, Aditya Nori, Sriram Rajamani, Wolfram Schulte, Nikolai Tillmann, Michael Y. Levin
IEEE Software, Special Issue on Software Development Tools | October 2008
Fitness-Guided Path Exploration in Dynamic Symbolic Execution
Tao Xie, Nikolai Tillmann, Peli de Halleux, Wolfram Schulte
MSR-TR-2008-123 | September 2008
Parameterized Unit Testing with Pex (Tutorial)
Nikolai Tillmann, Peli de Halleux
Proc. of Tests and Proofs (TAP'08) | April 2008
Pex – White Box Test Generation for .NET
Nikolai Tillmann, Peli de Halleux
Proc. of Tests and Proofs (TAP'08) | April 2008
White-Box Testing of Behavioral Web Service Contracts With Pex
Nikolai Tillmann, 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
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
DySy: Dynamic Symbolic Execution for Invariant Inference
Nikolai Tillmann
MSR-TR-2007-151 | November 2007
Demand-Driven Compositional Symbolic Execution
Saswat Anand, Patrice Godefroid, Nikolai Tillmann
MSR-TR-2007-138 | October 2007
Unit Tests Reloaded: Parameterized Unit Testing with Symbolic Execution
Nikolai Tillmann, Wolfram Schulte
IEEE Software | July 2006, Vol 23(4): pp. 38-47
Discovering Likely Method Specifications
Nikolai Tillmann, Feng Chen, Wolfram Schulte
MSR-TR-2005-146 | March 2006
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
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
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
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
-
Using Dynamic Symbolic Execution to Improve Deductive Verification
Nikolaj Bjørner, Wolfram Schulte, Nikolai Tillmann, Peli de Halleux
Proc. 15th International SPIN Workshop | January 2008
ISBN: 978-3-540-85113-4
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
Publications by Type
-
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
Advances in Unit Testing: Theory and Practice
Tao Xie, Nikolai Tillmann, Pratap Lakshman
Proc. 38th International Conference on Software Engineering (ICSE 2016) | May 2016
Moles: tool-assisted environment isolation with closures
Peli de Halleux, Nikolai Tillmann
TOOLS'10 | July 2010
DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic Traces
Suresh Thummalapenta, Peli de Halleux, Nikolai Tillmann, Scott Wadsworth
TAP'10 | July 2010
Rex: Symbolic Regular Expression Explorer
Margus Veanes, Peli de Halleux, Nikolai Tillmann
Third International Conference on Software Testing, Verification and Validation (ICST) | April 2010
Exploiting the Synergy between Automated-Test-Generation and Programming-by-Contract
Mike Barnett, Manuel Fahndrich, 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
Automated Testing of Environment-Dependent Programs – A Case Study of Modeling the File System for Pex
Soonho Kong, Nikolai Tillmann, Peli de Halleux
Proc. 6th International Conference on Information Technology: New Generations (ITNG'09) | April 2009
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
Parameterized Unit Testing with Pex (Tutorial)
Nikolai Tillmann, Peli de Halleux
Proc. of Tests and Proofs (TAP'08) | April 2008
Pex – White Box Test Generation for .NET
Nikolai Tillmann, Peli de Halleux
Proc. of Tests and Proofs (TAP'08) | April 2008
White-Box Testing of Behavioral Web Service Contracts With Pex
Nikolai Tillmann, 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
Using Dynamic Symbolic Execution to Improve Deductive Verification
Nikolaj Bjørner, Wolfram Schulte, Nikolai Tillmann, Peli de Halleux
Proc. 15th International SPIN Workshop | January 2008
ISBN: 978-3-540-85113-4
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
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
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
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
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
-
Pex for Fun: Engineering an Automated Testing Tool for Serious Games in Computer Science
Nikolai Tillmann, Peli de Halleux, Tao Xie
MSR-TR-2011-41 | March 2011
Symbolic Query Exploration
Margus Veanes, Pavel Grigorenko, Peli de Halleux, Nikolai Tillmann
MSR-TR-2009-65 | May 2009
Path Feasibility Analysis for String-Manipulating Programs
Nikolaj Bjørner, Nikolai Tillmann, Andrei Voronkov
MSR-TR-2008-153 | October 2008
Fitness-Guided Path Exploration in Dynamic Symbolic Execution
Tao Xie, Nikolai Tillmann, Peli de Halleux, Wolfram Schulte
MSR-TR-2008-123 | September 2008
DySy: Dynamic Symbolic Execution for Invariant Inference
Nikolai Tillmann
MSR-TR-2007-151 | November 2007
Demand-Driven Compositional Symbolic Execution
Saswat Anand, Patrice Godefroid, Nikolai Tillmann
MSR-TR-2007-138 | October 2007
Discovering Likely Method Specifications
Nikolai Tillmann, Feng Chen, Wolfram Schulte
MSR-TR-2005-146 | March 2006
-
Automated Software Testing Using Program Analysis
Patrice Godefroid, Peli de Halleux, Aditya Nori, Sriram Rajamani, Wolfram Schulte, Nikolai Tillmann, Michael Y. Levin
IEEE Software, Special Issue on Software Development Tools | October 2008
Unit Tests Reloaded: Parameterized Unit Testing with Symbolic Execution
Nikolai Tillmann, Wolfram Schulte
IEEE Software | July 2006, Vol 23(4): pp. 38-47
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
People
Peli de Halleux
Principal Research Software Engineer
Nikolaj Bjørner
Partner Researcher