Prati
Wolfgang Grieskamp
Wolfgang Grieskamp
FB
Potvrđena adresa e-pošte na fb.com - Početna stranica
Naslov
Citirano
Citirano
Godina
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
20632019
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
8362013
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
2732002
Approximating finite domains in symbolic state exploration
N Tillmann, W Grieskamp, W Schulte
US Patent 8,533,680, 2013
2532013
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
2532008
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
1562011
Unit test generalization
N Tillmann, W Grieskamp, W Schulte
US Patent 7,587,636, 2009
1082009
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
1042005
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
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
951994
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
942004
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
862004
Multi-paradigmatic model-based testing
W Grieskamp
Formal Approaches to Software Testing and Runtime Verification: First …, 2006
852006
Self-describing artifacts and application abstractions
GC Hunt, T Roeder, JR Larus, M Fahndrich, JD DeTreville, SP Levi, ...
US Patent 7,451,435, 2008
682008
Parameterized unit tests with behavioral purity axioms
N Tillmann, W Grieskamp, W Schulte
US Patent 7,797,687, 2010
662010
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
542005
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
512009
Achieving both model and code coverage with automated gray-box testing
N Kicillof, W Grieskamp, N Tillmann, V Braberman
Proceedings of the 3rd International Workshop on Advances in Model-based …, 2007
502007
Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.
Članci 1–20