Jonathan de Halleux

Publication Activity (10 Years)

Years Active: 2002-2018
Publications (10 Years): 11

Top Topics

Computer Science

Top Venues

Publications

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