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
-
-
-
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, Jonathan "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, Jonathan "Peli" de Halleux, Nikolai Tillmann, Scott Wadsworth
TAP’10 | July 2010
-
Moles: tool-assisted environment isolation with closures
Jonathan "Peli" de Halleux, Nikolai Tillmann
TOOLS’10 | July 2010
-
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
-
-
-
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
-
Symbolic Query Exploration
Margus Veanes, Pavel Grigorenko, Jonathan "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, Jonathan "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, 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
-
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, Jonathan "Peli" de Halleux, Wolfram Schulte
MSR-TR-2008-123 | September 2008
-
Parameterized Unit Testing with Pex (Tutorial)
Nikolai Tillmann, Jonathan "Peli" de Halleux
Proc. of Tests and Proofs (TAP’08) | April 2008
-
Pex – White Box Test Generation for .NET
Nikolai Tillmann, Jonathan "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, Jonathan "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, 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
-
-
-
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
-
-
-
Advances in Unit Testing: Theory and Practice
Tao Xie, Nikolai Tillmann, Pratap Lakshman
Proc. 38th International Conference on Software Engineering (ICSE 2016) | May 2016
-
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, Jonathan "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, Jonathan "Peli" de Halleux, Nikolai Tillmann, Scott Wadsworth
TAP’10 | July 2010
-
Moles: tool-assisted environment isolation with closures
Jonathan "Peli" de Halleux, Nikolai Tillmann
TOOLS’10 | July 2010
-
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
-
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
-
Symbolic Query Exploration
Margus Veanes, Pavel Grigorenko, Jonathan "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, Jonathan "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, 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
-
Fitness-Guided Path Exploration in Dynamic Symbolic Execution
Tao Xie, Nikolai Tillmann, Jonathan "Peli" de Halleux, Wolfram Schulte
MSR-TR-2008-123 | September 2008
-
Pex – White Box Test Generation for .NET
Nikolai Tillmann, Jonathan "Peli" de Halleux
Proc. of Tests and Proofs (TAP’08) | April 2008
-
Parameterized Unit Testing with Pex (Tutorial)
Nikolai Tillmann, Jonathan "Peli" de Halleux
Proc. of Tests and Proofs (TAP’08) | April 2008
-
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
-
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
-
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
-
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
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
-
-
-
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
-
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
-
-
-
Advances in Unit Testing: Theory and Practice
Tao Xie, Nikolai Tillmann, Pratap Lakshman
Proc. 38th International Conference on Software Engineering (ICSE 2016) | May 2016
-
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
-
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
-
Moles: tool-assisted environment isolation with closures
Jonathan "Peli" de Halleux, Nikolai Tillmann
TOOLS’10 | July 2010
-
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
-
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
-
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
-
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
-
Pex – White Box Test Generation for .NET
Nikolai Tillmann, Jonathan "Peli" de Halleux
Proc. of Tests and Proofs (TAP’08) | April 2008
-
Parameterized Unit Testing with Pex (Tutorial)
Nikolai Tillmann, Jonathan "Peli" de Halleux
Proc. of Tests and Proofs (TAP’08) | April 2008
-
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
-
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
-
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
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
-
-
-
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
-
Symbolic Query Exploration
Margus Veanes, Pavel Grigorenko, Jonathan "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, Jonathan "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, 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
-
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