دنبال کردن
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‏
1182016
Error invariants‏
E Ermis, M Schäf, T Wies‏
International Symposium on Formal Methods, 187-201, 2012‏
832012
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‏
762012
Flow-sensitive fault localization‏
J Christ, E Ermis, M Schäf, T Wies‏
International Workshop on Verification, Model Checking, and Abstract …, 2013‏
612013
One-click formal methods‏
J Backes, P Bolignano, B Cook, A Gacek, KS Luckow, N Rungta, ...‏
IEEE Software 36 (6), 61-65, 2019‏
422019
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‏
392016
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‏
302009
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‏
282017
Joogie: Infeasible Code Detection for Java‏
S Arlt, M Schäf‏
Computer Aided Verification - 24th International Conference, 767-773, 2012‏
272012
Analyzing infrastructure as code to prevent intra-update sniping vulnerabilities‏
J Lepiller, R Piskac, M Schäf, M Santolucito‏
Tools and Algorithms for the Construction and Analysis of Systems: 27th …, 2021‏
262021
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‏
262011
Explaining inconsistent code‏
M Schäf, D Schwartz-Narbonne, T Wies‏
Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013‏
252013
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‏
252012
Continuous compliance‏
M Kellogg, M Schäf, S Tasiran, MD Ernst‏
Proceedings of the 35th IEEE/ACM International Conference on Automated …, 2020‏
242020
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
Classifying bugs with interpolants‏
A Podelski, M Schäf, T Wies‏
International Conference on Tests and Proofs, 151-168, 2016‏
222016
Trends in model-based gui testing‏
S Arlt, C Bertolini, S Pahl, M Schäf‏
Advances in Computers 86, 183-222, 2012‏
222012
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‏
212011
Doomed program points‏
J Hoenicke, KRM Leino, A Podelski, M Schäf, T Wies‏
Formal Methods in System Design 37, 171-199, 2010‏
212010
JayHorn: A Java Model Checker: (Competition Contribution)‏
T Kahsai, P Rümmer, M Schäf‏
International Conference on Tools and Algorithms for the Construction and …, 2019‏
182019
سیستم در حال حاضر قادر به انجام عملکرد نیست. بعداً دوباره امتحان کنید.
مقاله‌ها 1–20