Nikolai Tillmann
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
58
Venues
16
Active years
2004–2022
Best venue rank
A*
Where they publish
Papers
58 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | CC | Efficient profile-guided size optimization for native mobile applications. | Kyungwoo Lee, Ellis Hoag, Nikolai Tillmann |
| 2016 | ICSE | Measuring code behavioral similarity for programming and software engineering education. | Sihan Li, Xusheng Xiao, Blake Bassett, Tao Xie, Nikolai Tillmann |
| 2016 | ICSE | Advances in unit testing: theory and practice. | Tao Xie, Nikolai Tillmann, Pratap Lakshman |
| 2015 | ICSE | Beyond Open Source: The Touch Develop Cloud-Based Integrated Development Environment. | Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Michal Moskal, Jonathan Protzenko, Nikolai Tillmann |
| 2015 | ICSE | Code Hunt: Experience with Coding Contests at Scale. | Judith Bishop, R. Nigel Horspool, Tao Xie, Nikolai Tillmann, Jonathan de Halleux |
| 2015 | ICSE | Crowdsourcing Code and Process via Code Hunt. | Tao Xie, Judith Bishop, R. Nigel Horspool, Nikolai Tillmann, Jonathan de Halleux |
| 2015 | ISSTA | Experience with constructing code hunt contests. | R. Nigel Horspool, Judith Bishop, Jonathan de Halleux, Nikolai Tillmann |
| 2014 | CC | Addressing JavaScript JIT Engines Performance Quirks: A Crowdsourced Adaptive Compiler. | Rafael Auler, Edson Borin, Peli de Halleux, Michal Moskal, Nikolai Tillmann |
| 2014 | ICSE | Refactoring local to cloud data types for mobile apps. | Michael Hilton, Arpit Christi, Danny Dig, Michal Moskal, Sebastian Burckhardt, Nikolai Tillmann |
| 2014 | ICSE | Exposing native device APIs to web apps. | Arno Puder, Nikolai Tillmann, Michal Moskal |
| 2014 | ICSE | Code hunt: searching for secret code for fun. | Nikolai Tillmann, Judith Bishop, R. Nigel Horspool, Daniel Perelman, Tao Xie |
| 2014 | ICSE | TouchDevelop: create rich mobile apps on touch devices (tutorial). | Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Sebastian Burckhardt, Thomas Ball, Judith Bishop |
| 2014 | ISSTA | Constructing coding duels in Pex4Fun and code hunt. | Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Judith Bishop |
| 2014 | OOPSLA | 2nd workshop on programming for mobile and touch: PROMOTO 2014. | Judith Bishop, Arno Puder, Nikolai Tillmann |
| 2013 | ICSE | GROPG: a graphical on-phone debugger. | Tuan Anh Nguyen, Christoph Csallner, Nikolai Tillmann |
| 2013 | ICSE | Teaching and learning programming and software engineering via interactive gaming. | Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Sumit Gulwani, Judith Bishop |
| 2013 | ICSE | Educational software engineering: where software engineering, education, and gaming meet. | Tao Xie, Nikolai Tillmann, Jonathan de Halleux |
| 2013 | PLDI | It's alive! continuous feedback in UI programming. | Sebastian Burckhardt, Manuel Fhndrich, Peli de Halleux, Sean McDirmid, Michal Moskal, Nikolai Tillmann, Jun Kato |
| 2013 | TAP | Generating Test Suites with Augmented Dynamic Symbolic Execution. | Konrad Jamrozik, Gordon Fraser, Nikolai Tillmann, Jonathan de Halleux |
| 2012 | ICSE | 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 |
| 2012 | ITiCSE | Educating for mobile computing: addressing the new challenges. | Barry Burd, Joo Paulo Barros, Chris Johnson, Stan Kurkovsky, Arnold Rosenbloom, Nikolai Tillmann |
| 2012 | ITiCSE | Teaching programming on a mobile device. | Nikolai Tillmann, Judith Bishop |
| 2012 | ITiCSE | The future of teaching programming is on mobile devices. | Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fhndrich, Judith Bishop, Arjmand Samuel, Tao Xie |
| 2012 | SIGCSE | Teaching and learning computing via social gaming with Pex4Fun (abstract only). | Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Judith Bishop |
| 2012 | SIGCSE | Engage your students by teaching programming using only mobile devices with TouchDevelop (abstract only). | Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fhndrich, Tao Xie |
| 2012 | SOFSEM | State Coverage: Software Validation Metrics beyond Code Coverage. | Dries Vanoverberghe, Jonathan de Halleux, Nikolai Tillmann, Frank Piessens |
| 2011 | FASE | Retrofitting Unit Tests for Parameterized Unit Testing. | Suresh Thummalapenta, Madhuri R. Marri, Tao Xie, Nikolai Tillmann, Jonathan de Halleux |
| 2011 | ICSE | Symbolic execution for software testing in practice: preliminary assessment. | Cristian Cadar, Patrice Godefroid, Sarfraz Khurshid, Corina S. Pasareanu, Koushik Sen, Nikolai Tillmann, Willem Visser |
| 2011 | ICSE | DyTa: dynamic symbolic execution guided with static verification results. | Xi Ge, Kunal Taneja, Tao Xie, Nikolai Tillmann |
| 2011 | ICSE | Precise identification of problems for structural test generation. | Xusheng Xiao, Tao Xie, Nikolai Tillmann, Jonathan de Halleux |
| 2011 | ICSE | Covana: precise identification of problems in pex. | Xusheng Xiao, Tao Xie, Nikolai Tillmann, Jonathan de Halleux |
| 2011 | ISSTA | eXpress: guided path exploration for efficient regression test generation. | Kunal Taneja, Tao Xie, Nikolai Tillmann, Jonathan de Halleux |
| 2011 | OOPSLA | Synthesizing method sequences for high-coverage testing. | Suresh Thummalapenta, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Zhendong Su |
| 2011 | OOPSLA | TouchDevelop: programming cloud-connected mobile devices via touchscreen. | Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fhndrich |
| 2010 | ICSE | Automatic parallelization of programming languages: past, present and future. | Wolfram Schulte, Nikolai Tillmann |
| 2010 | ICSE | Parameterized unit testing: theory and practice. | Nikolai Tillmann, Jonathan de Halleux, Tao Xie |
| 2010 | ICST | Rex: Symbolic Regular Expression Explorer. | Margus Veanes, Peli de Halleux, Nikolai Tillmann |
| 2010 | LPAR | Qex: Symbolic SQL Query Explorer. | Margus Veanes, Nikolai Tillmann, Jonathan de Halleux |
| 2010 | OOPSLA | SPUR: a trace-based JIT compiler for CIL. | Michael Bebenita, Florian Brandner, Manuel Fhndrich, Francesco Logozzo, Wolfram Schulte, Nikolai Tillmann, Herman Venter |
| 2010 | OOPSLA | Teaching and training developer-testing techniques and tool support. | Tao Xie, Jonathan de Halleux, Nikolai Tillmann, Wolfram Schulte |
| 2010 | TAP | DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic Traces. | Suresh Thummalapenta, Jonathan de Halleux, Nikolai Tillmann, Scott Wadsworth |
| 2009 | DSN | Fitness-guided path exploration in dynamic symbolic execution. | Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte |
| 2009 | ICFEM | Symbolic Query Exploration. | Margus Veanes, Pavel Grigorenko, Peli de Halleux, Nikolai Tillmann |
| 2009 | ICSE | Exploiting the synergy between automated-test-generation and programming-by-contract. | Michael Barnett, Manuel Fhndrich, Peli de Halleux, Francesco Logozzo, Nikolai Tillmann |
| 2009 | ICSE | An Empirical Study of Testing File-System-Dependent Software with Mock Objects. | Madhuri R. Marri, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte |
| 2009 | ICSE | Guided path exploration for regression test generation. | Kunal Taneja, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte |
| 2009 | ICST | Mutation Analysis of Parameterized Unit Tests. | Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte |
| 2009 | TACAS | Path Feasibility Analysis for String-Manipulating Programs. | Nikolaj S. Bjrner, Nikolai Tillmann, Andrei Voronkov |
| 2009 | TACAS | Test Input Generation for Programs with Pointers. | Dries Vanoverberghe, Nikolai Tillmann, Frank Piessens |
| 2008 | ICSE | DySy: dynamic symbolic execution for invariant inference. | Christoph Csallner, Nikolai Tillmann, Yannis Smaragdakis |
| 2008 | ISSTA | White-box testing of behavioral web service contracts with Pex. | Nikolai Tillmann, Jonathan de Halleux |
| 2008 | TACAS | Demand-Driven Compositional Symbolic Execution. | Saswat Anand, Patrice Godefroid, Nikolai Tillmann |
| 2008 | TAP | Parameterized Unit Testing with Pex. | Jonathan de Halleux, Nikolai Tillmann |
| 2008 | TAP | Pex-White Box Test Generation for .NET. | Nikolai Tillmann, Jonathan de Halleux |
| 2006 | ICFEM | Discovering Likely Method Specifications. | Nikolai Tillmann, Feng Chen, Wolfram Schulte |
| 2005 | FM | Testing Concurrent Object-Oriented Systems with Spec Explorer. | Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes |
| 2005 | ICFEM | A Model-to-Implementation Mapping Tool for Automated Model-Based GUI Testing. | Ana C. R. Paiva, Joo C. P. Faria, Nikolai Tillmann, Raul F. A. M. Vidal |
| 2004 | ISSTA | Optimal strategies for testing nondeterministic systems. | Lev Nachmanson, Margus Veanes, Wolfram Schulte, Nikolai Tillmann, Wolfgang Grieskamp |