| Towards federated learning at scale: System design K Bonawitz, H Eichner, W Grieskamp, D Huba, A Ingerman, V Ivanov, ... arXiv preprint arXiv:1902.01046, 2019 | 3460 | 2019 |
| 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 | 986 | 2013 |
| 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 | 283 | 2002 |
| Approximating finite domains in symbolic state exploration N Tillmann, W Grieskamp, W Schulte US Patent 8,533,680, 2013 | 269 | 2013 |
| 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 | 264 | 2008 |
| 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 | 172 | 2011 |
| Unit test generalization N Tillmann, W Grieskamp, W Schulte US Patent 7,587,636, 2009 | 114 | 2009 |
| 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 | 106 | 2005 |
| 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 | 103 | 1994 |
| 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 | 100 | 2004 |
| 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 | 100 | 1996 |
| Towards a tool environment for model-based testing with AsmL M Barnett, W Grieskamp, L Nachmanson, W Schulte, N Tillmann, ... International Workshop on Formal Approaches to Software Testing, 252-266, 2003 | 85 | 2003 |
| Multi-paradigmatic model-based testing W Grieskamp International Workshop on Formal Approaches to Software Testing, 1-19, 2006 | 83 | 2006 |
| Self-describing artifacts and application abstractions GC Hunt, T Roeder, JR Larus, M Fahndrich, JD DeTreville, SP Levi, ... US Patent 7,451,435, 2008 | 69 | 2008 |
| Parameterized unit tests with behavioral purity axioms N Tillmann, W Grieskamp, W Schulte US Patent 7,797,687, 2010 | 68 | 2010 |
| 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 | 61 | 2006 |
| Towards federated learning at scale: system design (2019) K Bonawitz, H Eichner, W Grieskamp, D Huba, A Ingerman, V Ivanov, ... arXiv preprint arXiv:1902.01046, 1902 | 59 | 1902 |
| 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 | 56 | 2005 |
| Symbolic execution of object oriented programs with axiomatic summaries N Tillmann, W Grieskamp, W Schulte US Patent 8,046,746, 2011 | 52 | 2011 |
| Mock object generation by symbolic execution N Tillmann, W Grieskamp, W Schulte US Patent 7,496,791, 2009 | 51 | 2009 |