Search results for "Wolfgang Grieskamp"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Bo Jiang, T. H. Tse, Wolfgang Grieskamp, Nicolas Kicillof, Yiming Cao, Xiang Li, W. K. Chan	Assuring the model evolution of protocol software specifications by regression testing process improvement.	Softw., Pract. Exper.	2011	DBLP DOI BibTeX RDF
1	Wolfgang Grieskamp, Nicolas Kicillof, Keith Stobie, Víctor A. Braberman	Model-based quality assurance of protocol documentation: tools and methodology.	Softw. Test., Verif. Reliab.	2011	DBLP DOI BibTeX RDF
1	Wolfgang Grieskamp	Microsoft's Protocol Documentation Program: A Success Story for Model-Based Testing.	TAIC PART	2010	DBLP DOI BibTeX RDF
1	Bo Jiang, T. H. Tse, Wolfgang Grieskamp, Nicolas Kicillof, Yiming Cao, Xiang Li	Regression Testing Process Improvement for Specification Evolution of Real-World Protocol Software.	QSIC	2010	DBLP DOI BibTeX RDF
1	Wolfgang Grieskamp, Xiao Qu, Xiangjun Wei, Nicolas Kicillof, Myra B. Cohen	Interaction Coverage Meets Path Coverage by SMT Constraint Solving.	TestCom/FATES	2009	DBLP DOI BibTeX RDF
1	Wolfgang Grieskamp, Nicolas Kicillof, Dave MacDonald, Alok Nandan, Keith Stobie, Fred L. Wurden	Model-Based Quality Assurance of Windows Protocol Documentation.	ICST	2008	DBLP DOI BibTeX RDF	Spec Explorer, Test-driven, Protocols, Model-based testing, Quality Assurance
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	Wolfgang Grieskamp, Nicolas Kicillof, Dave MacDonald, Alok Nandan, Keith Stobie, Fred L. Wurden, Danpo Zhang	Model-Based Quality Assurance of the SMB2 Protocol Documentation.	QSIC	2008	DBLP DOI BibTeX RDF	Protocols, Model-Based Testing, Specification Testing
1	Alexandre Petrenko, Margus Veanes, Jan Tretmans, Wolfgang Grieskamp (eds.)	Testing of Software and Communicating Systems, 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007, Proceedings	TestCom/FATES	2007	DBLP 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	Wolfgang Grieskamp, Nicolas Kicillof	6th International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM07).	ICSE Companion	2007	DBLP DOI BibTeX RDF
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	Wolfgang Grieskamp, Nicolas Kicillof	A schema language for coordinating construction and composition of partial behavior descriptions.	SCESM	2006	DBLP DOI BibTeX RDF	partial behaviors, model-based testing, model composition
1	Wolfgang Grieskamp, Debra Richardson, Clay E. Williams	OOPSLA'06 workshop outline: 1st workshop on model-based testing and object-oriented systems (M-TOOS).	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	model-based testing, object-oriented testing
1	Wolfgang Grieskamp, Carsten Weise (eds.)	Formal Approaches to Software Testing, 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers	FATES	2006	DBLP BibTeX RDF
1	Wolfgang Grieskamp	Multi-paradigmatic Model-Based Testing.	FATES/RV	2006	DBLP DOI BibTeX RDF
1	Wolfgang Grieskamp	Model-Based Testing in the Field: Lessons Learned.	GI Jahrestagung	2006	DBLP BibTeX RDF
1	Ed Brinksma, Wolfgang Grieskamp, Jan Tretmans (eds.)	Perspectives of Model-Based Testing, 5.-10. September 2004	Perspectives of Model-Based Testing	2005	DBLP 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	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	Ed Brinksma, Wolfgang Grieskamp, Jan Tretmans	04371 Abstracts Collection - Perspectives of Model-Based Testing.	Perspectives of Model-Based Testing	2004	DBLP BibTeX RDF
1	Ed Brinksma, Wolfgang Grieskamp, Jan Tretmans	04371 Summary - Perspectives of Model-Based Testing.	Perspectives of Model-Based Testing	2004	DBLP BibTeX RDF
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	Peter Pepper, Michael Cebulla, Klaus Didrich, Wolfgang Grieskamp	From program languages to software languages.	Journal of Systems and Software	2002	DBLP DOI BibTeX RDF
1	Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes	Generating finite state machines from abstract state machines.	ISSTA	2002	DBLP DOI BibTeX RDF	finite state machine, test case generation, FSM, abstract state machine, executable specification, ASM
1	Wolfgang Grieskamp, Maritta Heisel, Heiko Dörr	Specifying embedded systems with statecharts and Z: an agenda for cyclic software components.	Sci. Comput. Program.	2001	DBLP DOI 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
1	Wolfgang Grieskamp, Markus Lepper	Using Use Cases in Executable Z. (PDF / PS)	ICFEM	2000	DBLP DOI BibTeX RDF
1	Wolfgang Grieskamp, Markus Lepper	Encoding Temporal Logics in Executable Z: A Case Study for the ZETA System.	LPAR	2000	DBLP DOI BibTeX RDF
1	Wolfgang Grieskamp, Thomas Santen, Bill Stoddart (eds.)	Integrated Formal Methods, Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings	IFM	2000	DBLP BibTeX RDF
1	Wolfgang Grieskamp	A Computation Model for Z Based on Concurrent Constraint Resolution.	ZB	2000	DBLP DOI BibTeX RDF
1	Robert Büssow, Wolfgang Grieskamp	A Modular Framework for the Integration of Heterogeneous Notations and Tools.	IFM	1999	DBLP BibTeX RDF
1	Klaus Didrich, Wolfgang Grieskamp, Florian Schintke, Till Tantau, Baltasar Trancón-y-Widemann	Reflections in Opal - Meta Information in a Functional Programming Language.	IFL	1999	DBLP DOI BibTeX RDF
1	Wolfgang Grieskamp, Maritta Heisel, Heiko Dörr	Specifying Embedded Systems with Staecharts and Z: An Agenda for Cyclic Software Components.	FASE	1998	DBLP DOI BibTeX RDF
1	Robert Büssow, Wolfgang Grieskamp, Winfried Heicking, Stephan Herrmann	An Open Environment for the Integration of Hetereogenous Modelling Techniques and Tools.	FM-Trends	1998	DBLP DOI BibTeX RDF
1	Robert Büssow, Wolfgang Grieskamp	Combining Z and Temporal Interval Logics for the Formalization of Properties and Behaviors of Embedded Systems.	ASIAN	1997	DBLP DOI BibTeX RDF
1	Klaus Didrich, Wolfgang Grieskamp, Christian Maeder, Peter Pepper	Programming in the Large: The Algebraic-Functional Language Opal 2alpha.	Implementation of Functional Languages	1997	DBLP DOI BibTeX RDF
1	Pieter H. Hartel, Marc Feeley, Martin Alt, Lennart Augustsson, Peter Baumann, Marcel Beemster, Emmanuel Chailloux, Christine H. Flood, Wolfgang Grieskamp, John H. G. van Groningen, Kevin Hammond, Bogumil Hausman, Melody Y. Ivory, Richard E. Jones, Jasper Kamperman, Peter Lee, Xavier Leroy, Rafael Dueire Lins, Sandra Loosemore, Niklas Röjemo, Manuel Serrano, Jean-Pierre Talpin, Jon Thackray, Stephen Thomas, Pum Walters, Pierre Weis, Peter Wentworth	Benchmarking Implementations of Functional Languages with `Pseudoknot', a Float-Intensive Benchmark.	J. Funct. Program.	1996	DBLP DOI BibTeX RDF
1	Thomas Frauenstein, Wolfgang Grieskamp, Peter Pepper, Mario Südholt	Communicating Functional Agents and Their Application to Graphical User Interfaces.	Ershov Memorial Conference	1996	DBLP DOI BibTeX RDF
1	Klaus Didrich, Carola Gerke, Wolfgang Grieskamp, Christian Maeder, Peter Pepper	Towards Integrating Algebraic Specification and Functional Programming: the Opal System (Extended Abstract).	AMAST	1996	DBLP DOI BibTeX RDF
1	Hans-Dieter Ehrich, Franz Regensburger, Wolfgang Grieskamp, Carola Gerke, Rudolf Herzig, Martin Gogolla, Grit Denker, Ernst-Rüdiger Olderog	Korso Reference Languages - Concepts and Application Domains.	KORSO Book	1995	DBLP DOI BibTeX RDF
1	Klaus Didrich, Andreas Fett, Carola Gerke, Wolfgang Grieskamp, Peter Pepper	OPAL: Design and Implementation of an Algebraic Programming Language.	Programming Languages and System Architectures	1994	DBLP DOI BibTeX RDF
1	Andreas Fett, Carola Gerke, Wolfgang Grieskamp, Peter Pepper	Algebreic Programming in Opal.	Bulletin of the EATCS	1993	DBLP BibTeX RDF
1	Wolfram Schulte, Wolfgang Grieskamp	Generating Efficient Portable Code for a Strict Applicative Language.	Declarative Programming	1991	DBLP BibTeX RDF

Publications of "Wolfgang Grieskamp" ( http://dblp.L3S.de/Authors/Wolfgang_Grieskamp )