Nikolai Tillmann

ORCID

Publication Activity (10 Years)

Years Active: 2001-2022
Publications (10 Years): 3

Top Venues

MOBILESoft

ASE

ICSE (Companion Volume)

Publications

Kyungwoo Lee, Ellis Hoag, Nikolai Tillmann
Efficient profile-guided size optimization for native mobile applications. CC (2022)
Sihan Li, Xusheng Xiao, Blake Bassett, Tao Xie, Nikolai Tillmann
Measuring code behavioral similarity for programming and software engineering education. ICSE (Companion Volume) (2016)
Tao Xie, Nikolai Tillmann, Pratap Lakshman
Advances in unit testing: theory and practice. 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, Judith Bishop, R. Nigel Horspool, Daniel Perelman, Tao Xie
Code hunt: searching for secret code for fun. SBST (2014)
Arno Puder, Nikolai Tillmann, Michal Moskal
Exposing native device APIs to web apps. MOBILESoft (2014)
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)
Michael Hilton, Arpit Christi, Danny Dig, Michal Moskal, Sebastian Burckhardt, Nikolai Tillmann
Refactoring local to cloud data types for mobile apps. MOBILESoft (2014)
Rafael Auler, Edson Borin, Peli de Halleux, Michal Moskal, Nikolai Tillmann
Addressing JavaScript JIT Engines Performance Quirks: A Crowdsourced Adaptive Compiler. CC (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)
Judith Bishop, Arno Puder, Nikolai Tillmann
2nd workshop on programming for mobile and touch: PROMOTO 2014. SPLASH (Companion Volume) (2014)
Judith Bishop, Nikolai Tillmann, Arno Puder, Vinayak Naik
PRoMoTo 2013 proceedings. CoRR (2013)
Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Judith Bishop
Pex4Fun: A web-based environment for educational gaming via automated test generation. ASE (2013)
Tuan Anh Nguyen, Christoph Csallner, Nikolai Tillmann
GROPG: a graphical on-phone debugger. ICSE (2013)
Sihan Li, Tao Xie, Nikolai Tillmann
A comprehensive field study of end-user programming on mobile devices. VL/HCC (2013)
Tao Xie, Nikolai Tillmann, Jonathan de Halleux
Educational software engineering: where software engineering, education, and gaming meet. GAS@ICSE (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)
Sebastian Burckhardt, Manuel Fähndrich, Peli de Halleux, Sean McDirmid, Michal Moskal, Nikolai Tillmann, Jun Kato
It's alive! continuous feedback in UI programming. PLDI (2013)
Xusheng Xiao, Sihan Li, Tao Xie, Nikolai Tillmann
Characteristic studies of loop problems for structural test generation via symbolic execution. ASE (2013)
Nikolai Tillmann, Judith Bishop
Teaching programming on a mobile device. ITiCSE (2012)
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)
Linghao Zhang, Xiaoxing Ma, Jian Lu, Tao Xie, Nikolai Tillmann, Peli de Halleux
Environmental Modeling for Automated Cloud Application Testing. IEEE Softw. 29 (2) (2012)
Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich, Sebastian Burckhardt
TouchDevelop: app development on mobile devices. SIGSOFT FSE (2012)
Barry Burd, João Paulo Barros, Chris Johnson, Stan Kurkovsky, Arnold Rosenbloom, Nikolai Tillmann
Educating for mobile computing: addressing the new challenges. ITiCSE-WGR (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)
Tuan Anh Nguyen, Sarker T. A. Rumee, Christoph Csallner, Nikolai Tillmann
An experiment in developing small mobile phone applications comparing on-phone to off-phone development. USER@ICSE (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)
Xi Ge, Kunal Taneja, Tao Xie, Nikolai Tillmann
DyTa: dynamic symbolic execution guided with static verification results. ICSE (2011)
Cristian Cadar, Patrice Godefroid, Sarfraz Khurshid, Corina S. Pasareanu, Koushik Sen, Nikolai Tillmann, Willem Visser
Symbolic execution for software testing in practice: preliminary assessment. ICSE (2011)
Nikolai Tillmann, Jonathan de Halleux, Tao Xie
Pex4Fun: Teaching and learning computer science via social gaming. CSEE&T (2011)
Michael Philippsen, Nikolai Tillmann, Daniel Brinkers
Double Inspection for Run-Time Loop Parallelization. LCPC (2011)
Kunal Taneja, Nuo Li, Madhuri R. Marri, Tao Xie, Nikolai Tillmann
MiTV: multiple-implementation testing of user-input validators for web applications. ASE (2010)
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)
Margus Veanes, Peli de Halleux, Nikolai Tillmann
Rex: Symbolic Regular Expression Explorer. ICST (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)
Michael Bebenita, Florian Brandner, Manuel Fähndrich, Francesco Logozzo, Wolfram Schulte, Nikolai Tillmann, Herman Venter
SPUR: a trace-based JIT compiler for CIL. OOPSLA (2010)
Michael W. Whalen, Patrice Godefroid, Leonardo Mariani, Andrea Polini, Nikolai Tillmann, Willem Visser
FITE: future integrated testing environment. FoSER (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)
Patrice Godefroid, Leonardo Mariani, Andrea Polini, Nikolai Tillmann, Willem Visser, Michael W. Whalen
FITE - Future Integrated Testing Environment. Practical Software Testing: Tool Automation and Human Factors (2010)
Margus Veanes, Nikolai Tillmann, Jonathan de Halleux
Qex: Symbolic SQL Query Explorer. LPAR (Dakar) (2010)
Wolfram Schulte, Nikolai Tillmann
Automatic parallelization of programming languages: past, present and future. IWMSE@ICSE (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)
Nikolaj Bjørner, Nikolai Tillmann, Andrei Voronkov
Path Feasibility Analysis for String-Manipulating Programs. TACAS (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)
Margus Veanes, Pavel Grigorenko, Peli de Halleux, Nikolai Tillmann
Symbolic Query Exploration. ICFEM (2009)
Dries Vanoverberghe, Nikolai Tillmann, Frank Piessens
Test Input Generation for Programs with Pointers. TACAS (2009)
Nuo Li, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte
Reggae: Automated Test Generation for Programs Using Complex Regular Expressions. ASE (2009)
Michael Barnett, Manuel Fähndrich, Peli de Halleux, Francesco Logozzo, Nikolai Tillmann
Exploiting the synergy between automated-test-generation and programming-by-contract. 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)
Saswat Anand, Patrice Godefroid, Nikolai Tillmann
Demand-Driven Compositional Symbolic Execution. TACAS (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)
Christoph Csallner, Nikolai Tillmann, Yannis Smaragdakis
DySy: dynamic symbolic execution for invariant inference. ICSE (2008)
Jonathan de Halleux, Nikolai Tillmann
Parameterized Unit Testing with Pex. TAP (2008)
Margus Veanes, Colin Campbell, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Lev Nachmanson
Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer. Formal Methods and Testing (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)
Nicolas Kicillof, Wolfgang Grieskamp, Nikolai Tillmann, Víctor A. Braberman
Achieving both model and code coverage with automated gray-box testing. A-MOST (2007)
Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte
Parameterized Unit Testing with Pex: Tutorial. PSSE (2007)
Nikolai Tillmann, Wolfram Schulte
Unit Tests Reloaded: Parameterized Unit Testing with Symbolic Execution. IEEE Softw. 23 (4) (2006)
Nikolai Tillmann, Wolfram Schulte
Mock-object generation with behavior. ASE (2006)
Wolfgang Grieskamp, Nicolas Kicillof, Nikolai Tillmann
Action Machines: a Framework for Encoding and Composing Partial Behaviors. Int. J. Softw. Eng. Knowl. Eng. 16 (5) (2006)
Wolfgang Grieskamp, Nikolai Tillmann, Wolfram Schulte
XRT- Exploring Runtime for .NET Architecture and Applications. Electron. Notes Theor. Comput. Sci. 144 (3) (2006)
Nikolai Tillmann, Feng Chen, Wolfram Schulte
Discovering Likely Method Specifications. ICFEM (2006)
Nikolai Tillmann, Wolfram Schulte
Parameterized unit tests with unit meister. ESEC/SIGSOFT FSE (2005)
Wolfgang Grieskamp, Nikolai Tillmann, Colin Campbell, Wolfram Schulte, Margus Veanes
Action Machines - Towards a Framework for Model Composition, Exploration and Conformance Testing Based on Symbolic Computation. QSIC (2005)
Nikolai Tillmann, Wolfram Schulte
Parameterized unit tests. ESEC/SIGSOFT FSE (2005)
Yuri Gurevich, Nikolai Tillmann
Partial updates. Theor. Comput. Sci. 336 (2-3) (2005)
Margus Veanes, Colin Campbell, Wolfram Schulte, Nikolai Tillmann
Online testing with model programs. ESEC/SIGSOFT FSE (2005)
Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
Testing Concurrent Object-Oriented Systems with Spec Explorer. FM (2005)
Ana C. R. Paiva, Nikolai Tillmann, João C. P. Faria, Raul F. A. M. Vidal
Modeling and Testing Hierarchical GUIs. Abstract State Machines (2005)
Ana C. R. Paiva, João C. P. Faria, Nikolai Tillmann, Raul F. A. M. Vidal
A Model-to-Implementation Mapping Tool for Automated Model-Based GUI Testing. ICFEM (2005)

Nikolai Tillmann.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Nikolai Tillmann