Martin Schäf
Martin Schäf
Amazon Web Services
Verifisert e-postadresse på amazon.com - Startside
TittelSitert avÅr
Lightweight static analysis for GUI testing
S Arlt, A Podelski, C Bertolini, M Schäf, I Banerjee, AM Memon
2012 IEEE 23rd International Symposium on Software Reliability Engineering …, 2012
542012
Error invariants
E Ermis, M Schäf, T Wies
International Symposium on Formal Methods, 187-201, 2012
522012
Flow-sensitive fault localization
J Christ, E Ermis, M Schäf, T Wies
International Workshop on Verification, Model Checking, and Abstract …, 2013
402013
It’s doomed; we can prove it
J Hoenicke, KRM Leino, A Podelski, M Schäf, T Wies
International Symposium on Formal Methods, 338-353, 2009
242009
Towards a formal integrated model of collaborative healthcare workflows
C Bertolini, M Schäf, V Stolz
International Symposium on Foundations of Health Informatics Engineering and …, 2011
212011
Joogie: Infeasible Code Detection for Java
S Arlt, M Schäf
Computer Aided Verification - 24th International Conference, 767-773, 2012
202012
Doomed program points
J Hoenicke, KRM Leino, A Podelski, M Schäf, T Wies
Formal Methods in System Design 37 (2-3), 171-199, 2010
192010
The gradual verifier
S Arlt, C Rubio-González, P Rümmer, M Schäf, N Shankar
NASA Formal Methods Symposium, 313-327, 2014
182014
JayHorn: A framework for verifying Java programs
T Kahsai, P Rümmer, H Sanchez, M Schäf
International Conference on Computer Aided Verification, 352-358, 2016
142016
Explaining inconsistent code
M Schäf, D Schwartz-Narbonne, T Wies
Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013
142013
Grey-box gui testing: Efficient generation of event sequences
S Arlt, I Banerjee, C Bertolini, AM Memon, M Schäf
arXiv preprint arXiv:1205.4928, 2012
142012
Trends in model-based gui testing
S Arlt, C Bertolini, S Pahl, M Schäf
Advances in Computers 86, 183-222, 2012
142012
Behind the scenes: an approach to incorporate context in GUI test case generation
S Arlt, C Bertolini, M Schäf
2011 IEEE Fourth International Conference on Software Testing, Verification …, 2011
122011
Detecting similar programs via the Weisfeiler-Leman graph kernel
W Li, H Saidi, H Sanchez, M Schäf, P Schweitzer
International Conference on Software Reuse, 315-330, 2016
112016
Infeasible code detection
C Bertolini, M Schäf, P Schweitzer
International Conference on Verified Software: Tools, Theories, Experiments …, 2012
112012
Parameterized GUI tests
S Arlt, P Borromeo, M Schäf, A Podelski
IFIP International Conference on Testing Software and Systems, 247-262, 2012
102012
Crowdsourcing program preconditions via a classification game
D Fava, D Shapiro, J Osborn, M Schäf, EJ Whitehead
2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE …, 2016
92016
Joogie: From java through jimple to boogie
S Arlt, P Rümmer, M Schäf
Proceedings of the 2nd ACM SIGPLAN International Workshop on State Of the …, 2013
82013
AutoPA: automatic prototyping from requirements
X Li, Z Liu, M Schäf, L Yin
International Symposium On Leveraging Applications of Formal Methods …, 2010
82010
Classifying bugs with interpolants
A Podelski, M Schäf, T Wies
International Conference on Tests and Proofs, 151-168, 2016
72016
Systemet kan ikke utføre handlingen. Prøv igjen senere.
Artikler 1–20