Jonathan de Halleux

66 papers A* 9A 9B 4C 3Journal 5Unranked 36

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	PromptPex: Automatic Test Generation for Language Model Prompts. CoRR Reshabh K. Sharma, Jonathan de Halleux, Shraddha Barke, Ben Zorn
2018	A	`conf`	A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects. ECOOP Wing Lam, Siwakorn Srisakaokul, Blake Bassett, Peyman Mahdian, Tao Xie, Pratap Lakshman, Jonathan de Halleux
2018	A*	`conf`	ARcadia: A Rapid Prototyping Platform for Real-time Tangible Interfaces. CHI Annie Kelly, R. Benjamin Shapiro, Jonathan de Halleux, Thomas Ball
2018	—	`conf`	ARcadia: A Rapid Prototyping Platform for Real-time Tangible Interfaces. CHI Extended Abstracts Annie Kelly, R. Benjamin Shapiro, Jonathan de Halleux, Thomas Ball
2017	A	`conf`	The Micro: bit: Hands-on Computing for the New Generation (Abstract Only). SIGCSE Thomas Ball, Judith Bishop, Jonathan de Halleux
2016	—	`conf`	Microsoft touch develop and the BBC micro: bit. ICSE (Companion Volume) Thomas Ball, Jonathan Protzenko, Judith Bishop, Michal Moskal, Jonathan de Halleux, Michael Braun, Steve Hodges, Clare Riley
2015	—	`conf`	Beyond Open Source: The Touch Develop Cloud-Based Integrated Development Environment. MOBILESoft Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Michal Moskal, Jonathan Protzenko, Nikolai Tillmann
2015	—	`conf`	Code Hunt: Experience with Coding Contests at Scale. ICSE (2) Judith Bishop, R. Nigel Horspool, Tao Xie, Nikolai Tillmann, Jonathan de Halleux
2015	—	`conf`	Crowdsourcing Code and Process via Code Hunt. CSI-SE Tao Xie, Judith Bishop, R. Nigel Horspool, Nikolai Tillmann, Jonathan de Halleux
2015	—	`conf`	Experience with constructing code hunt contests. CHESE@ISSTA R. Nigel Horspool, Judith Bishop, Jonathan de Halleux, Nikolai Tillmann
2015	—	`conf`	Gamifying software security education and training via secure coding duels in code hunt. HotSoS Tao Xie, Judith Bishop, Nikolai Tillmann, Jonathan de Halleux
2015	J	`jnl`	User-aware privacy control via extended static-information-flow analysis. Autom. Softw. Eng. Xusheng Xiao, Nikolai Tillmann, Manuel Fähndrich, Jonathan de Halleux, Michal Moskal, Tao Xie
2014	B	`conf`	Code hunt: gamifying teaching and learning of computer science at scale. L@S Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Judith Bishop
2014	A	`conf`	Constructing coding duels in Pex4Fun and code hunt. ISSTA Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Judith Bishop
2014	—	`conf`	TouchDevelop: create rich mobile apps on touch devices (tutorial). MOBILESoft Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Sebastian Burckhardt, Thomas Ball, Judith Bishop
2014	A*	`conf`	Transferring an automated test generation tool to practice: from pex to fakes and code digger. ASE Nikolai Tillmann, Jonathan de Halleux, Tao Xie
2013	—	`conf`	Educational software engineering: where software engineering, education, and gaming meet. GAS@ICSE Tao Xie, Nikolai Tillmann, Jonathan de Halleux
2013	—	`conf`	Generating Test Suites with Augmented Dynamic Symbolic Execution. TAP@STAF Konrad Jamrozik, Gordon Fraser, Nikolai Tillmann, Jonathan de Halleux
2013	A	`conf`	Keyword programming for TouchDevelop. MobiSys Vu Le, Jonathan de Halleux, Sumit Gulwani, Zhendong Su
2013	A*	`conf`	Pex4Fun: A web-based environment for educational gaming via automated test generation. ASE Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Judith Bishop
2013	A*	`conf`	Teaching and learning programming and software engineering via interactive gaming. ICSE Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Sumit Gulwani, Judith Bishop
2012	A*	`conf`	Augmented dynamic symbolic execution. ASE Konrad Jamrozik, Gordon Fraser, Nikolai Tillmann, Jonathan de Halleux
2012	—	`conf`	Engage Your Students by Teaching Computer Science Using Only Mobile Devices with TouchDevelop. CSEE&T Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich, Tao Xie
2012	A	`conf`	Engage your students by teaching programming using only mobile devices with TouchDevelop (abstract only). SIGCSE Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich, Tao Xie
2012	—	`conf`	Pex4Fun: Teaching and Learning Computer Science via Social Gaming. CSEE&T Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Judith Bishop
2012	B	`conf`	State Coverage: Software Validation Metrics beyond Code Coverage. SOFSEM Dries Vanoverberghe, Jonathan de Halleux, Nikolai Tillmann, Frank Piessens
2012	A	`conf`	Teaching and learning computing via social gaming with Pex4Fun (abstract only). SIGCSE Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Judith Bishop
2012	B	`conf`	The future of teaching programming is on mobile devices. ITiCSE Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich, Judith Bishop, Arjmand Samuel, Tao Xie
2012	—	`conf`	TouchDevelop: app development on mobile devices. SIGSOFT FSE Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich, Sebastian Burckhardt
2012	A*	`conf`	User-aware privacy control via extended static-information-flow analysis. ASE Xusheng Xiao, Nikolai Tillmann, Manuel Fähndrich, Jonathan de Halleux, Michal Moskal
2011	—	`conf`	Browser-based software for technology transfer. SAICSIT Judith Bishop, Jonathan de Halleux, Nikolai Tillmann, R. Nigel Horspool, Don Syme, Tao Xie
2011	A*	`conf`	Covana: precise identification of problems in pex. ICSE Xusheng Xiao, Tao Xie, Nikolai Tillmann, Jonathan de Halleux
2011	—	`conf`	Pex4Fun: Teaching and learning computer science via social gaming. CSEE&T Nikolai Tillmann, Jonathan de Halleux, Tao Xie
2011	A*	`conf`	Precise identification of problems for structural test generation. ICSE Xusheng Xiao, Tao Xie, Nikolai Tillmann, Jonathan de Halleux
2011	B	`conf`	Retrofitting Unit Tests for Parameterized Unit Testing. FASE Suresh Thummalapenta, Madhuri R. Marri, Tao Xie, Nikolai Tillmann, Jonathan de Halleux
2011	A	`conf`	Synthesizing method sequences for high-coverage testing. OOPSLA Suresh Thummalapenta, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Zhendong Su
2011	—	`conf`	TouchDevelop: programming cloud-connected mobile devices via touchscreen. Onward! Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich
2011	A	`conf`	eXpress: guided path exploration for efficient regression test generation. ISSTA Kunal Taneja, Tao Xie, Nikolai Tillmann, Jonathan de Halleux
2010	—	`conf`	DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic Traces. TAP@TOOLS Suresh Thummalapenta, Jonathan de Halleux, Nikolai Tillmann, Scott Wadsworth
2010	C	`conf`	FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution. ICTSS Kiran Lakhotia, Nikolai Tillmann, Mark Harman, Jonathan de Halleux
2010	—	`conf`	Future of developer testing: building quality in code. FoSER Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte
2010	—	`conf`	Guided test generation for coverage criteria. ICSM Rahul Pandita, Tao Xie, Nikolai Tillmann, Jonathan de Halleux
2010	—	`conf`	Moles: Tool-Assisted Environment Isolation with Closures. TOOLS (48) Jonathan de Halleux, Nikolai Tillmann
2010	—	`conf`	Parameterized unit testing: theory and practice. ICSE (2) Nikolai Tillmann, Jonathan de Halleux, Tao Xie
2010	—	`conf`	Qex: Symbolic SQL Query Explorer. LPAR (Dakar) Margus Veanes, Nikolai Tillmann, Jonathan de Halleux
2010	—	`conf`	Teaching and training developer-testing techniques and tool support. SPLASH/OOPSLA Companion Tao Xie, Jonathan de Halleux, Nikolai Tillmann, Wolfram Schulte
2010	—	`conf`	Test generation via Dynamic Symbolic Execution for mutation testing. ICSM Lingming Zhang, Tao Xie, Lu Zhang, Nikolai Tillmann, Jonathan de Halleux, Hong Mei
2009	—	`conf`	An Empirical Study of Testing File-System-Dependent Software with Mock Objects. AST@ICSE Madhuri R. Marri, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte
2009	—	`conf`	Automated Testing of Environment-Dependent Programs - A Case Study of Modeling the File System for Pex. ITNG Soonho Kong, Nikolai Tillmann, Jonathan de Halleux
2009	—	`conf`	Deconstructing concurrency heisenbugs. ICSE Companion Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Madanlal Musuvathi, Shaz Qadeer
2009	A	`conf`	Fitness-guided path exploration in dynamic symbolic execution. DSN Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte
2009	—	`conf`	Guided path exploration for regression test generation. ICSE Companion Kunal Taneja, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte
2009	—	`conf`	MSeqGen: object-oriented unit-test generation via mining source code. ESEC/SIGSOFT FSE Suresh Thummalapenta, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte
2009	—	`conf`	Mutation Analysis of Parameterized Unit Tests. ICST Workshops Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte
2009	A*	`conf`	Reggae: Automated Test Generation for Programs Using Complex Regular Expressions. ASE Nuo Li, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte
2008	J	`jnl`	Automating Software Testing Using Program Analysis. IEEE Softw. Patrice Godefroid, Jonathan de Halleux, Aditya V. Nori, Sriram K. Rajamani, Wolfram Schulte, Nikolai Tillmann, Michael Y. Levin
2008	C	`conf`	Parameterized Unit Testing with Pex. TAP Jonathan de Halleux, Nikolai Tillmann
2008	C	`conf`	Pex-White Box Test Generation for .NET. TAP Nikolai Tillmann, Jonathan de Halleux
2008	—	`conf`	Using Dynamic Symbolic Execution to Improve Deductive Verification. SPIN Dries Vanoverberghe, Nikolaj S. Bjørner, Jonathan de Halleux, Wolfram Schulte, Nikolai Tillmann
2008	—	`conf`	White-box testing of behavioral web service contracts with Pex. TAV-WEB Nikolai Tillmann, Jonathan de Halleux
2007	—	`conf`	Parameterized Unit Testing with Pex: Tutorial. PSSE Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte
2004	—	`conf`	Boundary control design for cascades of hyperbolic 2 × 2 PDE systems via graph theory. CDC Jonathan de Halleux, Christophe Prieur, Georges Bastin
2004	J	`jnl`	Stabilization of a 1-D tank containing a fluid modeled by the shallow water equations. Syst. Control. Lett. Christophe Prieur, Jonathan de Halleux
2003	J	`jnl`	Boundary feedback control in networks of open channels. Autom. Jonathan de Halleux, Christophe Prieur, Jean-Michel Coron, Brigitte d'Andréa-Novel, Georges Bastin
2002	—	`conf`	On boundary control design for quasilinear hyperbolic systems with entropies as Lyapunov functions. CDC Jean-Michel Coron, Jonathan de Halleux, Georges Bastin, Brigitte d'Andréa-Novel
2002	—	`conf`	Stabilization of a tank via output feedback. CDC Christophe Prieur, Jonathan de Halleux