Nikolai Tillmann

114 papers A* 16A 12B 10C 6Journal 9Unranked 57

Year	Rank	Type	Title / Venue / Authors
2022	B	`conf`	Efficient profile-guided size optimization for native mobile applications. CC Kyungwoo Lee, Ellis Hoag, Nikolai Tillmann
2016	—	`conf`	Advances in unit testing: theory and practice. ICSE (Companion Volume) Tao Xie, Nikolai Tillmann, Pratap Lakshman
2016	—	`conf`	Measuring code behavioral similarity for programming and software engineering education. ICSE (Companion Volume) Sihan Li, Xusheng Xiao, Blake Bassett, Tao Xie, Nikolai Tillmann
2015	—	`conf`	Beyond Open Source: The Touch Develop Cloud-Based Integrated Development Environment. MOBILESoft Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Michal Moskal, Jonathan Protzenko, Nikolai Tillmann
2015	—	`conf`	Code Hunt: Experience with Coding Contests at Scale. ICSE (2) Judith Bishop, R. Nigel Horspool, Tao Xie, Nikolai Tillmann, Jonathan de Halleux
2015	—	`conf`	Crowdsourcing Code and Process via Code Hunt. CSI-SE Tao Xie, Judith Bishop, R. Nigel Horspool, Nikolai Tillmann, Jonathan de Halleux
2015	—	`conf`	Experience with constructing code hunt contests. CHESE@ISSTA R. Nigel Horspool, Judith Bishop, Jonathan de Halleux, Nikolai Tillmann
2015	—	`conf`	Gamifying software security education and training via secure coding duels in code hunt. HotSoS Tao Xie, Judith Bishop, Nikolai Tillmann, Jonathan de Halleux
2015	—	`ed.`	Proceedings of the 1st International Workshop on Code Hunt on Educational Software Engineering, CHESE@ISSTA 2015, Baltimore, MD, USA, July 14, 2015 CHESE@ISSTA Tao Xie, Alessandro Orso, Judith Bishop, Nikolai Tillmann
2015	J	`jnl`	User-aware privacy control via extended static-information-flow analysis. Autom. Softw. Eng. Xusheng Xiao, Nikolai Tillmann, Manuel Fähndrich, Jonathan de Halleux, Michal Moskal, Tao Xie
2014	—	`conf`	2nd workshop on programming for mobile and touch: PROMOTO 2014. SPLASH (Companion Volume) Judith Bishop, Arno Puder, Nikolai Tillmann
2014	B	`conf`	Addressing JavaScript JIT Engines Performance Quirks: A Crowdsourced Adaptive Compiler. CC Rafael Auler, Edson Borin, Peli de Halleux, Michal Moskal, Nikolai Tillmann
2014	B	`conf`	Code hunt: gamifying teaching and learning of computer science at scale. L@S Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Judith Bishop
2014	—	`conf`	Code hunt: searching for secret code for fun. SBST Nikolai Tillmann, Judith Bishop, R. Nigel Horspool, Daniel Perelman, Tao Xie
2014	A	`conf`	Constructing coding duels in Pex4Fun and code hunt. ISSTA Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Judith Bishop
2014	—	`conf`	Exposing native device APIs to web apps. MOBILESoft Arno Puder, Nikolai Tillmann, Michal Moskal
2014	—	`ed.`	Proceedings of the 1st International Workshop on CrowdSourcing in Software Engineering, CSI-SE 2014, Hyderabad, India, June 2, 2014 CSI-SE Gordon Fraser, Thomas D. LaToza, Leonardo Mariani, Fabrizio Pastore, Nikolai Tillmann
2014	—	`conf`	Refactoring local to cloud data types for mobile apps. MOBILESoft Michael Hilton, Arpit Christi, Danny Dig, Michal Moskal, Sebastian Burckhardt, Nikolai Tillmann
2014	—	`ed.`	Tests and Proofs - 8th International Conference, TAP@STAF 2014, York, UK, July 24-25, 2014. Proceedings TAP@STAF Martina Seidl, Nikolai Tillmann
2014	—	`conf`	TouchDevelop: create rich mobile apps on touch devices (tutorial). MOBILESoft Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Sebastian Burckhardt, Thomas Ball, Judith Bishop
2014	A*	`conf`	Transferring an automated test generation tool to practice: from pex to fakes and code digger. ASE Nikolai Tillmann, Jonathan de Halleux, Tao Xie
2013	B	`conf`	A comprehensive field study of end-user programming on mobile devices. VL/HCC Sihan Li, Tao Xie, Nikolai Tillmann
2013	A*	`conf`	Characteristic studies of loop problems for structural test generation via symbolic execution. ASE Xusheng Xiao, Sihan Li, Tao Xie, Nikolai Tillmann
2013	—	`conf`	Educational software engineering: where software engineering, education, and gaming meet. GAS@ICSE Tao Xie, Nikolai Tillmann, Jonathan de Halleux
2013	A*	`conf`	GROPG: a graphical on-phone debugger. ICSE Tuan Anh Nguyen, Christoph Csallner, Nikolai Tillmann
2013	—	`conf`	Generating Test Suites with Augmented Dynamic Symbolic Execution. TAP@STAF Konrad Jamrozik, Gordon Fraser, Nikolai Tillmann, Jonathan de Halleux
2013	A*	`conf`	It's alive! continuous feedback in UI programming. PLDI Sebastian Burckhardt, Manuel Fähndrich, Peli de Halleux, Sean McDirmid, Michal Moskal, Nikolai Tillmann, Jun Kato
2013	J	`jnl`	PRoMoTo 2013 proceedings. CoRR Judith Bishop, Nikolai Tillmann, Arno Puder, Vinayak Naik
2013	A*	`conf`	Pex4Fun: A web-based environment for educational gaming via automated test generation. ASE Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Judith Bishop
2013	A*	`conf`	Teaching and learning programming and software engineering via interactive gaming. ICSE Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Sumit Gulwani, Judith Bishop
2013	—	`book`	TouchDevelop - Programming on the Go (3. ed.). R. Nigel Horspool, Nikolai Tillmann
2012	—	`conf`	An experiment in developing small mobile phone applications comparing on-phone to off-phone development. USER@ICSE Tuan Anh Nguyen, Sarker T. A. Rumee, Christoph Csallner, Nikolai Tillmann
2012	A*	`conf`	Augmented dynamic symbolic execution. ASE Konrad Jamrozik, Gordon Fraser, Nikolai Tillmann, Jonathan de Halleux
2012	—	`conf`	Educating for mobile computing: addressing the new challenges. ITiCSE-WGR Barry Burd, João Paulo Barros, Chris Johnson, Stan Kurkovsky, Arnold Rosenbloom, Nikolai Tillmann
2012	—	`conf`	Engage Your Students by Teaching Computer Science Using Only Mobile Devices with TouchDevelop. CSEE&T Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich, Tao Xie
2012	A	`conf`	Engage your students by teaching programming using only mobile devices with TouchDevelop (abstract only). SIGCSE Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich, Tao Xie
2012	J	`jnl`	Environmental Modeling for Automated Cloud Application Testing. IEEE Softw. Linghao Zhang, Xiaoxing Ma, Jian Lu, Tao Xie, Nikolai Tillmann, Peli de Halleux
2012	—	`conf`	Pex4Fun: Teaching and Learning Computer Science via Social Gaming. CSEE&T Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Judith Bishop
2012	B	`conf`	State Coverage: Software Validation Metrics beyond Code Coverage. SOFSEM Dries Vanoverberghe, Jonathan de Halleux, Nikolai Tillmann, Frank Piessens
2012	A	`conf`	Teaching and learning computing via social gaming with Pex4Fun (abstract only). SIGCSE Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Judith Bishop
2012	B	`conf`	Teaching programming on a mobile device. ITiCSE Nikolai Tillmann, Judith Bishop
2012	B	`conf`	The future of teaching programming is on mobile devices. ITiCSE Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich, Judith Bishop, Arjmand Samuel, Tao Xie
2012	—	`conf`	TouchDevelop: app development on mobile devices. SIGSOFT FSE Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich, Sebastian Burckhardt
2012	A*	`conf`	User-aware privacy control via extended static-information-flow analysis. ASE Xusheng Xiao, Nikolai Tillmann, Manuel Fähndrich, Jonathan de Halleux, Michal Moskal
2011	—	`conf`	Browser-based software for technology transfer. SAICSIT Judith Bishop, Jonathan de Halleux, Nikolai Tillmann, R. Nigel Horspool, Don Syme, Tao Xie
2011	A*	`conf`	Covana: precise identification of problems in pex. ICSE Xusheng Xiao, Tao Xie, Nikolai Tillmann, Jonathan de Halleux
2011	—	`conf`	Double Inspection for Run-Time Loop Parallelization. LCPC Michael Philippsen, Nikolai Tillmann, Daniel Brinkers
2011	A*	`conf`	DyTa: dynamic symbolic execution guided with static verification results. ICSE Xi Ge, Kunal Taneja, Tao Xie, Nikolai Tillmann
2011	—	`conf`	Pex4Fun: Teaching and learning computer science via social gaming. CSEE&T Nikolai Tillmann, Jonathan de Halleux, Tao Xie
2011	A*	`conf`	Precise identification of problems for structural test generation. ICSE Xusheng Xiao, Tao Xie, Nikolai Tillmann, Jonathan de Halleux
2011	B	`conf`	Retrofitting Unit Tests for Parameterized Unit Testing. FASE Suresh Thummalapenta, Madhuri R. Marri, Tao Xie, Nikolai Tillmann, Jonathan de Halleux
2011	A*	`conf`	Symbolic execution for software testing in practice: preliminary assessment. ICSE Cristian Cadar, Patrice Godefroid, Sarfraz Khurshid, Corina S. Pasareanu, Koushik Sen, Nikolai Tillmann, Willem Visser
2011	A	`conf`	Synthesizing method sequences for high-coverage testing. OOPSLA Suresh Thummalapenta, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Zhendong Su
2011	—	`conf`	TouchDevelop: programming cloud-connected mobile devices via touchscreen. Onward! Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich
2011	A	`conf`	eXpress: guided path exploration for efficient regression test generation. ISSTA Kunal Taneja, Tao Xie, Nikolai Tillmann, Jonathan de Halleux
2010	—	`conf`	Automatic parallelization of programming languages: past, present and future. IWMSE@ICSE Wolfram Schulte, Nikolai Tillmann
2010	—	`conf`	DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic Traces. TAP@TOOLS Suresh Thummalapenta, Jonathan de Halleux, Nikolai Tillmann, Scott Wadsworth
2010	—	`conf`	FITE - Future Integrated Testing Environment. Practical Software Testing: Tool Automation and Human Factors Patrice Godefroid, Leonardo Mariani, Andrea Polini, Nikolai Tillmann, Willem Visser, Michael W. Whalen
2010	—	`conf`	FITE: future integrated testing environment. FoSER Michael W. Whalen, Patrice Godefroid, Leonardo Mariani, Andrea Polini, Nikolai Tillmann, Willem Visser
2010	C	`conf`	FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution. ICTSS Kiran Lakhotia, Nikolai Tillmann, Mark Harman, Jonathan de Halleux
2010	—	`conf`	Future of developer testing: building quality in code. FoSER Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte
2010	—	`conf`	Guided test generation for coverage criteria. ICSM Rahul Pandita, Tao Xie, Nikolai Tillmann, Jonathan de Halleux
2010	A*	`conf`	MiTV: multiple-implementation testing of user-input validators for web applications. ASE Kunal Taneja, Nuo Li, Madhuri R. Marri, Tao Xie, Nikolai Tillmann
2010	—	`conf`	Moles: Tool-Assisted Environment Isolation with Closures. TOOLS (48) Jonathan de Halleux, Nikolai Tillmann
2010	—	`conf`	Parameterized unit testing: theory and practice. ICSE (2) Nikolai Tillmann, Jonathan de Halleux, Tao Xie
2010	—	`conf`	Qex: Symbolic SQL Query Explorer. LPAR (Dakar) Margus Veanes, Nikolai Tillmann, Jonathan de Halleux
2010	A	`conf`	Rex: Symbolic Regular Expression Explorer. ICST Margus Veanes, Peli de Halleux, Nikolai Tillmann
2010	B	`ed.`	Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings RV Howard Barringer, Yliès Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon J. Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann
2010	A	`conf`	SPUR: a trace-based JIT compiler for CIL. OOPSLA Michael Bebenita, Florian Brandner, Manuel Fähndrich, Francesco Logozzo, Wolfram Schulte, Nikolai Tillmann, Herman Venter
2010	—	`conf`	Teaching and training developer-testing techniques and tool support. SPLASH/OOPSLA Companion Tao Xie, Jonathan de Halleux, Nikolai Tillmann, Wolfram Schulte
2010	—	`conf`	Test generation via Dynamic Symbolic Execution for mutation testing. ICSM Lingming Zhang, Tao Xie, Lu Zhang, Nikolai Tillmann, Jonathan de Halleux, Hong Mei
2009	—	`conf`	An Empirical Study of Testing File-System-Dependent Software with Mock Objects. AST@ICSE Madhuri R. Marri, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte
2009	—	`conf`	Automated Testing of Environment-Dependent Programs - A Case Study of Modeling the File System for Pex. ITNG Soonho Kong, Nikolai Tillmann, Jonathan de Halleux
2009	—	`conf`	Exploiting the synergy between automated-test-generation and programming-by-contract. ICSE Companion Michael Barnett, Manuel Fähndrich, Peli de Halleux, Francesco Logozzo, Nikolai Tillmann
2009	A	`conf`	Fitness-guided path exploration in dynamic symbolic execution. DSN Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte
2009	—	`conf`	Guided path exploration for regression test generation. ICSE Companion Kunal Taneja, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte
2009	—	`conf`	MSeqGen: object-oriented unit-test generation via mining source code. ESEC/SIGSOFT FSE Suresh Thummalapenta, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte
2009	—	`conf`	Mutation Analysis of Parameterized Unit Tests. ICST Workshops Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte
2009	A	`conf`	Path Feasibility Analysis for String-Manipulating Programs. TACAS Nikolaj S. Bjørner, Nikolai Tillmann, Andrei Voronkov
2009	A*	`conf`	Reggae: Automated Test Generation for Programs Using Complex Regular Expressions. ASE Nuo Li, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte
2009	C	`conf`	Symbolic Query Exploration. ICFEM Margus Veanes, Pavel Grigorenko, Peli de Halleux, Nikolai Tillmann
2009	A	`conf`	Test Input Generation for Programs with Pointers. TACAS Dries Vanoverberghe, Nikolai Tillmann, Frank Piessens
2008	J	`jnl`	Automating Software Testing Using Program Analysis. IEEE Softw. Patrice Godefroid, Jonathan de Halleux, Aditya V. Nori, Sriram K. Rajamani, Wolfram Schulte, Nikolai Tillmann, Michael Y. Levin
2008	A	`conf`	Demand-Driven Compositional Symbolic Execution. TACAS Saswat Anand, Patrice Godefroid, Nikolai Tillmann
2008	A*	`conf`	DySy: dynamic symbolic execution for invariant inference. ICSE Christoph Csallner, Nikolai Tillmann, Yannis Smaragdakis
2008	—	`conf`	Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer. Formal Methods and Testing Margus Veanes, Colin Campbell, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Lev Nachmanson
2008	C	`conf`	Parameterized Unit Testing with Pex. TAP Jonathan de Halleux, Nikolai Tillmann
2008	C	`conf`	Pex-White Box Test Generation for .NET. TAP Nikolai Tillmann, Jonathan de Halleux
2008	—	`conf`	Using Dynamic Symbolic Execution to Improve Deductive Verification. SPIN Dries Vanoverberghe, Nikolaj S. Bjørner, Jonathan de Halleux, Wolfram Schulte, Nikolai Tillmann
2008	—	`conf`	White-box testing of behavioral web service contracts with Pex. TAV-WEB Nikolai Tillmann, Jonathan de Halleux
2007	—	`conf`	Achieving both model and code coverage with automated gray-box testing. A-MOST Nicolas Kicillof, Wolfgang Grieskamp, Nikolai Tillmann, Víctor A. Braberman
2007	—	`conf`	Parameterized Unit Testing with Pex: Tutorial. PSSE Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte
2006	J	`jnl`	Action Machines: a Framework for Encoding and Composing Partial Behaviors. Int. J. Softw. Eng. Knowl. Eng. Wolfgang Grieskamp, Nicolas Kicillof, Nikolai Tillmann
2006	C	`conf`	Discovering Likely Method Specifications. ICFEM Nikolai Tillmann, Feng Chen, Wolfram Schulte
2006	A*	`conf`	Mock-object generation with behavior. ASE Nikolai Tillmann, Wolfram Schulte
2006	J	`jnl`	Unit Tests Reloaded: Parameterized Unit Testing with Symbolic Execution. IEEE Softw. Nikolai Tillmann, Wolfram Schulte
2005	C	`conf`	A Model-to-Implementation Mapping Tool for Automated Model-Based GUI Testing. ICFEM Ana C. R. Paiva, João C. P. Faria, Nikolai Tillmann, Raul F. A. M. Vidal
2005	—	`conf`	Action Machines - Towards a Framework for Model Composition, Exploration and Conformance Testing Based on Symbolic Computation. QSIC Wolfgang Grieskamp, Nikolai Tillmann, Colin Campbell, Wolfram Schulte, Margus Veanes
2005	—	`conf`	Modeling and Testing Hierarchical GUIs. Abstract State Machines Ana C. R. Paiva, Nikolai Tillmann, João C. P. Faria, Raul F. A. M. Vidal
2005	—	`conf`	Online testing with model programs. ESEC/SIGSOFT FSE Margus Veanes, Colin Campbell, Wolfram Schulte, Nikolai Tillmann
2005	—	`conf`	Parameterized unit tests with unit meister. ESEC/SIGSOFT FSE Nikolai Tillmann, Wolfram Schulte
2005	—	`conf`	Parameterized unit tests. ESEC/SIGSOFT FSE Nikolai Tillmann, Wolfram Schulte
2005	J	`jnl`	Partial updates. Theor. Comput. Sci. Yuri Gurevich, Nikolai Tillmann
2005	B	`conf`	Testing Concurrent Object-Oriented Systems with Spec Explorer. FM Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
2005	—	`conf`	XRT- Exploring Runtime for .NET Architecture and Applications. SoftMC@CAV Wolfgang Grieskamp, Nikolai Tillmann, Wolfram Schulte
2004	J	`jnl`	Instrumenting scenarios in a model-driven development environment. Inf. Softw. Technol. Wolfgang Grieskamp, Nikolai Tillmann, Margus Veanes
2004	A	`conf`	Optimal strategies for testing nondeterministic systems. ISSTA Lev Nachmanson, Margus Veanes, Wolfram Schulte, Nikolai Tillmann, Wolfgang Grieskamp
2003	—	`conf`	Partial Updates Exploration II. Abstract State Machines Yuri Gurevich, Nikolai Tillmann
2003	—	`conf`	Test Case Generation from AsmL Specifications. Abstract State Machines Wolfgang Grieskamp, Lev Nachmanson, Nikolai Tillmann, Margus Veanes
2003	—	`conf`	Towards a Tool Environment for Model-Based Testing with AsmL. FATES Michael Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
2003	—	`conf`	Using AsmL for Runtime Verification. Abstract State Machines Michael Barnett, Wolfram Schulte, Nikolai Tillmann
2003	—	`conf`	Validating Use-Cases with the AsmL Test Tool. QSIC Michael Barnett, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Margus Veanes
2001	J	`jnl`	Partial Updates: Exploration. J. Univers. Comput. Sci. Yuri Gurevich, Nikolai Tillmann
2001	—	`conf`	Testable Use Cases in the Abstract State Machine Language. APAQS Wolfgang Grieskamp, Markus Lepper, Wolfram Schulte, Nikolai Tillmann