Stabilization of a tank via output feedback. - Christophe Prieur 001; Jonathan de Halleux (CDC, 2002)

On boundary control design for quasilinear hyperbolic systems with entropies as Lyapunov functions. - Jean-Michel Coron; Jonathan de Halleux; Georges Bastin; Brigitte d'Andréa-Novel (CDC, 2002)

Boundary feedback control in networks of open channels. - Jonathan de Halleux; Christophe Prieur 001; Jean-Michel Coron; Brigitte d'Andréa-Novel; Georges Bastin (Autom., 2003)

Boundary control design for cascades of hyperbolic 2 × 2 PDE systems via graph theory. - Jonathan de Halleux; Christophe Prieur 001; Georges Bastin (CDC, 2004)

Stabilization of a 1-D tank containing a fluid modeled by the shallow water equations. - Christophe Prieur 001; Jonathan de Halleux (Syst. Control. Lett., 2004)

Parameterized Unit Testing with Pex: Tutorial. - Nikolai Tillmann; Jonathan de Halleux; Wolfram Schulte (PSSE, 2007)

White-box testing of behavioral web service contracts with Pex. - Nikolai Tillmann; Jonathan de Halleux (TAV-WEB, 2008)

Using Dynamic Symbolic Execution to Improve Deductive Verification. - Dries Vanoverberghe; Nikolaj S. Bjørner; Jonathan de Halleux; Wolfram Schulte; Nikolai Tillmann (SPIN, 2008)

Parameterized Unit Testing with Pex. - Jonathan de Halleux; Nikolai Tillmann (TAP, 2008)

Pex-White Box Test Generation for .NET. - Nikolai Tillmann; Jonathan de Halleux (TAP, 2008)

Automating Software Testing Using Program Analysis. - Patrice Godefroid; Jonathan de Halleux; Aditya V. Nori; Sriram K. Rajamani; Wolfram Schulte; Nikolai Tillmann; Michael Y. Levin (IEEE Softw., 2008)

Fitness-guided path exploration in dynamic symbolic execution. - Tao Xie 001; Nikolai Tillmann; Jonathan de Halleux; Wolfram Schulte (DSN, 2009)

Symbolic Query Exploration. - Margus Veanes; Pavel Grigorenko; Peli de Halleux; Nikolai Tillmann (ICFEM, 2009)

Deconstructing concurrency heisenbugs. - Thomas Ball 001; Sebastian Burckhardt; Jonathan de Halleux; Madanlal Musuvathi; Shaz Qadeer (ICSE Companion, 2009)

Exploiting the synergy between automated-test-generation and programming-by-contract. - Michael Barnett 001; Manuel Fähndrich; Peli de Halleux; Francesco Logozzo; Nikolai Tillmann (ICSE Companion, 2009)

An Empirical Study of Testing File-System-Dependent Software with Mock Objects. - Madhuri R. Marri; Tao Xie 001; Nikolai Tillmann; Jonathan de Halleux; Wolfram Schulte (AST, 2009)

Guided path exploration for regression test generation. - Kunal Taneja; Tao Xie 001; Nikolai Tillmann; Jonathan de Halleux; Wolfram Schulte (ICSE Companion, 2009)

Mutation Analysis of Parameterized Unit Tests. - Tao Xie 001; Nikolai Tillmann; Jonathan de Halleux; Wolfram Schulte (ICST Workshops, 2009)

Automated Testing of Environment-Dependent Programs - A Case Study of Modeling the File System for Pex. - Soonho Kong; Nikolai Tillmann; Jonathan de Halleux (ITNG, 2009)

Reggae: Automated Test Generation for Programs Using Complex Regular Expressions. - Nuo Li; Tao Xie 001; Nikolai Tillmann; Jonathan de Halleux; Wolfram Schulte (ASE, 2009)

MSeqGen: object-oriented unit-test generation via mining source code. - Suresh Thummalapenta; Tao Xie 001; Nikolai Tillmann; Jonathan de Halleux; Wolfram Schulte (ESEC/SIGSOFT FSE, 2009)

Parameterized unit testing: theory and practice. - Nikolai Tillmann; Jonathan de Halleux; Tao Xie 001 (ICSE (2), 2010)

Guided test generation for coverage criteria. - Rahul Pandita; Tao Xie 001; Nikolai Tillmann; Jonathan de Halleux (ICSM, 2010)

Test generation via Dynamic Symbolic Execution for mutation testing. - Lingming Zhang 001; Tao Xie 001; Lu Zhang 023; Nikolai Tillmann; Jonathan de Halleux; Hong Mei 001 (ICSM, 2010)

Rex: Symbolic Regular Expression Explorer. - Margus Veanes; Peli de Halleux; Nikolai Tillmann (ICST, 2010)

Qex: Symbolic SQL Query Explorer. - Margus Veanes; Nikolai Tillmann; Jonathan de Halleux (LPAR (Dakar), 2010)

Teaching and training developer-testing techniques and tool support. - Tao Xie 001; Jonathan de Halleux; Nikolai Tillmann; Wolfram Schulte (SPLASH/OOPSLA Companion, 2010)

FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution. - Kiran Lakhotia; Nikolai Tillmann; Mark Harman; Jonathan de Halleux (ICTSS, 2010)

Future of developer testing: building quality in code. - Tao Xie 001; Nikolai Tillmann; Jonathan de Halleux; Wolfram Schulte (FoSER, 2010)

DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic Traces. - Suresh Thummalapenta; Jonathan de Halleux; Nikolai Tillmann; Scott Wadsworth (TAP@TOOLS, 2010)

Moles: Tool-Assisted Environment Isolation with Closures. - Jonathan de Halleux; Nikolai Tillmann (TOOLS (48), 2010)

Pex4Fun: Teaching and learning computer science via social gaming. - Nikolai Tillmann; Jonathan de Halleux; Tao Xie 001 (CSEE&T, 2011)

Retrofitting Unit Tests for Parameterized Unit Testing. - Suresh Thummalapenta; Madhuri R. Marri; Tao Xie 001; Nikolai Tillmann; Jonathan de Halleux (FASE, 2011)

Precise identification of problems for structural test generation. - Xusheng Xiao; Tao Xie 001; Nikolai Tillmann; Jonathan de Halleux (ICSE, 2011)

Covana: precise identification of problems in pex. - Xusheng Xiao; Tao Xie 001; Nikolai Tillmann; Jonathan de Halleux (ICSE, 2011)

eXpress: guided path exploration for efficient regression test generation. - Kunal Taneja; Tao Xie 001; Nikolai Tillmann; Jonathan de Halleux (ISSTA, 2011)

Synthesizing method sequences for high-coverage testing. - Suresh Thummalapenta; Tao Xie 001; Nikolai Tillmann; Jonathan de Halleux; Zhendong Su 001 (OOPSLA, 2011)

TouchDevelop: programming cloud-connected mobile devices via touchscreen. - Nikolai Tillmann; Michal Moskal; Jonathan de Halleux; Manuel Fähndrich (Onward!, 2011)

Browser-based software for technology transfer. - Judith Bishop; Jonathan de Halleux; Nikolai Tillmann; R. Nigel Horspool; Don Syme; Tao Xie 001 (SAICSIT, 2011)

Predictable and Progressive Testing of Multithreaded Code. - Thomas Ball 001; Sebastian Burckhardt; Peli de Halleux; Madan Musuvathi; Shaz Qadeer (IEEE Softw., 2011)

Pex4Fun: Teaching and Learning Computer Science via Social Gaming. - Nikolai Tillmann; Jonathan de Halleux; Tao Xie 001; Judith Bishop (CSEE&T, 2012)

Engage Your Students by Teaching Computer Science Using Only Mobile Devices with TouchDevelop. - Nikolai Tillmann; Michal Moskal; Jonathan de Halleux; Manuel Fähndrich; Tao Xie 001 (CSEE&T, 2012)

The future of teaching programming is on mobile devices. - Nikolai Tillmann; Michal Moskal; Jonathan de Halleux; Manuel Fähndrich; Judith Bishop; Arjmand Samuel; Tao Xie 001 (ITiCSE, 2012)

Augmented dynamic symbolic execution. - Konrad Jamrozik; Gordon Fraser 001; Nikolai Tillmann; Jonathan de Halleux (ASE, 2012)

User-aware privacy control via extended static-information-flow analysis. - Xusheng Xiao; Nikolai Tillmann; Manuel Fähndrich; Jonathan de Halleux; Michal Moskal (ASE, 2012)

Teaching and learning computing via social gaming with Pex4Fun (abstract only). - Nikolai Tillmann; Jonathan de Halleux; Tao Xie 001; Judith Bishop (SIGCSE, 2012)

Engage your students by teaching programming using only mobile devices with TouchDevelop (abstract only). - Nikolai Tillmann; Michal Moskal; Jonathan de Halleux; Manuel Fähndrich; Tao Xie 001 (SIGCSE, 2012)

TouchDevelop: app development on mobile devices. - Nikolai Tillmann; Michal Moskal; Jonathan de Halleux; Manuel Fähndrich; Sebastian Burckhardt (SIGSOFT FSE, 2012)

State Coverage: Software Validation Metrics beyond Code Coverage. - Dries Vanoverberghe; Jonathan de Halleux; Nikolai Tillmann; Frank Piessens (SOFSEM, 2012)

Environmental Modeling for Automated Cloud Application Testing. - Linghao Zhang; Xiaoxing Ma; Jian Lu 001; Tao Xie 001; Nikolai Tillmann; Peli de Halleux (IEEE Softw., 2012)

Teaching and learning programming and software engineering via interactive gaming. - Nikolai Tillmann; Jonathan de Halleux; Tao Xie 001; Sumit Gulwani; Judith Bishop (ICSE, 2013)

Educational software engineering: where software engineering, education, and gaming meet. - Tao Xie 001; Nikolai Tillmann; Jonathan de Halleux (GAS@ICSE, 2013)

Pex4Fun: A web-based environment for educational gaming via automated test generation. - Nikolai Tillmann; Jonathan de Halleux; Tao Xie 001; Judith Bishop (ASE, 2013)

Keyword programming for TouchDevelop. - Vu Le 002; Jonathan de Halleux; Sumit Gulwani; Zhendong Su 001 (MobiSys, 2013)

Increasing human-tool interaction via the web. - Thomas Ball 001; Peli de Halleux; Nikhil Swamy; Daan Leijen (PASTE, 2013)

It's alive! continuous feedback in UI programming. - Sebastian Burckhardt; Manuel Fähndrich; Peli de Halleux; Sean McDirmid; Michal Moskal; Nikolai Tillmann; Jun Kato 001 (PLDI, 2013)

Generating Test Suites with Augmented Dynamic Symbolic Execution. - Konrad Jamrozik; Gordon Fraser 001; Nikolai Tillmann; Jonathan de Halleux (TAP@STAF, 2013)

Addressing JavaScript JIT Engines Performance Quirks: A Crowdsourced Adaptive Compiler. - Rafael Auler; Edson Borin; Peli de Halleux; Michal Moskal; Nikolai Tillmann (CC, 2014)

TouchDevelop: create rich mobile apps on touch devices (tutorial). - Nikolai Tillmann; Michal Moskal; Jonathan de Halleux; Sebastian Burckhardt; Thomas Ball 001; Judith Bishop (MOBILESoft, 2014)

Constructing coding duels in Pex4Fun and code hunt. - Nikolai Tillmann; Jonathan de Halleux; Tao Xie 001; Judith Bishop (ISSTA, 2014)

Transferring an automated test generation tool to practice: from pex to fakes and code digger. - Nikolai Tillmann; Jonathan de Halleux; Tao Xie 001 (ASE, 2014)

Code hunt: gamifying teaching and learning of computer science at scale. - Nikolai Tillmann; Jonathan de Halleux; Tao Xie 001; Judith Bishop (L@S, 2014)

Gamifying software security education and training via secure coding duels in code hunt. - Tao Xie 001; Judith Bishop; Nikolai Tillmann; Jonathan de Halleux (HotSoS, 2015)

Beyond Open Source: The Touch Develop Cloud-Based Integrated Development Environment. - Thomas Ball 001; Sebastian Burckhardt; Jonathan de Halleux; Michal Moskal; Jonathan Protzenko; Nikolai Tillmann (MOBILESoft, 2015)

Code Hunt: Experience with Coding Contests at Scale. - Judith Bishop; R. Nigel Horspool; Tao Xie 001; Nikolai Tillmann; Jonathan de Halleux (ICSE (2), 2015)

Crowdsourcing Code and Process via Code Hunt. - Tao Xie 001; Judith Bishop; R. Nigel Horspool; Nikolai Tillmann; Jonathan de Halleux (CSI-SE, 2015)

Experience with constructing code hunt contests. - R. Nigel Horspool; Judith Bishop; Jonathan de Halleux; Nikolai Tillmann (CHESE@ISSTA, 2015)

User-aware privacy control via extended static-information-flow analysis. - Xusheng Xiao; Nikolai Tillmann; Manuel Fähndrich; Jonathan de Halleux; Michal Moskal; Tao Xie 001 (Autom. Softw. Eng., 2015)

Microsoft touch develop and the BBC micro: bit. - Thomas Ball 001; Jonathan Protzenko; Judith Bishop; Michal Moskal; Jonathan de Halleux; Michael Braun; Steve Hodges 001; Clare Riley (ICSE (Companion Volume), 2016)

The Micro: bit: Hands-on Computing for the New Generation (Abstract Only). - Thomas Ball 001; Judith Bishop; Jonathan de Halleux (SIGCSE, 2017)

ARcadia: A Rapid Prototyping Platform for Real-time Tangible Interfaces. - Annie Kelly; R. Benjamin Shapiro; Jonathan de Halleux; Thomas Ball 001 (CHI, 2018)

A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects. - Wing Lam; Siwakorn Srisakaokul; Blake Bassett; Peyman Mahdian; Tao Xie 001; Pratap Lakshman; Jonathan de Halleux (ECOOP, 2018)

MakerArcade: Using Gaming and Physical Computing for Playful Making, Learning, and Creativity. - Teddy Seyed; Peli de Halleux; Michal Moskal; James Devine; Joe Finney; Steve Hodges 001; Thomas Ball 001 (CHI Extended Abstracts, 2019)

Static TypeScript: an implementation of a static compiler for the TypeScript language. - Thomas Ball 001; Peli de Halleux; Michal Moskal (MPLR, 2019)

Microsoft MakeCode: embedded programming for education, in blocks and TypeScript. - Thomas Ball 001; Abhijith Chatra; Peli de Halleux; Steve Hodges 001; Michal Moskal; Jacqueline Russell (SPLASH-E, 2019)

MakeCode and CODAL: Intuitive and efficient embedded systems programming for education. - James Devine; Joe Finney; Peli de Halleux; Michal Moskal; Thomas Ball 001; Steve Hodges 001 (J. Syst. Archit., 2019)

The BBC micro: bit: from the U.K. to the world. - Jonny Austin; Howard Baker; Thomas Ball 001; James Devine; Joe Finney; Peli de Halleux; Steve Hodges 001; Michal Moskal; Gareth Stockdale (Commun. ACM, 2020)

Rethinking the Runway: Using Avant-Garde Fashion To Design a System for Wearables. - Teddy Seyed; James Devine; Joe Finney; Michal Moskal; Peli de Halleux; Steve Hodges 001; Thomas Ball 001; Asta Roseway (CHI, 2021)

Web-based Programming for Low-cost Gaming Handhelds. - Michal Moskal; Thomas Ball 001; Abhijith Chatra; James Devine; Peli de Halleux; Steve Hodges 001; Shannon Kao; Richard Knoll; Galen Nickel; Jacqueline Russell; Joey Wunderlich; Daryl Zuniga (FDG, 2021)

PSST: Enabling Blind or Visually Impaired Developers to Author Sonifications of Streaming Sensor Data. - Venkatesh Potluri; John Thompson 002; James Devine; Bongshin Lee; Nora Morsi; Peli de Halleux; Steve Hodges 001; Jennifer Mankoff (UIST, 2022)

ML Blocks: A Block-Based, Graphical User Interface for Creating TinyML Models. - Randi Williams; Michal Moskal; Peli de Halleux (VL/HCC, 2022)

Plug-and-play Physical Computing with Jacdac. - James Devine; Michal Moskal; Peli de Halleux; Thomas Ball 001; Steve Hodges 001; Gabriele D'Amone; David Gakure; Joe Finney; Lorraine Underwood; Kobi Hartley; Paul Kos; Matt Oppenheim (Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., 2022)

MakeDevice: Evolving Devices Beyond the Prototype with Jacdac. - Kobi Hartley; Joe Finney; Steve Hodges 001; Peli de Halleux; James Devine; Gabriele D'Amone (TEI, 2023)

Meet MicroCode: a Live and Portable Programming Tool for the BBC micro: bit. - Kobi Hartley; Elisa Rubegni; Lorraine Underwood; Joe Finney; Thomas Ball 001; Steve Hodges 001; Peli de Halleux; James Devine; Eric Anderson; Michal Moskal (IDC, 2024)

MicroCode: live, portable programming for children via robotics. - Lorraine Underwood; Thomas Ball 001; Steve Hodges 001; Elisa Rubegni; Peli de Halleux; Joe Finney (UIST (Adjunct Volume), 2024)

Jacdac: Service-Based Prototyping of Embedded Systems. - Thomas Ball 001; Peli de Halleux; James Devine; Steve Hodges 001; Michal Moskal (Proc. ACM Program. Lang., 2024)

Plug-and-Play Physical Computing and Device Prototyping with Jacdac. - James Devine; Steve Hodges 001; Thomas Ball 001; Michal Moskal; Peli de Halleux; Gabriele D'Amone; David Gakure; Joe Finney; Lorraine Underwood; Kobi Hartley; Matt Oppenheim; Paul Kos (GetMobile Mob. Comput. Commun., 2024)

PromptPex: Automatic Test Generation for Language Model Prompts. - Reshabh K. Sharma; Jonathan de Halleux; Shraddha Barke; Ben Zorn 001 (CoRR, 2025)

Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling. - Ruanqianqian (Lisa) Huang; Ayana Monroe; Peli de Halleux; Sorin Lerner; Nikolaj S. Bjørner (CoRR, 2025)