Nikolai Tillmann

Orcid: 0000-0002-9251-5954

According to our database1, Nikolai Tillmann authored at least 109 papers between 2001 and 2022.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Efficient profile-guided size optimization for native mobile applications.
Proceedings of the CC '22: 31st ACM SIGPLAN International Conference on Compiler Construction, Seoul, South Korea, April 2, 2022

2016
Advances in unit testing: theory and practice.
Proceedings of the 38th International Conference on Software Engineering, 2016

Measuring code behavioral similarity for programming and software engineering education.
Proceedings of the 38th International Conference on Software Engineering, 2016

2015
User-aware privacy control via extended static-information-flow analysis.
Autom. Softw. Eng., 2015

Experience with constructing code hunt contests.
Proceedings of the 1st International Workshop on Code Hunt on Educational Software Engineering, 2015

Crowdsourcing Code and Process via Code Hunt.
Proceedings of the 2nd IEEE/ACM International Workshop on CrowdSourcing in Software Engineering, 2015

Code Hunt: Experience with Coding Contests at Scale.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Beyond Open Source: The Touch Develop Cloud-Based Integrated Development Environment.
Proceedings of the 2nd ACM International Conference on Mobile Software Engineering and Systems, 2015

Gamifying software security education and training via secure coding duels in code hunt.
Proceedings of the 2015 Symposium and Bootcamp on the Science of Security, 2015

2014
2nd workshop on programming for mobile and touch: PROMOTO 2014.
Proceedings of the SPLASH'14, 2014

Code hunt: gamifying teaching and learning of computer science at scale.
Proceedings of the First (2014) ACM Conference on Learning @ Scale, 2014

Transferring an automated test generation tool to practice: from pex to fakes and code digger.
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Constructing coding duels in Pex4Fun and code hunt.
Proceedings of the International Symposium on Software Testing and Analysis, 2014

TouchDevelop: create rich mobile apps on touch devices (tutorial).
Proceedings of the 1st International Conference on Mobile Software Engineering and Systems, 2014

Code hunt: searching for secret code for fun.
Proceedings of the 7th International Workshop on Search-Based Software Testing, 2014

Exposing native device APIs to web apps.
Proceedings of the 1st International Conference on Mobile Software Engineering and Systems, 2014

Refactoring local to cloud data types for mobile apps.
Proceedings of the 1st International Conference on Mobile Software Engineering and Systems, 2014

Addressing JavaScript JIT Engines Performance Quirks: A Crowdsourced Adaptive Compiler.
Proceedings of the Compiler Construction - 23rd International Conference, 2014

2013
PRoMoTo 2013 proceedings.
CoRR, 2013

A comprehensive field study of end-user programming on mobile devices.
Proceedings of the 2013 IEEE Symposium on Visual Languages and Human Centric Computing, 2013

Generating Test Suites with Augmented Dynamic Symbolic Execution.
Proceedings of the Tests and Proofs - 7th International Conference, 2013

It's alive! continuous feedback in UI programming.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

Characteristic studies of loop problems for structural test generation via symbolic execution.
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Pex4Fun: A web-based environment for educational gaming via automated test generation.
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Educational software engineering: where software engineering, education, and gaming meet.
Proceedings of the 3rd International Workshop on Games and Software Engineering: Engineering Computer Games to Enable Positive, 2013

Teaching and learning programming and software engineering via interactive gaming.
Proceedings of the 35th International Conference on Software Engineering, 2013

GROPG: a graphical on-phone debugger.
Proceedings of the 35th International Conference on Software Engineering, 2013

TouchDevelop - Programming on the Go (3. ed.).
The expert's voice in mobile technologies, Apress, ISBN: 978-1-4302-6136-0, 2013

2012
Environmental Modeling for Automated Cloud Application Testing.
IEEE Softw., 2012

State Coverage: Software Validation Metrics beyond Code Coverage.
Proceedings of the SOFSEM 2012: Theory and Practice of Computer Science, 2012

TouchDevelop: app development on mobile devices.
Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), 2012

Engage your students by teaching programming using only mobile devices with TouchDevelop (abstract only).
Proceedings of the 43rd ACM technical symposium on Computer science education, 2012

Teaching and learning computing via social gaming with Pex4Fun (abstract only).
Proceedings of the 43rd ACM technical symposium on Computer science education, 2012

User-aware privacy control via extended static-information-flow analysis.
Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

Augmented dynamic symbolic execution.
Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

The future of teaching programming is on mobile devices.
Proceedings of the Annual Conference on Innovation and Technology in Computer Science Education, 2012

Teaching programming on a mobile device.
Proceedings of the Annual Conference on Innovation and Technology in Computer Science Education, 2012

Educating for mobile computing: addressing the new challenges.
Proceedings of the final reports on Innovation and technology in computer science education 2012 working groups, 2012

An experiment in developing small mobile phone applications comparing on-phone to off-phone development.
Proceedings of the First International Workshop on User Evaluation for Software Engineering Researchers, 2012

Engage Your Students by Teaching Computer Science Using Only Mobile Devices with TouchDevelop.
Proceedings of the 25th IEEE Conference on Software Engineering Education and Training, 2012

Pex4Fun: Teaching and Learning Computer Science via Social Gaming.
Proceedings of the 25th IEEE Conference on Software Engineering Education and Training, 2012

2011
Browser-based software for technology transfer.
Proceedings of the 2011 Annual Conference of the South African Institute of Computer Scientists and Information Technologists, 2011

TouchDevelop: programming cloud-connected mobile devices via touchscreen.
Proceedings of the ACM Symposium on New Ideas in Programming and Reflections on Software, 2011

Synthesizing method sequences for high-coverage testing.
Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Double Inspection for Run-Time Loop Parallelization.
Proceedings of the Languages and Compilers for Parallel Computing, 2011

eXpress: guided path exploration for efficient regression test generation.
Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

Covana: precise identification of problems in pex.
Proceedings of the 33rd International Conference on Software Engineering, 2011

Precise identification of problems for structural test generation.
Proceedings of the 33rd International Conference on Software Engineering, 2011

DyTa: dynamic symbolic execution guided with static verification results.
Proceedings of the 33rd International Conference on Software Engineering, 2011

Symbolic execution for software testing in practice: preliminary assessment.
Proceedings of the 33rd International Conference on Software Engineering, 2011

Retrofitting Unit Tests for Parameterized Unit Testing.
Proceedings of the Fundamental Approaches to Software Engineering, 2011

Pex4Fun: Teaching and learning computer science via social gaming.
Proceedings of the 24th IEEE-CS Conference on Software Engineering Education and Training, 2011

2010
Moles: Tool-Assisted Environment Isolation with Closures.
Proceedings of the Objects, Models, Components, Patterns, 48th International Conference, 2010

DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic Traces.
Proceedings of the Tests and Proofs - 4th International Conference, 2010

Future of developer testing: building quality in code.
Proceedings of the Workshop on Future of Software Engineering Research, 2010

FITE: future integrated testing environment.
Proceedings of the Workshop on Future of Software Engineering Research, 2010

FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution.
Proceedings of the Testing Software and Systems, 2010

Teaching and training developer-testing techniques and tool support.
Proceedings of the Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

SPUR: a trace-based JIT compiler for CIL.
Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Qex: Symbolic SQL Query Explorer.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

MiTV: multiple-implementation testing of user-input validators for web applications.
Proceedings of the ASE 2010, 2010

Rex: Symbolic Regular Expression Explorer.
Proceedings of the Third International Conference on Software Testing, 2010

Test generation via Dynamic Symbolic Execution for mutation testing.
Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), 2010

Guided test generation for coverage criteria.
Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), 2010

Parameterized unit testing: theory and practice.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Automatic parallelization of programming languages: past, present and future.
Proceedings of the 3rd International Workshop on Multicore Software Engineering, 2010

2009
Test Input Generation for Programs with Pointers.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

Path Feasibility Analysis for String-Manipulating Programs.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

MSeqGen: object-oriented unit-test generation via mining source code.
Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

Reggae: Automated Test Generation for Programs Using Complex Regular Expressions.
Proceedings of the ASE 2009, 2009

Automated Testing of Environment-Dependent Programs - A Case Study of Modeling the File System for Pex.
Proceedings of the Sixth International Conference on Information Technology: New Generations, 2009

Mutation Analysis of Parameterized Unit Tests.
Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

Guided path exploration for regression test generation.
Proceedings of the 31st International Conference on Software Engineering, 2009

An Empirical Study of Testing File-System-Dependent Software with Mock Objects.
Proceedings of the 4th International Workshop on Automation of Software Test, 2009

Exploiting the synergy between automated-test-generation and programming-by-contract.
Proceedings of the 31st International Conference on Software Engineering, 2009

Symbolic Query Exploration.
Proceedings of the Formal Methods and Software Engineering, 2009

Fitness-guided path exploration in dynamic symbolic execution.
Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009

2008
Automating Software Testing Using Program Analysis.
IEEE Softw., 2008

Pex-White Box Test Generation for .NET.
Proceedings of the Tests and Proofs - 2nd International Conference, 2008

Parameterized Unit Testing with Pex.
Proceedings of the Tests and Proofs - 2nd International Conference, 2008

Demand-Driven Compositional Symbolic Execution.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

Using Dynamic Symbolic Execution to Improve Deductive Verification.
Proceedings of the Model Checking Software, 2008

White-box testing of behavioral web service contracts with Pex.
Proceedings of the 2008 Workshop on Testing, 2008

DySy: dynamic symbolic execution for invariant inference.
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer.
Proceedings of the Formal Methods and Testing, 2008

2007
Parameterized Unit Testing with Pex: Tutorial.
Proceedings of the Testing Techniques in Software Engineering, 2007

Achieving both model and code coverage with automated gray-box testing.
Proceedings of the 3rd Workshop on Advances in Model Based Testing, 2007

2006
Unit Tests Reloaded: Parameterized Unit Testing with Symbolic Execution.
IEEE Softw., 2006

Action Machines: a Framework for Encoding and Composing Partial Behaviors.
Int. J. Softw. Eng. Knowl. Eng., 2006

Mock-object generation with behavior.
Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006

Discovering Likely Method Specifications.
Proceedings of the Formal Methods and Software Engineering, 2006

2005
Partial updates.
Theor. Comput. Sci., 2005

XRT- Exploring Runtime for .NET Architecture and Applications.
Proceedings of the 3rd Workshop on Software Model Checking, 2005

Online testing with model programs.
Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005

Parameterized unit tests.
Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005

Parameterized unit tests with unit meister.
Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005

Action Machines - Towards a Framework for Model Composition, Exploration and Conformance Testing Based on Symbolic Computation.
Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005

A Model-to-Implementation Mapping Tool for Automated Model-Based GUI Testing.
Proceedings of the Formal Methods and Software Engineering, 2005

Testing Concurrent Object-Oriented Systems with Spec Explorer.
Proceedings of the FM 2005: Formal Methods, 2005

Modeling and Testing Hierarchical GUIs.
Proceedings of the 12th International Workshop on Abstract State Machines, 2005

2004
Instrumenting scenarios in a model-driven development environment.
Inf. Softw. Technol., 2004

Optimal strategies for testing nondeterministic systems.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2004

2003
Validating Use-Cases with the AsmL Test Tool.
Proceedings of the 3rd International Conference on Quality Software (QSIC 2003), 2003

Towards a Tool Environment for Model-Based Testing with AsmL.
Proceedings of the Formal Approaches to Software Testing, 2003

Partial Updates Exploration II.
Proceedings of the Abstract State Machines, 2003

Test Case Generation from AsmL Specifications.
Proceedings of the Abstract State Machines, 2003

Using AsmL for Runtime Verification.
Proceedings of the Abstract State Machines, 2003

2001
Partial Updates: Exploration.
J. Univers. Comput. Sci., 2001

Testable Use Cases in the Abstract State Machine Language.
Proceedings of the 2nd Asia-Pacific Conference on Quality Software (APAQS 2001), 2001


  Loading...