Testable Use Cases in the Abstract State Machine Language. - Wolfgang Grieskamp; Markus Lepper 001; Wolfram Schulte; Nikolai Tillmann (APAQS, 2001)

Partial Updates: Exploration. - Yuri Gurevich; Nikolai Tillmann (J. Univers. Comput. Sci., 2001)

Using AsmL for Runtime Verification. - Michael Barnett 001; Wolfram Schulte; Nikolai Tillmann (Abstract State Machines, 2003)

Test Case Generation from AsmL Specifications. - Wolfgang Grieskamp; Lev Nachmanson; Nikolai Tillmann; Margus Veanes (Abstract State Machines, 2003)

Partial Updates Exploration II. - Yuri Gurevich; Nikolai Tillmann (Abstract State Machines, 2003)

Towards a Tool Environment for Model-Based Testing with AsmL. - Michael Barnett 001; Wolfgang Grieskamp; Lev Nachmanson; Wolfram Schulte; Nikolai Tillmann; Margus Veanes (FATES, 2003)

Validating Use-Cases with the AsmL Test Tool. - Michael Barnett 001; Wolfgang Grieskamp; Wolfram Schulte; Nikolai Tillmann; Margus Veanes (QSIC, 2003)

Optimal strategies for testing nondeterministic systems. - Lev Nachmanson; Margus Veanes; Wolfram Schulte; Nikolai Tillmann; Wolfgang Grieskamp (ISSTA, 2004)

Instrumenting scenarios in a model-driven development environment. - Wolfgang Grieskamp; Nikolai Tillmann; Margus Veanes (Inf. Softw. Technol., 2004)

Modeling and Testing Hierarchical GUIs. - Ana C. R. Paiva; Nikolai Tillmann; João C. P. Faria; Raul F. A. M. Vidal (Abstract State Machines, 2005)

Testing Concurrent Object-Oriented Systems with Spec Explorer. - Colin Campbell; Wolfgang Grieskamp; Lev Nachmanson; Wolfram Schulte; Nikolai Tillmann; Margus Veanes (FM, 2005)

A Model-to-Implementation Mapping Tool for Automated Model-Based GUI Testing. - Ana C. R. Paiva; João C. P. Faria; Nikolai Tillmann; Raul F. A. M. Vidal (ICFEM, 2005)

Action Machines - Towards a Framework for Model Composition, Exploration and Conformance Testing Based on Symbolic Computation. - Wolfgang Grieskamp; Nikolai Tillmann; Colin Campbell; Wolfram Schulte; Margus Veanes (QSIC, 2005)

Parameterized unit tests with unit meister. - Nikolai Tillmann; Wolfram Schulte (ESEC/SIGSOFT FSE, 2005)

Parameterized unit tests. - Nikolai Tillmann; Wolfram Schulte (ESEC/SIGSOFT FSE, 2005)

Online testing with model programs. - Margus Veanes; Colin Campbell; Wolfram Schulte; Nikolai Tillmann (ESEC/SIGSOFT FSE, 2005)

XRT- Exploring Runtime for .NET Architecture and Applications. - Wolfgang Grieskamp; Nikolai Tillmann; Wolfram Schulte (SoftMC@CAV, 2005)

Partial updates. - Yuri Gurevich; Nikolai Tillmann (Theor. Comput. Sci., 2005)

Discovering Likely Method Specifications. - Nikolai Tillmann; Feng Chen 006; Wolfram Schulte (ICFEM, 2006)

Mock-object generation with behavior. - Nikolai Tillmann; Wolfram Schulte (ASE, 2006)

Action Machines: a Framework for Encoding and Composing Partial Behaviors. - Wolfgang Grieskamp; Nicolas Kicillof; Nikolai Tillmann (Int. J. Softw. Eng. Knowl. Eng., 2006)

Unit Tests Reloaded: Parameterized Unit Testing with Symbolic Execution. - Nikolai Tillmann; Wolfram Schulte (IEEE Softw., 2006)

Achieving both model and code coverage with automated gray-box testing. - Nicolas Kicillof; Wolfgang Grieskamp; Nikolai Tillmann; Víctor A. Braberman (A-MOST, 2007)

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

Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer. - Margus Veanes; Colin Campbell; Wolfgang Grieskamp; Wolfram Schulte; Nikolai Tillmann; Lev Nachmanson (Formal Methods and Testing, 2008)

DySy: dynamic symbolic execution for invariant inference. - Christoph Csallner; Nikolai Tillmann; Yannis Smaragdakis (ICSE, 2008)

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)

Demand-Driven Compositional Symbolic Execution. - Saswat Anand; Patrice Godefroid; Nikolai Tillmann (TACAS, 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)

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)

Path Feasibility Analysis for String-Manipulating Programs. - Nikolaj S. Bjørner; Nikolai Tillmann; Andrei Voronkov (TACAS, 2009)

Test Input Generation for Programs with Pointers. - Dries Vanoverberghe; Nikolai Tillmann; Frank Piessens (TACAS, 2009)

Automatic parallelization of programming languages: past, present and future. - Wolfram Schulte; Nikolai Tillmann (IWMSE@ICSE, 2010)

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)

MiTV: multiple-implementation testing of user-input validators for web applications. - Kunal Taneja; Nuo Li; Madhuri R. Marri; Tao Xie 001; Nikolai Tillmann (ASE, 2010)

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

SPUR: a trace-based JIT compiler for CIL. - Michael Bebenita; Florian Brandner; Manuel Fähndrich; Francesco Logozzo; Wolfram Schulte; Nikolai Tillmann; Herman Venter (OOPSLA, 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)

FITE: future integrated testing environment. - Michael W. Whalen; Patrice Godefroid; Leonardo Mariani; Andrea Polini; Nikolai Tillmann; Willem Visser (FoSER, 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)

Symbolic execution for software testing in practice: preliminary assessment. - Cristian Cadar; Patrice Godefroid; Sarfraz Khurshid; Corina S. Pasareanu; Koushik Sen; Nikolai Tillmann; Willem Visser (ICSE, 2011)

DyTa: dynamic symbolic execution guided with static verification results. - Xi Ge; Kunal Taneja; Tao Xie 001; Nikolai Tillmann (ICSE, 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)

Double Inspection for Run-Time Loop Parallelization. - Michael Philippsen; Nikolai Tillmann; Daniel Brinkers (LCPC, 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)

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)

An experiment in developing small mobile phone applications comparing on-phone to off-phone development. - Tuan Anh Nguyen; Sarker T. A. Rumee; Christoph Csallner; Nikolai Tillmann (USER@ICSE, 2012)

Educating for mobile computing: addressing the new challenges. - Barry Burd; João Paulo Barros; Chris Johnson 001; Stan Kurkovsky; Arnold Rosenbloom; Nikolai Tillmann (ITiCSE-WGR, 2012)

Teaching programming on a mobile device. - Nikolai Tillmann; Judith Bishop (ITiCSE, 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)

TouchDevelop - Programming on the Go (3. ed.). - R. Nigel Horspool; Nikolai Tillmann (Apress, 2013)

GROPG: a graphical on-phone debugger. - Tuan Anh Nguyen; Christoph Csallner; Nikolai Tillmann (ICSE, 2013)

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)

Characteristic studies of loop problems for structural test generation via symbolic execution. - Xusheng Xiao; Sihan Li; Tao Xie 001; Nikolai Tillmann (ASE, 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)

A comprehensive field study of end-user programming on mobile devices. - Sihan Li; Tao Xie 001; Nikolai Tillmann (VL/HCC, 2013)

PRoMoTo 2013 proceedings. - Judith Bishop; Nikolai Tillmann; Arno Puder; Vinayak Naik (CoRR, 2013)

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

Refactoring local to cloud data types for mobile apps. - Michael Hilton; Arpit Christi; Danny Dig; Michal Moskal; Sebastian Burckhardt; Nikolai Tillmann (MOBILESoft, 2014)

Exposing native device APIs to web apps. - Arno Puder; Nikolai Tillmann; Michal Moskal (MOBILESoft, 2014)

Code hunt: searching for secret code for fun. - Nikolai Tillmann; Judith Bishop; R. Nigel Horspool; Daniel Perelman; Tao Xie 001 (SBST, 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)

2nd workshop on programming for mobile and touch: PROMOTO 2014. - Judith Bishop; Arno Puder; Nikolai Tillmann (SPLASH (Companion Volume), 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)

Measuring code behavioral similarity for programming and software engineering education. - Sihan Li; Xusheng Xiao; Blake Bassett; Tao Xie 001; Nikolai Tillmann (ICSE (Companion Volume), 2016)

Advances in unit testing: theory and practice. - Tao Xie 001; Nikolai Tillmann; Pratap Lakshman (ICSE (Companion Volume), 2016)

Efficient profile-guided size optimization for native mobile applications. - Kyungwoo Lee; Ellis Hoag; Nikolai Tillmann (CC, 2022)