Следене
Martin Schaef
Martin Schaef
Amazon Web Services
Потвърден имейл адрес: amazon.com - Начална страница
Заглавие
Позовавания
Позовавания
Година
JayHorn: A Framework for Verifying Java programs
T Kahsai, P Rümmer, H Sanchez, M Schäf
Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016
932016
Error invariants
E Ermis, M Schäf, T Wies
International Symposium on Formal Methods, 187-201, 2012
792012
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
752012
Flow-sensitive fault localization
J Christ, E Ermis, M Schäf, T Wies
International Workshop on Verification, Model Checking, and Abstract …, 2013
592013
Detecting similar programs via the Weisfeiler-Leman graph kernel
W Li, H Saidi, H Sanchez, M Schäf, P Schweitzer
Software Reuse: Bridging with Social-Awareness: 15th International …, 2016
322016
One-click formal methods
J Backes, P Bolignano, B Cook, A Gacek, KS Luckow, N Rungta, ...
IEEE Software 36 (6), 61-65, 2019
312019
Joogie: Infeasible Code Detection for Java
S Arlt, M Schäf
Computer Aided Verification - 24th International Conference, 767-773, 2012
262012
It’s doomed; we can prove it
J Hoenicke, KRM Leino, A Podelski, M Schäf, T Wies
FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands …, 2009
262009
Towards a formal integrated model of collaborative healthcare workflows
C Bertolini, M Schäf, V Stolz
Foundations of Health Informatics Engineering and Systems: First …, 2012
252012
The gradual verifier
S Arlt, C Rubio-González, P Rümmer, M Schäf, N Shankar
NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA …, 2014
232014
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
222012
Explaining inconsistent code
M Schäf, D Schwartz-Narbonne, T Wies
Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013
212013
Doomed program points
J Hoenicke, KRM Leino, A Podelski, M Schäf, T Wies
Formal Methods in System Design 37, 171-199, 2010
212010
Classifying bugs with interpolants
A Podelski, M Schäf, T Wies
Tests and Proofs: 10th International Conference, TAP 2016, Held as Part of …, 2016
202016
Trends in model-based gui testing
S Arlt, C Bertolini, S Pahl, M Schäf
Advances in Computers 86, 183-222, 2012
202012
Quantified heap invariants for object-oriented programs
T Kahsai, R Kersten, P Rümmer, M Schäf
LPAR-21, May 7–12, 2017, Maun, Botswana, 368-384, 2017
192017
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
192011
JayHorn: A Java Model Checker: (Competition Contribution)
T Kahsai, P Rümmer, M Schäf
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years …, 2019
152019
Verifying object construction
M Kellogg, M Ran, M Sridharan, M Schäf, MD Ernst
Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020
142020
Continuous compliance
M Kellogg, M Schäf, S Tasiran, MD Ernst
Proceedings of the 35th IEEE/ACM International Conference on Automated …, 2020
132020
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20