What Peli does

Jonathan "Peli" de Halleux is actively working on Pex, an Automated Whitebox Testing tool for .NET. Peli also collaborates with his colleagues from CHESS and Contracts. Peli also wanders around building 99 shooting videos for Channel9 about the RiSE group.

Brief Bio

Peli joined the Foundations for Software Engineering in October 2006. Peli worked in the CLR as a SDET in charge of the Just In Time compiler (2004-2006). Before joining Microsoft, Peli earned a PhD in Applied Mathematics from the Catholic University of Louvain (2000-2004).

Old Personal Projects

Creator of MbUnit, an extensible unit test framework for .Net that integrated features such as combinatorial testing.
QuickGraph, a library for graph data structures and algorithm in .NET,
Reflector Addin's, a set of specialized modules for Reflector that range from type graph, code complexity, code review, treemap of types, statement graphs, an attempt at automatic test case generation from a method basic block graph, etc..
Stuff, ranging from Ant Colony Optimization, autonomous behaviors, a framework for performance tests or an attempt at literate documentation in C#.

Peli, that's not a name!

Peli is a nickname that comes from Pelican. His parents gave it to him when he was about two or so months old. They could not really remember how or why but it’s stuck since then. [more...]

Geek of the Week

Peli was selected twice as geek of the week. Not sure if this a good sign but you can read about it here and here.

Publications

Suresh Thummalapenta, Tao Xie, Nikolai Tillmann, Peli de Halleux, and Wolfram Schulte, MSeqGen: Object-Oriented Unit-Test Generation via Mining Source Code, in Proc. 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2009), Association for Computing Machinery, Inc., August 2009
Tao Xie, Nikolai Tillmann, Peli de Halleux, and Wolfram Schulte, Fitness-Guided Path Exploration in Dynamic Symbolic Execution, in Proc. the 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2009), IEEE, June 2009
Margus Veanes, Pavel Grigorenko, Peli de Halleux, and Nikolai Tillmann, Symbolic Query Exploration, no. MSR-TR-2009-65, May 2009
Kunal Taneja, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, and Wolfram Schulte, Guided Path Exploration for Regression Test Generation, in Proc. 31th International Conference on Software Engineering (ICSE 2009), IEEE, May 2009
Madhuri R Marri, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, and Wolfram Schulte, An Empirical Study of Testing File-System-Dependent Software with Mock Objects, in Proc. 4th International Workshop on Automation of Software Test (AST 2009), Business and Industry Case Studies, IEEE Computer Society, May 2009
Michael Barnett, Manuel Fahndrich, Francesco Logozzo, Peli de Halleux, and Nikolai Tillmann, Exploiting the Synergy between Automated-Test-Generation and Programming-by-Contract, in Proc. 31st International Conference on Software Engineering (ICSE'2009) , IEEE, May 2009
Tao Xie, Nikolai Tillmann, Peli de Halleux, and Wolfram Schulte, Mutation Analysis of Parameterized Unit Tests, in Proc. International Conference on Software Testing, Verification and Validation Workshops, 2009. ICSTW '09., IEEE, April 2009
Soonho Kong, Nikolai Tillmann, and Jonathan de Halleux, Automated Testing of Environment-Dependent Programs - A Case Study of Modeling the File System for Pex, in Proc. 6th International Conference on Information Technology: New Generations (ITNG'09), IEEE, April 2009
Patrice Godefroid, Peli de Halleux, Michael Y. Levin, Aditya V. Nori, Sriram K. Rajamani, Wolfram Schulte, and Nikolai Tillmann, Automated Software Testing Using Program Analysis, in IEEE Software: Special Issue on Software Development Tools, IEEE Computer Society, October 2008
Tao Xie, Nikolai Tillmann, Peli de Halleux, and Wolfram Schulte, Fitness-Guided Path Exploration in Dynamic Symbolic Execution, no. MSR-TR-2008-123, September 2008
Nikolai Tillmann and Jonathan de Halleux, Pex - White Box Test Generation for .NET, in Proc. of Tests and Proofs (TAP'08), Springer Verlag, Prato, Italy, April 2008
Jonathan de Halleux and Nikolai Tillmann, Parameterized Unit Testing with Pex (Tutorial), in Proc. of Tests and Proofs (TAP'08), Springer Verlag, Prato, Italy, April 2008
Nikolai Tillmann and Jonathan de Halleux, White-box testing of behavioral web service contracts with Pex, in TAV-WEB '08: Proceedings of the 2008 workshop on Testing, analysis, and verification of web services and applications, Association for Computing Machinery, Inc., New York, NY, USA, 2008
Dries Vanoverberghe, Nikolaj Bjørner, Jonathan de Halleux, Wolfram Schulte, and Nikolai Tillmann, Using Dynamic Symbolic Execution to Improve Deductive Verification, in Proc. 15th International SPIN Workshop, Springer Verlag, 2008

Channel 9 Videos

Getting Started with Pex in Visual Studio 2008 (Tutorial)
Research: Contract Checking and Automated Test Generation with Pex (PDC'2008)
Pex - Automated Exploratory Testing for .NET (Tutorial)