Follow
Wolfgang Grieskamp
Wolfgang Grieskamp
FB
Verified email at fb.com - Homepage
Title
Cited by
Cited by
Year
Towards federated learning at scale: System design
K Bonawitz, H Eichner, W Grieskamp, D Huba, A Ingerman, V Ivanov, ...
Proceedings of machine learning and systems 1, 374-388, 2019
28902019
An orchestrated survey of methodologies for automated software test case generation
S Anand, EK Burke, TY Chen, J Clark, MB Cohen, W Grieskamp, ...
Journal of systems and software 86 (8), 1978-2001, 2013
9312013
Generating finite state machines from abstract state machines
W Grieskamp, Y Gurevich, W Schulte, M Veanes
Proceedings of the 2002 ACM SIGSOFT international symposium on Software …, 2002
2802002
Approximating finite domains in symbolic state exploration
N Tillmann, W Grieskamp, W Schulte
US Patent 8,533,680, 2013
2632013
Model-based testing of object-oriented reactive systems with Spec Explorer
M Veanes, C Campbell, W Grieskamp, W Schulte, N Tillmann, ...
Formal Methods and Testing: An Outcome of the FORTEST Network, Revised …, 2008
2602008
Model‐based quality assurance of protocol documentation: tools and methodology
W Grieskamp, N Kicillof, K Stobie, V Braberman
Software Testing, Verification and Reliability 21 (1), 55-71, 2011
1682011
Unit test generalization
N Tillmann, W Grieskamp, W Schulte
US Patent 7,587,636, 2009
1112009
Model-based testing of object-oriented reactive systems with Spec Explorer
C Campbell, W Grieskamp, L Nachmanson, W Schulte, N Tillmann, ...
Technical Report MSR-TR-2005-59, Microsoft Research, 2005
1072005
OPAL: Design and implementation of an algebraic programming language
K Didrich, A Fett, C Gerke, W Grieskamp, P Pepper
Programming Languages and System Architectures: International Conference …, 1994
991994
Optimal strategies for testing nondeterministic systems
L Nachmanson, M Veanes, W Schulte, N Tillmann, W Grieskamp
ACM SIGSOFT Software Engineering Notes 29 (4), 55-64, 2004
982004
Benchmarking implementations of functional languages with ‘Pseudoknot’, a float-intensive benchmark
PH Hartel, M Feeley, M Alt, L Augustsson, P Baumann, M Beemster, ...
Journal of functional programming 6 (4), 621-655, 1996
981996
Towards a tool environment for model-based testing with AsmL
M Barnett, W Grieskamp, L Nachmanson, W Schulte, N Tillmann, ...
Formal Approaches to Software Testing: Third International Workshop on …, 2004
852004
Multi-paradigmatic model-based testing
W Grieskamp
International Workshop on Formal Approaches to Software Testing, 1-19, 2006
832006
Self-describing artifacts and application abstractions
GC Hunt, T Roeder, JR Larus, M Fahndrich, JD DeTreville, SP Levi, ...
US Patent 7,451,435, 2008
692008
Parameterized unit tests with behavioral purity axioms
N Tillmann, W Grieskamp, W Schulte
US Patent 7,797,687, 2010
682010
Xrt–exploring runtime for. NET architecture and applications
W Grieskamp, N Tillmann, W Schulte
Electronic Notes in Theoretical Computer Science 144 (3), 3-26, 2006
612006
Testing concurrent object-oriented systems with Spec Explorer
C Campbell, W Grieskamp, L Nachmanson, W Schulte, N Tillmann, ...
FM 2005: Formal Methods: International Symposium of Formal Methods Europe …, 2005
552005
Symbolic execution of object oriented programs with axiomatic summaries
N Tillmann, W Grieskamp, W Schulte
US Patent 8,046,746, 2011
522011
Mock object generation by symbolic execution
N Tillmann, W Grieskamp, W Schulte
US Patent 7,496,791, 2009
502009
Testable use cases in the abstract state machine language
W Grieskamp, M Lepper, W Schulte, N Tillmann
Proceedings Second Asia-Pacific Conference on Quality Software, 167-172, 2001
492001
The system can't perform the operation now. Try again later.
Articles 1–20