Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Wolfgang Grieskamp
2010 – today
- 2013
[j10]Saswat Anand, Edmund K. Burke, Tsong Yueh Chen, John A. Clark, Myra B. Cohen, Wolfgang Grieskamp, Mark Harman, Mary Jean Harrold, Phil McMinn: An orchestrated survey of methodologies for automated software test case generation. Journal of Systems and Software 86(8): 1978-2001 (2013)- 2011
- [j9]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. 41(10): 1073-1103 (2011)
- [j8]Wolfgang Grieskamp, Nicolas Kicillof, Keith Stobie, Víctor A. Braberman: Model-based quality assurance of protocol documentation: tools and methodology. Softw. Test., Verif. Reliab. 21(1): 55-71 (2011)
- 2010
- [c36]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: 62-71
- [c35]Wolfgang Grieskamp: Microsoft's Protocol Documentation Program: A Success Story for Model-Based Testing. TAIC PART 2010: 7
2000 – 2009
- 2009
- [c34]Wolfgang Grieskamp, Xiao Qu, Xiangjun Wei, Nicolas Kicillof, Myra B. Cohen: Interaction Coverage Meets Path Coverage by SMT Constraint Solving. TestCom/FATES 2009: 97-112
- 2008
- [c33]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: 39-76
- [c32]Wolfgang Grieskamp, Nicolas Kicillof, Dave MacDonald, Alok Nandan, Keith Stobie, Fred L. Wurden: Model-Based Quality Assurance of Windows Protocol Documentation. ICST 2008: 502-506
- [c31]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: 235-240
- 2007
- [c30]Nicolas Kicillof, Wolfgang Grieskamp, Nikolai Tillmann, Víctor A. Braberman: Achieving both model and code coverage with automated gray-box testing. A-MOST 2007: 1-11
- [c29]Wolfgang Grieskamp, Nicolas Kicillof: 6th International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM07). ICSE Companion 2007: 129-130
- [e4]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. Lecture Notes in Computer Science 4581, Springer 2007, ISBN 978-3-540-73065-1
- 2006
- [j7]Wolfgang Grieskamp, Nikolai Tillmann, Wolfram Schulte: XRT- Exploring Runtime for .NET Architecture and Applications. Electr. Notes Theor. Comput. Sci. 144(3): 3-26 (2006)
- [j6]Wolfgang Grieskamp, Nicolas Kicillof, Nikolai Tillmann: Action Machines: a Framework for Encoding and Composing Partial Behaviors. International Journal of Software Engineering and Knowledge Engineering 16(5): 705-726 (2006)
- [c28]
- [c27]Wolfgang Grieskamp: Model-Based Testing in the Field: Lessons Learned. GI Jahrestagung (2) 2006: 189-196
- [c26]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: 621
- [c25]Wolfgang Grieskamp, Nicolas Kicillof: A schema language for coordinating construction and composition of partial behavior descriptions. SCESM 2006: 59-66
- [e3]Wolfgang Grieskamp, Carsten Weise (Eds.): Formal Approaches to Software Testing, 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers. Lecture Notes in Computer Science 3997, Springer 2006, ISBN 3-540-34454-3
- 2005
- [c24]Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes: Testing Concurrent Object-Oriented Systems with Spec Explorer. FM 2005: 542-547
- [c23]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: 72-82
- [e2]Ed Brinksma, Wolfgang Grieskamp, Jan Tretmans (Eds.): Perspectives of Model-Based Testing, 5.-10. September 2004. Dagstuhl Seminar Proceedings 04371, IBFI, Schloss Dagstuhl, Germany 2005
- 2004
- [j5]Wolfgang Grieskamp, Nikolai Tillmann, Margus Veanes: Instrumenting scenarios in a model-driven development environment. Information & Software Technology 46(15): 1027-1036 (2004)
- [c22]Ed Brinksma, Wolfgang Grieskamp, Jan Tretmans: 04371 Summary - Perspectives of Model-Based Testing. Perspectives of Model-Based Testing 2004
- [c21]Ed Brinksma, Wolfgang Grieskamp, Jan Tretmans: 04371 Abstracts Collection - Perspectives of Model-Based Testing. Perspectives of Model-Based Testing 2004
- [c20]Lev Nachmanson, Margus Veanes, Wolfram Schulte, Nikolai Tillmann, Wolfgang Grieskamp: Optimal strategies for testing nondeterministic systems. ISSTA 2004: 55-64
- 2003
- [c19]Wolfgang Grieskamp, Lev Nachmanson, Nikolai Tillmann, Margus Veanes: Test Case Generation from AsmL Specifications. Abstract State Machines 2003: 413
- [c18]Michael Barnett, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes: Towards a Tool Environment for Model-Based Testing with AsmL. FATES 2003: 252-266
- [c17]Michael Barnett, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Margus Veanes: Validating Use-Cases with the AsmL Test Tool. QSIC 2003: 238-246
- 2002
- [j4]Peter Pepper, Michael Cebulla, Klaus Didrich, Wolfgang Grieskamp: From program languages to software languages. Journal of Systems and Software 60(2): 91-101 (2002)
- [c16]Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes: Generating finite state machines from abstract state machines. ISSTA 2002: 112-122
- 2001
- [j3]Wolfgang Grieskamp, Maritta Heisel, Heiko Dörr: Specifying embedded systems with statecharts and Z: an agenda for cyclic software components. Sci. Comput. Program. 40(1): 31-57 (2001)
- [c15]Wolfgang Grieskamp, Markus Lepper, Wolfram Schulte, Nikolai Tillmann: Testable Use Cases in the Abstract State Machine Language. APAQS 2001: 167-172
- 2000
- [c14]
- [c13]Wolfgang Grieskamp, Markus Lepper: Encoding Temporal Logics in Executable Z: A Case Study for the ZETA System. LPAR 2000: 43-53
- [c12]Wolfgang Grieskamp: A Computation Model for Z Based on Concurrent Constraint Resolution. ZB 2000: 414-432
- [e1]Wolfgang Grieskamp, Thomas Santen, Bill Stoddart (Eds.): Integrated Formal Methods, Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings. Lecture Notes in Computer Science 1945, Springer 2000, ISBN 3-540-41196-8
1990 – 1999
- 1999
- [c11]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: 149-164
- [c10]Robert Büssow, Wolfgang Grieskamp: A Modular Framework for the Integration of Heterogeneous Notations and Tools. IFM 1999: 211-230
- 1998
- [c9]Wolfgang Grieskamp, Maritta Heisel, Heiko Dörr: Specifying Embedded Systems with Staecharts and Z: An Agenda for Cyclic Software Components. FASE 1998: 88-106
- [c8]Robert Büssow, Wolfgang Grieskamp, Winfried Heicking, Stephan Herrmann: An Open Environment for the Integration of Hetereogenous Modelling Techniques and Tools. FM-Trends 1998: 184-195
- 1997
- [c7]Robert Büssow, Wolfgang Grieskamp: Combining Z and Temporal Interval Logics for the Formalization of Properties and Behaviors of Embedded Systems. ASIAN 1997: 46-56
- [c6]Klaus Didrich, Wolfgang Grieskamp, Christian Maeder, Peter Pepper: Programming in the Large: The Algebraic-Functional Language Opal 2alpha. Implementation of Functional Languages 1997: 322-337
- 1996
- [j2]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. 6(4): 621-655 (1996)
- [c5]Klaus Didrich, Carola Gerke, Wolfgang Grieskamp, Christian Maeder, Peter Pepper: Towards Integrating Algebraic Specification and Functional Programming: the Opal System (Extended Abstract). AMAST 1996: 559-562
- [c4]Thomas Frauenstein, Wolfgang Grieskamp, Peter Pepper, Mario Südholt: Communicating Functional Agents and Their Application to Graphical User Interfaces. Ershov Memorial Conference 1996: 386-397
- 1995
- [c3]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: 150-172
- 1994
- [c2]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: 228-244
- 1993
- [j1]Andreas Fett, Carola Gerke, Wolfgang Grieskamp, Peter Pepper: Algebreic Programming in Opal. Bulletin of the EATCS 50: 171-181 (1993)
- 1991
- [c1]Wolfram Schulte, Wolfgang Grieskamp: Generating Efficient Portable Code for a Strict Applicative Language. Declarative Programming 1991: 239-252
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:04 CEST by the dblp team