Wolfgang Grieskamp

Facebook Inc - Camridge / United States

Others

AD Scientific Index ID: 4379628

Registration, Add Profile,
Premium Membership

Print Your Certificate

Wolfgang Grieskamp's MOST POPULAR ARTICLES

1-) Towards federated learning at scale: System designK Bonawitz, H Eichner, W Grieskamp, D Huba, A Ingerman, V Ivanov, ...Proceedings of Machine Learning and Systems 1, 374-388, 201916822019

2-) An orchestrated survey of methodologies for automated software test case generationS Anand, EK Burke, TY Chen, J Clark, MB Cohen, W Grieskamp, ...Journal of Systems and Software 86 (8), 1978-2001, 20138022013

3-) Generating finite state machines from abstract state machinesW Grieskamp, Y Gurevich, W Schulte, M VeanesProceedings of the 2002 ACM SIGSOFT international symposium on Software …, 20022782002

4-) Approximating finite domains in symbolic state explorationN Tillmann, W Grieskamp, W SchulteUS Patent 8,533,680, 20132692013

5-) Model-based testing of object-oriented reactive systems with Spec ExplorerM Veanes, C Campbell, W Grieskamp, W Schulte, N Tillmann, ...Formal Methods and Testing: An Outcome of the FORTEST Network, Revised …, 20082642008

ARTICLES

Add your articles