Nikolai Tillmann

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

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2022

Efficient profile-guided size optimization for native mobile applications.

Kyungwoo Lee, Ellis Hoag, Nikolai Tillmann

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.

Tao Xie, Nikolai Tillmann, Pratap Lakshman

Proceedings of the 38th International Conference on Software Engineering, 2016

Measuring code behavioral similarity for programming and software engineering education.

Sihan Li, Xusheng Xiao, Blake Bassett, Tao Xie, Nikolai Tillmann

Proceedings of the 38th International Conference on Software Engineering, 2016

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

Autom. Softw. Eng., 2015

Experience with constructing code hunt contests.

R. Nigel Horspool, Judith Bishop, Jonathan de Halleux, Nikolai Tillmann

Proceedings of the 1st International Workshop on Code Hunt on Educational Software Engineering, 2015

Crowdsourcing Code and Process via Code Hunt.

Tao Xie, Judith Bishop, R. Nigel Horspool, Nikolai Tillmann, Jonathan de Halleux

Proceedings of the 2nd IEEE/ACM International Workshop on CrowdSourcing in Software Engineering, 2015

Code Hunt: Experience with Coding Contests at Scale.

Judith Bishop, R. Nigel Horspool, Tao Xie, Nikolai Tillmann, Jonathan de Halleux

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Beyond Open Source: The Touch Develop Cloud-Based Integrated Development Environment.

Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Michal Moskal, Jonathan Protzenko, Nikolai Tillmann

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.

Tao Xie, Judith Bishop, Nikolai Tillmann, Jonathan de Halleux

Proceedings of the 2015 Symposium and Bootcamp on the Science of Security, 2015

2014

2nd workshop on programming for mobile and touch: PROMOTO 2014.

Judith Bishop, Arno Puder, Nikolai Tillmann

Proceedings of the SPLASH'14, 2014

Code hunt: gamifying teaching and learning of computer science at scale.

Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Judith Bishop

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.

Nikolai Tillmann, Jonathan de Halleux, Tao Xie

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Constructing coding duels in Pex4Fun and code hunt.

Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Judith Bishop

Proceedings of the International Symposium on Software Testing and Analysis, 2014

TouchDevelop: create rich mobile apps on touch devices (tutorial).

Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Sebastian Burckhardt, Thomas Ball, Judith Bishop

Proceedings of the 1st International Conference on Mobile Software Engineering and Systems, 2014

Code hunt: searching for secret code for fun.

Nikolai Tillmann, Judith Bishop, R. Nigel Horspool, Daniel Perelman, Tao Xie

Proceedings of the 7th International Workshop on Search-Based Software Testing, 2014

Exposing native device APIs to web apps.

Arno Puder, Nikolai Tillmann, Michal Moskal

Proceedings of the 1st International Conference on Mobile Software Engineering and Systems, 2014

Refactoring local to cloud data types for mobile apps.

Michael Hilton, Arpit Christi, Danny Dig, Michal Moskal, Sebastian Burckhardt, Nikolai Tillmann

Proceedings of the 1st International Conference on Mobile Software Engineering and Systems, 2014

Addressing JavaScript JIT Engines Performance Quirks: A Crowdsourced Adaptive Compiler.

Rafael Auler, Edson Borin, Peli de Halleux, Michal Moskal, Nikolai Tillmann

Proceedings of the Compiler Construction - 23rd International Conference, 2014

2013

PRoMoTo 2013 proceedings.

Judith Bishop, Nikolai Tillmann, Arno Puder, Vinayak Naik

CoRR, 2013

A comprehensive field study of end-user programming on mobile devices.

Sihan Li, Tao Xie, Nikolai Tillmann

Proceedings of the 2013 IEEE Symposium on Visual Languages and Human Centric Computing, 2013

Generating Test Suites with Augmented Dynamic Symbolic Execution.

Konrad Jamrozik, Gordon Fraser, Nikolai Tillmann, Jonathan de Halleux

Proceedings of the Tests and Proofs - 7th International Conference, 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

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.

Xusheng Xiao, Sihan Li, Tao Xie, Nikolai Tillmann

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.

Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Judith Bishop

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Educational software engineering: where software engineering, education, and gaming meet.

Tao Xie, Nikolai Tillmann, Jonathan de Halleux

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.

Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Sumit Gulwani, Judith Bishop

Proceedings of the 35th International Conference on Software Engineering, 2013

GROPG: a graphical on-phone debugger.

Tuan Anh Nguyen, Christoph Csallner, Nikolai Tillmann

Proceedings of the 35th International Conference on Software Engineering, 2013

TouchDevelop - Programming on the Go (3. ed.).

R. Nigel Horspool, Nikolai Tillmann

The expert's voice in mobile technologies, Apress, ISBN: 978-1-4302-6136-0, 2013

2012

Environmental Modeling for Automated Cloud Application Testing.

Linghao Zhang, Xiaoxing Ma, Jian Lu, Tao Xie, Nikolai Tillmann, Peli de Halleux

IEEE Softw., 2012

State Coverage: Software Validation Metrics beyond Code Coverage.

Dries Vanoverberghe, Jonathan de Halleux, Nikolai Tillmann, Frank Piessens

Proceedings of the SOFSEM 2012: Theory and Practice of Computer Science, 2012

TouchDevelop: app development on mobile devices.

Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich, Sebastian Burckhardt

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).

Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich, Tao Xie

Proceedings of the 43rd ACM technical symposium on Computer science education, 2012

Teaching and learning computing via social gaming with Pex4Fun (abstract only).

Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Judith Bishop

Proceedings of the 43rd ACM technical symposium on Computer science education, 2012

User-aware privacy control via extended static-information-flow analysis.

Xusheng Xiao, Nikolai Tillmann, Manuel Fähndrich, Jonathan de Halleux, Michal Moskal

Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

Augmented dynamic symbolic execution.

Konrad Jamrozik, Gordon Fraser, Nikolai Tillmann, Jonathan de Halleux

Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 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

Proceedings of the Annual Conference on Innovation and Technology in Computer Science Education, 2012

Teaching programming on a mobile device.

Nikolai Tillmann, Judith Bishop

Proceedings of the Annual Conference on Innovation and Technology in Computer Science Education, 2012

Educating for mobile computing: addressing the new challenges.

Barry Burd, João Paulo Barros, Chris Johnson, Stan Kurkovsky, Arnold Rosenbloom, Nikolai Tillmann

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.

Tuan Anh Nguyen, Sarker T. A. Rumee, Christoph Csallner, Nikolai Tillmann

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.

Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich, Tao Xie

Proceedings of the 25th IEEE Conference on Software Engineering Education and Training, 2012

Pex4Fun: Teaching and Learning Computer Science via Social Gaming.

Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Judith Bishop

Proceedings of the 25th IEEE Conference on Software Engineering Education and Training, 2012

2011

Browser-based software for technology transfer.

Judith Bishop, Jonathan de Halleux, Nikolai Tillmann, R. Nigel Horspool, Don Syme, Tao Xie

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.

Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich

Proceedings of the ACM Symposium on New Ideas in Programming and Reflections on Software, 2011

Synthesizing method sequences for high-coverage testing.

Suresh Thummalapenta, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Zhendong Su

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Double Inspection for Run-Time Loop Parallelization.

Michael Philippsen, Nikolai Tillmann, Daniel Brinkers

Proceedings of the Languages and Compilers for Parallel Computing, 2011

eXpress: guided path exploration for efficient regression test generation.

Kunal Taneja, Tao Xie, Nikolai Tillmann, Jonathan de Halleux

Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

Covana: precise identification of problems in pex.

Xusheng Xiao, Tao Xie, Nikolai Tillmann, Jonathan de Halleux

Proceedings of the 33rd International Conference on Software Engineering, 2011

Precise identification of problems for structural test generation.

Xusheng Xiao, Tao Xie, Nikolai Tillmann, Jonathan de Halleux

Proceedings of the 33rd International Conference on Software Engineering, 2011

DyTa: dynamic symbolic execution guided with static verification results.

Xi Ge, Kunal Taneja, Tao Xie, Nikolai Tillmann

Proceedings of the 33rd International Conference on Software Engineering, 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

Proceedings of the 33rd International Conference on Software Engineering, 2011

Retrofitting Unit Tests for Parameterized Unit Testing.

Suresh Thummalapenta, Madhuri R. Marri, Tao Xie, Nikolai Tillmann, Jonathan de Halleux

Proceedings of the Fundamental Approaches to Software Engineering, 2011

Pex4Fun: Teaching and learning computer science via social gaming.

Nikolai Tillmann, Jonathan de Halleux, Tao Xie

Proceedings of the 24th IEEE-CS Conference on Software Engineering Education and Training, 2011

2010

Moles: Tool-Assisted Environment Isolation with Closures.

Jonathan de Halleux, Nikolai Tillmann

Proceedings of the Objects, Models, Components, Patterns, 48th International Conference, 2010

DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic Traces.

Suresh Thummalapenta, Jonathan de Halleux, Nikolai Tillmann, Scott Wadsworth

Proceedings of the Tests and Proofs - 4th International Conference, 2010

Future of developer testing: building quality in code.

Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte

Proceedings of the Workshop on Future of Software Engineering Research, 2010

FITE: future integrated testing environment.

Michael W. Whalen, Patrice Godefroid, Leonardo Mariani, Andrea Polini, Nikolai Tillmann, Willem Visser

Proceedings of the Workshop on Future of Software Engineering Research, 2010

FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution.

Kiran Lakhotia, Nikolai Tillmann, Mark Harman, Jonathan de Halleux

Proceedings of the Testing Software and Systems, 2010

Teaching and training developer-testing techniques and tool support.

Tao Xie, Jonathan de Halleux, Nikolai Tillmann, Wolfram Schulte

Proceedings of the Companion to the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

SPUR: a trace-based JIT compiler for CIL.

Michael Bebenita, Florian Brandner, Manuel Fähndrich, Francesco Logozzo, Wolfram Schulte, Nikolai Tillmann, Herman Venter

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Qex: Symbolic SQL Query Explorer.

Margus Veanes, Nikolai Tillmann, Jonathan de Halleux

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

MiTV: multiple-implementation testing of user-input validators for web applications.

Kunal Taneja, Nuo Li, Madhuri R. Marri, Tao Xie, Nikolai Tillmann

Proceedings of the ASE 2010, 2010

Rex: Symbolic Regular Expression Explorer.

Margus Veanes, Peli de Halleux, Nikolai Tillmann

Proceedings of the Third International Conference on Software Testing, 2010

Test generation via Dynamic Symbolic Execution for mutation testing.

Lingming Zhang, Tao Xie, Lu Zhang, Nikolai Tillmann, Jonathan de Halleux, Hong Mei

Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), 2010

Guided test generation for coverage criteria.

Rahul Pandita, Tao Xie, Nikolai Tillmann, Jonathan de Halleux

Proceedings of the 26th IEEE International Conference on Software Maintenance (ICSM 2010), 2010

Parameterized unit testing: theory and practice.

Nikolai Tillmann, Jonathan de Halleux, Tao Xie

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Automatic parallelization of programming languages: past, present and future.

Wolfram Schulte, Nikolai Tillmann

Proceedings of the 3rd International Workshop on Multicore Software Engineering, 2010

2009

Test Input Generation for Programs with Pointers.

Dries Vanoverberghe, Nikolai Tillmann, Frank Piessens

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

Path Feasibility Analysis for String-Manipulating Programs.

Nikolaj S. Bjørner, Nikolai Tillmann, Andrei Voronkov

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

MSeqGen: object-oriented unit-test generation via mining source code.

Suresh Thummalapenta, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte

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.

Nuo Li, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte

Proceedings of the ASE 2009, 2009

Automated Testing of Environment-Dependent Programs - A Case Study of Modeling the File System for Pex.

Soonho Kong, Nikolai Tillmann, Jonathan de Halleux

Proceedings of the Sixth International Conference on Information Technology: New Generations, 2009

Mutation Analysis of Parameterized Unit Tests.

Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

Guided path exploration for regression test generation.

Kunal Taneja, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte

Proceedings of the 31st International Conference on Software Engineering, 2009

An Empirical Study of Testing File-System-Dependent Software with Mock Objects.

Madhuri R. Marri, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte

Proceedings of the 4th International Workshop on Automation of Software Test, 2009

Exploiting the synergy between automated-test-generation and programming-by-contract.

Michael Barnett, Manuel Fähndrich, Peli de Halleux, Francesco Logozzo, Nikolai Tillmann

Proceedings of the 31st International Conference on Software Engineering, 2009

Symbolic Query Exploration.

Margus Veanes, Pavel Grigorenko, Peli de Halleux, Nikolai Tillmann

Proceedings of the Formal Methods and Software Engineering, 2009

Fitness-guided path exploration in dynamic symbolic execution.

Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte

Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009

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

Pex-White Box Test Generation for .NET.

Nikolai Tillmann, Jonathan de Halleux

Proceedings of the Tests and Proofs - 2nd International Conference, 2008

Parameterized Unit Testing with Pex.

Jonathan de Halleux, Nikolai Tillmann

Proceedings of the Tests and Proofs - 2nd International Conference, 2008

Demand-Driven Compositional Symbolic Execution.

Saswat Anand, Patrice Godefroid, Nikolai Tillmann

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

Using Dynamic Symbolic Execution to Improve Deductive Verification.

Dries Vanoverberghe, Nikolaj S. Bjørner, Jonathan de Halleux, Wolfram Schulte, Nikolai Tillmann

Proceedings of the Model Checking Software, 2008

White-box testing of behavioral web service contracts with Pex.

Nikolai Tillmann, Jonathan de Halleux

Proceedings of the 2008 Workshop on Testing, 2008

DySy: dynamic symbolic execution for invariant inference.

Christoph Csallner, Nikolai Tillmann, Yannis Smaragdakis

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer.

Margus Veanes, Colin Campbell, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Lev Nachmanson

Proceedings of the Formal Methods and Testing, 2008

2007

Parameterized Unit Testing with Pex: Tutorial.

Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte

Proceedings of the Testing Techniques in Software Engineering, 2007

Achieving both model and code coverage with automated gray-box testing.

Nicolas Kicillof, Wolfgang Grieskamp, Nikolai Tillmann, Víctor A. Braberman

Proceedings of the 3rd Workshop on Advances in Model Based Testing, 2007

2006

Unit Tests Reloaded: Parameterized Unit Testing with Symbolic Execution.

Nikolai Tillmann, Wolfram Schulte

IEEE Softw., 2006

Action Machines: a Framework for Encoding and Composing Partial Behaviors.

Wolfgang Grieskamp, Nicolas Kicillof, Nikolai Tillmann

Int. J. Softw. Eng. Knowl. Eng., 2006

Mock-object generation with behavior.

Nikolai Tillmann, Wolfram Schulte

Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006

Discovering Likely Method Specifications.

Nikolai Tillmann, Feng Chen, Wolfram Schulte

Proceedings of the Formal Methods and Software Engineering, 2006

2005

Partial updates.

Yuri Gurevich, Nikolai Tillmann

Theor. Comput. Sci., 2005

XRT- Exploring Runtime for .NET Architecture and Applications.

Wolfgang Grieskamp, Nikolai Tillmann, Wolfram Schulte

Proceedings of the 3rd Workshop on Software Model Checking, 2005

Online testing with model programs.

Margus Veanes, Colin Campbell, Wolfram Schulte, Nikolai Tillmann

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.

Nikolai Tillmann, Wolfram Schulte

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.

Nikolai Tillmann, Wolfram Schulte

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.

Wolfgang Grieskamp, Nikolai Tillmann, Colin Campbell, Wolfram Schulte, Margus Veanes

Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 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

Proceedings of the Formal Methods and Software Engineering, 2005

Testing Concurrent Object-Oriented Systems with Spec Explorer.

Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes

Proceedings of the FM 2005: Formal Methods, 2005

Modeling and Testing Hierarchical GUIs.

Ana C. R. Paiva, Nikolai Tillmann, João C. P. Faria, Raul F. A. M. Vidal

Proceedings of the 12th International Workshop on Abstract State Machines, 2005

2004

Instrumenting scenarios in a model-driven development environment.

Wolfgang Grieskamp, Nikolai Tillmann, Margus Veanes

Inf. Softw. Technol., 2004

Optimal strategies for testing nondeterministic systems.

Lev Nachmanson, Margus Veanes, Wolfram Schulte, Nikolai Tillmann, Wolfgang Grieskamp

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2004

2003

Validating Use-Cases with the AsmL Test Tool.

Michael Barnett, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Margus Veanes

Proceedings of the 3rd International Conference on Quality Software (QSIC 2003), 2003

Towards a Tool Environment for Model-Based Testing with AsmL.

Michael Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes

Proceedings of the Formal Approaches to Software Testing, 2003

Partial Updates Exploration II.

Yuri Gurevich, Nikolai Tillmann

Proceedings of the Abstract State Machines, 2003

Test Case Generation from AsmL Specifications.

Wolfgang Grieskamp, Lev Nachmanson, Nikolai Tillmann, Margus Veanes

Proceedings of the Abstract State Machines, 2003

Using AsmL for Runtime Verification.

Michael Barnett, Wolfram Schulte, Nikolai Tillmann

Proceedings of the Abstract State Machines, 2003

2001

Partial Updates: Exploration.

Yuri Gurevich, Nikolai Tillmann

J. Univers. Comput. Sci., 2001

Testable Use Cases in the Abstract State Machine Language.

Wolfgang Grieskamp, Markus Lepper, Wolfram Schulte, Nikolai Tillmann

Proceedings of the 2nd Asia-Pacific Conference on Quality Software (APAQS 2001), 2001