Search results for "Nikolai Tillmann"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Linghao Zhang, Xiaoxing Ma, Jian Lu, Tao Xie, Nikolai Tillmann, Peli de Halleux	Environmental Modeling for Automated Cloud Application Testing.	IEEE Software	2012	DBLP DOI BibTeX RDF
1	Dries Vanoverberghe, Jonathan de Halleux, Nikolai Tillmann, Frank Piessens	State Coverage: Software Validation Metrics beyond Code Coverage.	SOFSEM	2012	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Judith Bishop	Teaching and learning computing via social gaming with Pex4Fun (abstract only).	SIGCSE	2012	DBLP DOI BibTeX RDF
1	Judith Bishop, Jonathan de Halleux, Nikolai Tillmann, R. Nigel Horspool, Don Syme, Tao Xie	Browser-based software for technology transfer.	SAICSIT Conf.	2011	DBLP DOI BibTeX RDF
1	Kunal Taneja, Tao Xie, Nikolai Tillmann, Jonathan de Halleux	eXpress: guided path exploration for efficient regression test generation.	ISSTA	2011	DBLP DOI BibTeX RDF
1	Suresh Thummalapenta, Madhuri R. Marri, Tao Xie, Nikolai Tillmann, Jonathan de Halleux	Retrofitting Unit Tests for Parameterized Unit Testing.	FASE	2011	DBLP DOI BibTeX RDF
1	Suresh Thummalapenta, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Zhendong Su	Synthesizing method sequences for high-coverage testing.	OOPSLA	2011	DBLP DOI BibTeX RDF
1	Nikolai Tillmann, Jonathan de Halleux, Tao Xie	Pex4Fun: Teaching and learning computer science via social gaming.	CSEE&T	2011	DBLP DOI BibTeX RDF
1	Xusheng Xiao, Tao Xie, Nikolai Tillmann, Jonathan de Halleux	Precise identification of problems for structural test generation.	ICSE	2011	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Xusheng Xiao, Tao Xie, Nikolai Tillmann, Jonathan de Halleux	Covana: precise identification of problems in pex.	ICSE	2011	DBLP DOI BibTeX RDF
1	Xi Ge, Kunal Taneja, Tao Xie, Nikolai Tillmann	DyTa: dynamic symbolic execution guided with static verification results.	ICSE	2011	DBLP DOI BibTeX RDF
1	Margus Veanes, Peli de Halleux, Nikolai Tillmann	Rex: Symbolic Regular Expression Explorer.	ICST	2010	DBLP DOI BibTeX RDF	regular expressions, finite automata, strings, satisfiability modulo theories
1	Howard Barringer, Yliès Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon J. Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann (eds.)	Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings	RV	2010	DBLP DOI BibTeX RDF
1	Jonathan de Halleux, Nikolai Tillmann	Moles: Tool-Assisted Environment Isolation with Closures.	TOOLS	2010	DBLP DOI BibTeX RDF
1	Kunal Taneja, Nuo Li, Madhuri R. Marri, Tao Xie, Nikolai Tillmann	MiTV: multiple-implementation testing of user-input validators for web applications.	ASE	2010	DBLP DOI BibTeX RDF
1	Margus Veanes, Nikolai Tillmann, Jonathan de Halleux	Qex: Symbolic SQL Query Explorer.	LPAR (Dakar)	2010	DBLP DOI BibTeX RDF
1	Suresh Thummalapenta, Jonathan de Halleux, Nikolai Tillmann, Scott Wadsworth	DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic Traces.	TAP	2010	DBLP DOI BibTeX RDF
1	Kiran Lakhotia, Nikolai Tillmann, Mark Harman, Jonathan de Halleux	FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution.	ICTSS	2010	DBLP DOI BibTeX RDF
1	Rahul Pandita, Tao Xie, Nikolai Tillmann, Jonathan de Halleux	Guided test generation for coverage criteria.	ICSM	2010	DBLP DOI BibTeX RDF
1	Lingming Zhang, Tao Xie, Lu Zhang 0023, Nikolai Tillmann, Jonathan de Halleux, Hong Mei	Test generation via Dynamic Symbolic Execution for mutation testing.	ICSM	2010	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Tao Xie, Jonathan de Halleux, Nikolai Tillmann, Wolfram Schulte	Teaching and training developer-testing techniques and tool support.	SPLASH/OOPSLA Companion	2010	DBLP DOI BibTeX RDF
1	Nikolai Tillmann, Jonathan de Halleux, Tao Xie	Parameterized unit testing: theory and practice.	ICSE	2010	DBLP DOI BibTeX RDF	Pex, parameterized unit testing, testing, theories, unit testing, symbolic execution, mock objects
1	Michael W. Whalen, Patrice Godefroid, Leonardo Mariani, Andrea Polini, Nikolai Tillmann, Willem Visser	FITE: future integrated testing environment.	FoSER	2010	DBLP DOI BibTeX RDF
1	Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte	Future of developer testing: building quality in code.	FoSER	2010	DBLP DOI BibTeX RDF
1	Margus Veanes, Pavel Grigorenko, Peli de Halleux, Nikolai Tillmann	Symbolic Query Exploration.	ICFEM	2009	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF	Test Generation, Unit Testing, Automated Testing, Environment Modeling, Dynamic Symbolic Execution
1	Nikolaj Bjørner, Nikolai Tillmann, Andrei Voronkov	Path Feasibility Analysis for String-Manipulating Programs.	TACAS	2009	DBLP DOI BibTeX RDF
1	Dries Vanoverberghe, Nikolai Tillmann, Frank Piessens	Test Input Generation for Programs with Pointers.	TACAS	2009	DBLP DOI BibTeX RDF	symbolic execution, pointers, Test input generation
1	Nuo Li, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte	Reggae: Automated Test Generation for Programs Using Complex Regular Expressions.	ASE	2009	DBLP DOI BibTeX RDF	string generation, test generation, dynamic symbolic execution
1	Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte	Fitness-guided path exploration in dynamic symbolic execution.	DSN	2009	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Kunal Taneja, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte	Guided path exploration for regression test generation.	ICSE Companion	2009	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF	sequence mining, object-oriented testing
1	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 Software	2008	DBLP DOI BibTeX RDF
1	Saswat Anand, Patrice Godefroid, Nikolai Tillmann	Demand-Driven Compositional Symbolic Execution.	TACAS	2008	DBLP DOI BibTeX RDF
1	Nikolai Tillmann, Jonathan de Halleux	White-box testing of behavioral web service contracts with Pex.	TAV-WEB	2008	DBLP DOI BibTeX RDF	web service, testing, unit testing, symbolic execution
1	Jonathan de Halleux, Nikolai Tillmann	Parameterized Unit Testing with Pex.	TAP	2008	DBLP DOI BibTeX RDF
1	Nikolai Tillmann, Jonathan de Halleux	Pex-White Box Test Generation for .NET.	TAP	2008	DBLP DOI BibTeX RDF
1	Dries Vanoverberghe, Nikolaj Bjørner, Jonathan de Halleux, Wolfram Schulte, Nikolai Tillmann	Using Dynamic Symbolic Execution to Improve Deductive Verification.	SPIN	2008	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Christoph Csallner, Nikolai Tillmann, Yannis Smaragdakis	DySy: dynamic symbolic execution for invariant inference.	ICSE	2008	DBLP DOI BibTeX RDF	daikon, dynamic invariant inference, dysy, pex, symbolic reasoning
1	Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte	Parameterized Unit Testing with Pex: Tutorial.	PSSE	2007	DBLP DOI BibTeX RDF
1	Nicolas Kicillof, Wolfgang Grieskamp, Nikolai Tillmann, Víctor A. Braberman	Achieving both model and code coverage with automated gray-box testing.	A-MOST	2007	DBLP DOI BibTeX RDF	parameterized unit testing, model-based testing, symbolic execution, test-case generation, concolic execution
1	Nikolai Tillmann, Wolfram Schulte	Unit Tests Reloaded: Parameterized Unit Testing with Symbolic Execution.	IEEE Software	2006	DBLP DOI BibTeX RDF	test coverage of code, formal methods, validation, symbolic execution, testing tools, test design
1	Wolfgang Grieskamp, Nicolas Kicillof, Nikolai Tillmann	Action Machines: a Framework for Encoding and Composing Partial Behaviors.	International Journal of Software Engineering and Knowledge Engineering	2006	DBLP DOI BibTeX RDF
1	Wolfgang Grieskamp, Nikolai Tillmann, Wolfram Schulte	XRT- Exploring Runtime for .NET Architecture and Applications.	Electr. Notes Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
1	Nikolai Tillmann, Feng Chen, Wolfram Schulte	Discovering Likely Method Specifications.	ICFEM	2006	DBLP DOI BibTeX RDF
1	Nikolai Tillmann, Wolfram Schulte	Mock-object generation with behavior.	ASE	2006	DBLP DOI BibTeX RDF
1	Yuri Gurevich, Nikolai Tillmann	Partial updates.	Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes	Testing Concurrent Object-Oriented Systems with Spec Explorer.	FM	2005	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Margus Veanes, Colin Campbell, Wolfram Schulte, Nikolai Tillmann	Online testing with model programs.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	conformance testing, runtime verification, interface automata
1	Nikolai Tillmann, Wolfram Schulte	Parameterized unit tests with unit meister.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	automatic test input generation, unit testing, symbolic execution, constraint solving, algebraic data types
1	Nikolai Tillmann, Wolfram Schulte	Parameterized unit tests.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	automatic test input generation, unit testing, symbolic execution, constraint solving, algebraic data types
1	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	DBLP BibTeX RDF
1	Wolfgang Grieskamp, Nikolai Tillmann, Margus Veanes	Instrumenting scenarios in a model-driven development environment.	Information & Software Technology	2004	DBLP DOI BibTeX RDF
1	Lev Nachmanson, Margus Veanes, Wolfram Schulte, Nikolai Tillmann, Wolfgang Grieskamp	Optimal strategies for testing nondeterministic systems.	ISSTA	2004	DBLP DOI BibTeX RDF	optimal game strategies, probabilistic nondeterministic finite state machines, abstract state machines
1	Michael Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes	Towards a Tool Environment for Model-Based Testing with AsmL.	FATES	2003	DBLP DOI BibTeX RDF
1	Michael Barnett, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Margus Veanes	Validating Use-Cases with the AsmL Test Tool.	QSIC	2003	DBLP DOI BibTeX RDF
1	Wolfgang Grieskamp, Lev Nachmanson, Nikolai Tillmann, Margus Veanes	Test Case Generation from AsmL Specifications.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
1	Yuri Gurevich, Nikolai Tillmann	Partial Updates Exploration II.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
1	Michael Barnett, Wolfram Schulte, Nikolai Tillmann	Using AsmL for Runtime Verification.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
1	Yuri Gurevich, Nikolai Tillmann	Partial Updates: Exploration.	J. UCS	2001	DBLP BibTeX RDF
1	Wolfgang Grieskamp, Markus Lepper, Wolfram Schulte, Nikolai Tillmann	Testable Use Cases in the Abstract State Machine Language.	APAQS	2001	DBLP DOI BibTeX RDF

Publications of "Nikolai Tillmann" ( http://dblp.L3S.de/Authors/Nikolai_Tillmann )