Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Martin Schäf
@inproceedings{DBLP:conf/fm/LiblitLMMPPSTV23, author = {Ben Liblit and Linghui Luo and Alejandro Molina and Rajdeep Mukherjee and Zachary Patterson and Goran Piskachev and Martin Sch{\"{a}}f and Omer Tripp and Willem Visser}, editor = {Marsha Chechik and Joost{-}Pieter Katoen and Martin Leucker}, title = {Shifting Left for Early Detection of Machine-Learning Bugs}, booktitle = {Formal Methods - 25th International Symposium, {FM} 2023, L{\"{u}}beck, Germany, March 6-10, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14000}, pages = {584--597}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-27481-7\_33}, doi = {10.1007/978-3-031-27481-7\_33}, timestamp = {Wed, 08 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fm/LiblitLMMPPSTV23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/LuoMTSZS23, author = {Linghui Luo and Rajdeep Mukherjee and Omer Tripp and Martin Sch{\"{a}}f and Qiang Zhou and Daniel Sanchez}, title = {Long-term Static Analysis Rule Quality Monitoring Using True Negatives}, booktitle = {45th {IEEE/ACM} International Conference on Software Engineering: Software Engineering in Practice, SEIP@ICSE 2023, Melbourne, Australia, May 14-20, 2023}, pages = {315--326}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/ICSE-SEIP58684.2023.00034}, doi = {10.1109/ICSE-SEIP58684.2023.00034}, timestamp = {Thu, 20 Jul 2023 08:23:52 +0200}, biburl = {https://dblp.org/rec/conf/icse/LuoMTSZS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icst/LuoPKDBS23, author = {Linghui Luo and Goran Piskachev and Ranjith Krishnamurthy and Julian Dolby and Eric Bodden and Martin Sch{\"{a}}f}, title = {Model Generation For Java Frameworks}, booktitle = {{IEEE} Conference on Software Testing, Verification and Validation, {ICST} 2023, Dublin, Ireland, April 16-20, 2023}, pages = {165--175}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/ICST57152.2023.00024}, doi = {10.1109/ICST57152.2023.00024}, timestamp = {Thu, 01 Jun 2023 13:31:05 +0200}, biburl = {https://dblp.org/rec/conf/icst/LuoPKDBS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/ChristakisCFLMP22, author = {Maria Christakis and Thomas Cottenier and Antonio Filieri and Linghui Luo and Muhammad Numair Mansur and Lee Pike and Nicol{\'{a}}s Rosner and Martin Sch{\"{a}}f and Aritra Sengupta and Willem Visser}, editor = {Abhik Roychoudhury and Cristian Cadar and Miryung Kim}, title = {Input splitting for cloud-based static application security testing platforms}, booktitle = {Proceedings of the 30th {ACM} Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, {ESEC/FSE} 2022, Singapore, Singapore, November 14-18, 2022}, pages = {1367--1378}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3540250.3558944}, doi = {10.1145/3540250.3558944}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sigsoft/ChristakisCFLMP22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/LuoSSB21, author = {Linghui Luo and Martin Sch{\"{a}}f and Daniel Sanchez and Eric Bodden}, editor = {Diomidis Spinellis and Georgios Gousios and Marsha Chechik and Massimiliano Di Penta}, title = {{IDE} support for cloud-based static analyses}, booktitle = {{ESEC/FSE} '21: 29th {ACM} Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Athens, Greece, August 23-28, 2021}, pages = {1178--1189}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3468264.3468535}, doi = {10.1145/3468264.3468535}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sigsoft/LuoSSB21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/EmmiHJPRSSV21, author = {Michael Emmi and Liana Hadarean and Ranjit Jhala and Lee Pike and Nicol{\'{a}}s Rosner and Martin Sch{\"{a}}f and Aritra Sengupta and Willem Visser}, editor = {Diomidis Spinellis and Georgios Gousios and Marsha Chechik and Massimiliano Di Penta}, title = {{RAPID:} checking {API} usage for the cloud in the cloud}, booktitle = {{ESEC/FSE} '21: 29th {ACM} Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Athens, Greece, August 23-28, 2021}, pages = {1416--1426}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3468264.3473934}, doi = {10.1145/3468264.3473934}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sigsoft/EmmiHJPRSSV21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/LepillerPSS21, author = {Julien Lepiller and Ruzica Piskac and Martin Sch{\"{a}}f and Mark Santolucito}, editor = {Jan Friso Groote and Kim Guldstrand Larsen}, title = {Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, {TACAS} 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {12652}, pages = {105--123}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-72013-1\_6}, doi = {10.1007/978-3-030-72013-1\_6}, timestamp = {Fri, 14 May 2021 08:34:19 +0200}, biburl = {https://dblp.org/rec/conf/tacas/LepillerPSS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/KelloggRSSE20, author = {Martin Kellogg and Manli Ran and Manu Sridharan and Martin Sch{\"{a}}f and Michael D. Ernst}, editor = {Gregg Rothermel and Doo{-}Hwan Bae}, title = {Verifying object construction}, booktitle = {{ICSE} '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June - 19 July, 2020}, pages = {1447--1458}, publisher = {{ACM}}, year = {2020}, url = {https://doi.org/10.1145/3377811.3380341}, doi = {10.1145/3377811.3380341}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icse/KelloggRSSE20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/KelloggSTE20, author = {Martin Kellogg and Martin Sch{\"{a}}f and Serdar Tasiran and Michael D. Ernst}, title = {Continuous Compliance}, booktitle = {35th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2020, Melbourne, Australia, September 21-25, 2020}, pages = {511--523}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1145/3324884.3416593}, doi = {10.1145/3324884.3416593}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/kbse/KelloggSTE20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/software/BackesBCGLRSSTV19, author = {John Backes and Pauline Bolignano and Byron Cook and Andrew Gacek and Kasper S{\o}e Luckow and Neha Rungta and Martin Sch{\"{a}}f and Cole Schlesinger and Rima Tanash and Carsten Varming and Michael W. Whalen}, title = {One-Click Formal Methods}, journal = {{IEEE} Softw.}, volume = {36}, number = {6}, pages = {61--65}, year = {2019}, url = {https://doi.org/10.1109/MS.2019.2930609}, doi = {10.1109/MS.2019.2930609}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/software/BackesBCGLRSSTV19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/KahsaiRS19, author = {Temesghen Kahsai and Philipp R{\"{u}}mmer and Martin Sch{\"{a}}f}, editor = {Dirk Beyer and Marieke Huisman and Fabrice Kordon and Bernhard Steffen}, title = {JayHorn: {A} Java Model Checker - (Competition Contribution)}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part {III}}, series = {Lecture Notes in Computer Science}, volume = {11429}, pages = {214--218}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-17502-3\_16}, doi = {10.1007/978-3-030-17502-3\_16}, timestamp = {Fri, 09 Apr 2021 18:45:37 +0200}, biburl = {https://dblp.org/rec/conf/tacas/KahsaiRS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/BjornerJLRS17, author = {Nikolaj S. Bj{\o}rner and Dejan Jovanovic and Tancr{\`{e}}de Lepoint and Philipp R{\"{u}}mmer and Martin Sch{\"{a}}f}, editor = {Thomas Eiter and David Sands and Geoff Sutcliffe and Andrei Voronkov}, title = {Abduction by Non-Experts}, booktitle = {IWIL@LPAR 2017 Workshop and {LPAR-21} Short Presentations, Maun, Botswana, May 7-12, 2017}, series = {Kalpa Publications in Computing}, volume = {1}, pages = {58--72}, publisher = {EasyChair}, year = {2017}, url = {https://doi.org/10.29007/pz3t}, doi = {10.29007/PZ3T}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lpar/BjornerJLRS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/KahsaiKRS17, author = {Temesghen Kahsai and Rody Kersten and Philipp R{\"{u}}mmer and Martin Sch{\"{a}}f}, editor = {Thomas Eiter and David Sands}, title = {Quantified Heap Invariants for Object-Oriented Programs}, booktitle = {LPAR-21, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017}, series = {EPiC Series in Computing}, volume = {46}, pages = {368--384}, publisher = {EasyChair}, year = {2017}, url = {https://doi.org/10.29007/zrct}, doi = {10.29007/ZRCT}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lpar/KahsaiKRS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/KerstenSK16, author = {Rody Kersten and Martin Sch{\"{a}}f and Temesghen Kahsai}, title = {Resource Contracts for Java}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {41}, number = {6}, pages = {1--5}, year = {2016}, url = {https://doi.org/10.1145/3011286.3011294}, doi = {10.1145/3011286.3011294}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/KerstenSK16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/KahsaiRSS16, author = {Temesghen Kahsai and Philipp R{\"{u}}mmer and Huascar Sanchez and Martin Sch{\"{a}}f}, editor = {Swarat Chaudhuri and Azadeh Farzan}, title = {JayHorn: {A} Framework for Verifying Java programs}, booktitle = {Computer Aided Verification - 28th International Conference, {CAV} 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {9779}, pages = {352--358}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-41528-4\_19}, doi = {10.1007/978-3-319-41528-4\_19}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/cav/KahsaiRSS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/FavaSOSW16, author = {Daniel Fava and Daniel G. Shapiro and Joseph C. Osborn and Martin Sch{\"{a}}f and E. James Whitehead Jr.}, editor = {Laura K. Dillon and Willem Visser and Laurie A. Williams}, title = {Crowdsourcing program preconditions via a classification game}, booktitle = {Proceedings of the 38th International Conference on Software Engineering, {ICSE} 2016, Austin, TX, USA, May 14-22, 2016}, pages = {1086--1096}, publisher = {{ACM}}, year = {2016}, url = {https://doi.org/10.1145/2884781.2884865}, doi = {10.1145/2884781.2884865}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icse/FavaSOSW16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icsr/LiSSSS16, author = {Wenchao Li and Hossein Saidi and Huascar Sanchez and Martin Sch{\"{a}}f and Pascal Schweitzer}, editor = {Georgia M. Kapitsaki and Eduardo Santana de Almeida}, title = {Detecting Similar Programs via The Weisfeiler-Leman Graph Kernel}, booktitle = {Software Reuse: Bridging with Social-Awareness - 15th International Conference, {ICSR} 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9679}, pages = {315--330}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-35122-3\_21}, doi = {10.1007/978-3-319-35122-3\_21}, timestamp = {Mon, 05 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icsr/LiSSSS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iwpc/SanchezWS16, author = {Huascar Sanchez and Jim Whitehead and Martin Sch{\"{a}}f}, title = {Multistaging to understand: Distilling the essence of java code examples}, booktitle = {24th {IEEE} International Conference on Program Comprehension, {ICPC} 2016, Austin, TX, USA, May 16-17, 2016}, pages = {1--10}, publisher = {{IEEE} Computer Society}, year = {2016}, url = {https://doi.org/10.1109/ICPC.2016.7503708}, doi = {10.1109/ICPC.2016.7503708}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iwpc/SanchezWS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tap/PodelskiSW16, author = {Andreas Podelski and Martin Sch{\"{a}}f and Thomas Wies}, editor = {Bernhard K. Aichernig and Carlo A. Furia}, title = {Classifying Bugs with Interpolants}, booktitle = {Tests and Proofs - 10th International Conference, TAP@STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9762}, pages = {151--168}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-41135-4\_9}, doi = {10.1007/978-3-319-41135-4\_9}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tap/PodelskiSW16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/SchafT15, author = {Martin Sch{\"{a}}f and Ashish Tiwari}, editor = {Bernd Finkbeiner and Geguang Pu and Lijun Zhang}, title = {Severity Levels of Inconsistent Code}, booktitle = {Automated Technology for Verification and Analysis - 13th International Symposium, {ATVA} 2015, Shanghai, China, October 12-15, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9364}, pages = {97--113}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-24953-7\_8}, doi = {10.1007/978-3-319-24953-7\_8}, timestamp = {Wed, 06 Nov 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/atva/SchafT15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/McCarthyRS15, author = {Tim McCarthy and Philipp R{\"{u}}mmer and Martin Sch{\"{a}}f}, editor = {Antonia Bertolino and Gerardo Canfora and Sebastian G. Elbaum}, title = {Bixie: Finding and Understanding Inconsistent Code}, booktitle = {37th {IEEE/ACM} International Conference on Software Engineering, {ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 2}, pages = {645--648}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/ICSE.2015.213}, doi = {10.1109/ICSE.2015.213}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icse/McCarthyRS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/Schwartz-Narbonne15, author = {Daniel Schwartz{-}Narbonne and Chanseok Oh and Martin Sch{\"{a}}f and Thomas Wies}, editor = {Antonia Bertolino and Gerardo Canfora and Sebastian G. Elbaum}, title = {{VERMEER:} {A} Tool for Tracing and Explaining Faulty {C} Programs}, booktitle = {37th {IEEE/ACM} International Conference on Software Engineering, {ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 2}, pages = {737--740}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/ICSE.2015.236}, doi = {10.1109/ICSE.2015.236}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icse/Schwartz-Narbonne15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/KahsaiNJS15, author = {Temesghen Kahsai and Jorge A. Navas and Dejan Jovanovic and Martin Sch{\"{a}}f}, editor = {Martin Davis and Ansgar Fehnker and Annabelle McIver and Andrei Voronkov}, title = {Finding Inconsistencies in Programs with Loops}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, {LPAR-20} 2015, Suva, Fiji, November 24-28, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9450}, pages = {499--514}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-662-48899-7\_35}, doi = {10.1007/978-3-662-48899-7\_35}, timestamp = {Mon, 03 Jan 2022 22:31:30 +0100}, biburl = {https://dblp.org/rec/conf/lpar/KahsaiNJS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/FavaSLST15, author = {Daniel Fava and Julien Signoles and Matthieu Lemerre and Martin Sch{\"{a}}f and Ashish Tiwari}, editor = {Martin Davis and Ansgar Fehnker and Annabelle McIver and Andrei Voronkov}, title = {Gamifying Program Analysis}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, {LPAR-20} 2015, Suva, Fiji, November 24-28, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9450}, pages = {591--605}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-662-48899-7\_41}, doi = {10.1007/978-3-662-48899-7\_41}, timestamp = {Wed, 06 Nov 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lpar/FavaSLST15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nfm/Schwartz-Narbonne15, author = {Daniel Schwartz{-}Narbonne and Martin Sch{\"{a}}f and Dejan Jovanovic and Philipp R{\"{u}}mmer and Thomas Wies}, editor = {Klaus Havelund and Gerard J. Holzmann and Rajeev Joshi}, title = {Conflict-Directed Graph Coverage}, booktitle = {{NASA} Formal Methods - 7th International Symposium, {NFM} 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9058}, pages = {327--342}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-17524-9\_23}, doi = {10.1007/978-3-319-17524-9\_23}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/nfm/Schwartz-Narbonne15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/nfm/ArltRRSS14, author = {Stephan Arlt and Cindy Rubio{-}Gonz{\'{a}}lez and Philipp R{\"{u}}mmer and Martin Sch{\"{a}}f and Natarajan Shankar}, editor = {Julia M. Badger and Kristin Yvonne Rozier}, title = {The Gradual Verifier}, booktitle = {{NASA} Formal Methods - 6th International Symposium, {NFM} 2014, Houston, TX, USA, April 29 - May 1, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8430}, pages = {313--327}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-06200-6\_27}, doi = {10.1007/978-3-319-06200-6\_27}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/nfm/ArltRRSS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/scam/OhSSW14, author = {Chanseok Oh and Martin Sch{\"{a}}f and Daniel Schwartz{-}Narbonne and Thomas Wies}, title = {Concolic Fault Localization}, booktitle = {14th {IEEE} International Working Conference on Source Code Analysis and Manipulation, {SCAM} 2014, Victoria, BC, Canada, September 28-29, 2014}, pages = {135--144}, publisher = {{IEEE} Computer Society}, year = {2014}, url = {https://doi.org/10.1109/SCAM.2014.22}, doi = {10.1109/SCAM.2014.22}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/scam/OhSSW14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/ArltRS13, author = {Stephan Arlt and Philipp R{\"{u}}mmer and Martin Sch{\"{a}}f}, editor = {Dang Van Hung and Mizuhito Ogawa}, title = {A Theory for Control-Flow Graph Exploration}, booktitle = {Automated Technology for Verification and Analysis - 11th International Symposium, {ATVA} 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8172}, pages = {506--515}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-319-02444-8\_44}, doi = {10.1007/978-3-319-02444-8\_44}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/atva/ArltRS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfem/ArltLS13, author = {Stephan Arlt and Zhiming Liu and Martin Sch{\"{a}}f}, editor = {Lindsay Groves and Jing Sun}, title = {Reconstructing Paths for Reachable Code}, booktitle = {Formal Methods and Software Engineering - 15th International Conference on Formal Engineering Methods, {ICFEM} 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8144}, pages = {431--446}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-41202-8\_28}, doi = {10.1007/978-3-642-41202-8\_28}, timestamp = {Tue, 14 May 2019 10:00:50 +0200}, biburl = {https://dblp.org/rec/conf/icfem/ArltLS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pldi/ArltRS13, author = {Stephan Arlt and Philipp R{\"{u}}mmer and Martin Sch{\"{a}}f}, editor = {Patrick Lam and Elena Sherman}, title = {Joogie: from Java through Jimple to Boogie}, booktitle = {Proceedings of the 2nd {ACM} {SIGPLAN} International Workshop on State Of the Art in Java Program analysis, {SOAP} 2013, Seattle, WA, USA, June 20, 2013}, pages = {3--8}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2487568.2487570}, doi = {10.1145/2487568.2487570}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pldi/ArltRS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/SchafSW13, author = {Martin Sch{\"{a}}f and Daniel Schwartz{-}Narbonne and Thomas Wies}, editor = {Bertrand Meyer and Luciano Baresi and Mira Mezini}, title = {Explaining inconsistent code}, booktitle = {Joint Meeting of the European Software Engineering Conference and the {ACM} {SIGSOFT} Symposium on the Foundations of Software Engineering, ESEC/FSE'13, Saint Petersburg, Russian Federation, August 18-26, 2013}, pages = {521--531}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2491411.2491448}, doi = {10.1145/2491411.2491448}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sigsoft/SchafSW13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vmcai/ChristESW13, author = {J{\"{u}}rgen Christ and Evren Ermis and Martin Sch{\"{a}}f and Thomas Wies}, editor = {Roberto Giacobazzi and Josh Berdine and Isabella Mastroeni}, title = {Flow-Sensitive Fault Localization}, booktitle = {Verification, Model Checking, and Abstract Interpretation, 14th International Conference, {VMCAI} 2013, Rome, Italy, January 20-22, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7737}, pages = {189--208}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-35873-9\_13}, doi = {10.1007/978-3-642-35873-9\_13}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/vmcai/ChristESW13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1305-0787, author = {Daniel Dietsch and Andreas Podelski and Jaechang Nam and Pantelis M. Papadopoulos and Martin Sch{\"{a}}f}, title = {Monitoring Student Activity in Collaborative Software Development}, journal = {CoRR}, volume = {abs/1305.0787}, year = {2013}, url = {http://arxiv.org/abs/1305.0787}, eprinttype = {arXiv}, eprint = {1305.0787}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1305-0787.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ac/ArltBPS12, author = {Stephan Arlt and Cristiano Bertolini and Simon Pahl and Martin Sch{\"{a}}f}, title = {Trends in Model-based {GUI} Testing}, journal = {Adv. Comput.}, volume = {86}, pages = {183--222}, year = {2012}, url = {https://doi.org/10.1016/B978-0-12-396535-6.00006-5}, doi = {10.1016/B978-0-12-396535-6.00006-5}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ac/ArltBPS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/ArltS12, author = {Stephan Arlt and Martin Sch{\"{a}}f}, editor = {P. Madhusudan and Sanjit A. Seshia}, title = {Joogie: Infeasible Code Detection for Java}, booktitle = {Computer Aided Verification - 24th International Conference, {CAV} 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7358}, pages = {767--773}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-31424-7\_62}, doi = {10.1007/978-3-642-31424-7\_62}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/cav/ArltS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/ErmisSW12, author = {Evren Ermis and Martin Sch{\"{a}}f and Thomas Wies}, editor = {Dimitra Giannakopoulou and Dominique M{\'{e}}ry}, title = {Error Invariants}, booktitle = {{FM} 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7436}, pages = {187--201}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-32759-9\_17}, doi = {10.1007/978-3-642-32759-9\_17}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fm/ErmisSW12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issre/ArltPBSBM12, author = {Stephan Arlt and Andreas Podelski and Cristiano Bertolini and Martin Sch{\"{a}}f and Ishan Banerjee and Atif M. Memon}, title = {Lightweight Static Analysis for {GUI} Testing}, booktitle = {23rd {IEEE} International Symposium on Software Reliability Engineering, {ISSRE} 2012, Dallas, TX, USA, November 27-30, 2012}, pages = {301--310}, publisher = {{IEEE} Computer Society}, year = {2012}, url = {https://doi.org/10.1109/ISSRE.2012.25}, doi = {10.1109/ISSRE.2012.25}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/issre/ArltPBSBM12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pts/ArltBSP12, author = {Stephan Arlt and Pedro Borromeo and Martin Sch{\"{a}}f and Andreas Podelski}, editor = {Brian Nielsen and Carsten Weise}, title = {Parameterized {GUI} Tests}, booktitle = {Testing Software and Systems - 24th {IFIP} {WG} 6.1 International Conference, {ICTSS} 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7641}, pages = {247--262}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-34691-0\_18}, doi = {10.1007/978-3-642-34691-0\_18}, timestamp = {Sat, 30 Sep 2023 09:55:01 +0200}, biburl = {https://dblp.org/rec/conf/pts/ArltBSP12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vstte/BertoliniSS12, author = {Cristiano Bertolini and Martin Sch{\"{a}}f and Pascal Schweitzer}, editor = {Rajeev Joshi and Peter M{\"{u}}ller and Andreas Podelski}, title = {Infeasible Code Detection}, booktitle = {Verified Software: Theories, Tools, Experiments - 4th International Conference, {VSTTE} 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7152}, pages = {310--325}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-27705-4\_24}, doi = {10.1007/978-3-642-27705-4\_24}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/vstte/BertoliniSS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1205-4928, author = {Stephan Arlt and Ishan Banerjee and Cristiano Bertolini and Atif M. Memon and Martin Sch{\"{a}}f}, title = {Grey-box {GUI} Testing: Efficient Generation of Event Sequences}, journal = {CoRR}, volume = {abs/1205.4928}, year = {2012}, url = {http://arxiv.org/abs/1205.4928}, eprinttype = {arXiv}, eprint = {1205.4928}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1205-4928.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1205-6527, author = {J{\"{u}}rgen Christ and Jochen Hoenicke and Martin Sch{\"{a}}f}, title = {Towards Bounded Infeasible Code Detection}, journal = {CoRR}, volume = {abs/1205.6527}, year = {2012}, url = {http://arxiv.org/abs/1205.6527}, eprinttype = {arXiv}, eprint = {1205.6527}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1205-6527.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@phdthesis{DBLP:phd/dnb/Schaf11, author = {Martin Sch{\"{a}}f}, title = {Static detection of inevitable errors = Statische Erkennung von unvermeidbaren Fehlern}, school = {University of Freiburg, Germany}, year = {2011}, url = {https://www.freidok.uni-freiburg.de/data/8200}, urn = {urn:nbn:de:bsz:25-opus-82004}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/phd/dnb/Schaf11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fhies/BertoliniSS11, author = {Cristiano Bertolini and Martin Sch{\"{a}}f and Volker Stolz}, editor = {Zhiming Liu and Alan Wassyng}, title = {Towards a Formal Integrated Model of Collaborative Healthcare Workflows}, booktitle = {Foundations of Health Informatics Engineering and Systems - First International Symposium, {FHIES} 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7151}, pages = {57--74}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-32355-3\_4}, doi = {10.1007/978-3-642-32355-3\_4}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/fhies/BertoliniSS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icst/ArltBS11, author = {Stephan Arlt and Cristiano Bertolini and Martin Sch{\"{a}}f}, title = {Behind the Scenes: An Approach to Incorporate Context in {GUI} Test Case Generation}, booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Berlin, Germany, 21-25 March, 2011, Workshop Proceedings}, pages = {222--231}, publisher = {{IEEE} Computer Society}, year = {2011}, url = {https://doi.org/10.1109/ICSTW.2011.70}, doi = {10.1109/ICSTW.2011.70}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icst/ArltBS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/HoenickeLPSW10, author = {Jochen Hoenicke and K. Rustan M. Leino and Andreas Podelski and Martin Sch{\"{a}}f and Thomas Wies}, title = {Doomed program points}, journal = {Formal Methods Syst. Des.}, volume = {37}, number = {2-3}, pages = {171--199}, year = {2010}, url = {https://doi.org/10.1007/s10703-010-0102-0}, doi = {10.1007/S10703-010-0102-0}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fmsd/HoenickeLPSW10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isola/LiLSY10, author = {Xiaoshan Li and Zhiming Liu and Martin Sch{\"{a}}f and Ling Yin}, editor = {Tiziana Margaria and Bernhard Steffen}, title = {AutoPA: Automatic Prototyping from Requirements}, booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {6415}, pages = {609--624}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-16558-0\_49}, doi = {10.1007/978-3-642-16558-0\_49}, timestamp = {Sun, 02 Jun 2019 21:11:28 +0200}, biburl = {https://dblp.org/rec/conf/isola/LiLSY10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/HoenickeLPSW09, author = {Jochen Hoenicke and K. Rustan M. Leino and Andreas Podelski and Martin Sch{\"{a}}f and Thomas Wies}, editor = {Ana Cavalcanti and Dennis Dams}, title = {It's Doomed; We Can Prove It}, booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5850}, pages = {338--353}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-05089-3\_22}, doi = {10.1007/978-3-642-05089-3\_22}, timestamp = {Mon, 21 Feb 2022 14:40:51 +0100}, biburl = {https://dblp.org/rec/conf/fm/HoenickeLPSW09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.