BibTeX records: Martin Schäf

download as .bib file

@inproceedings{DBLP:conf/lpar/BjornerJLRS17,
  author    = {Nikolaj Bj{\o}rner and
               Dejan Jovanovic and
               Tancr{\`{e}}de Lepoint and
               Philipp R{\"{u}}mmer and
               Martin Sch{\"{a}}f},
  title     = {Abduction by Non-Experts},
  booktitle = {IWIL@LPAR 2017 Workshop and {LPAR-21} Short Presentations, Maun, Botswana,
               May 7-12, 2017},
  year      = {2017},
  crossref  = {DBLP:conf/lpar/2017iwil},
  url       = {http://www.easychair.org/publications/paper/342982},
  timestamp = {Wed, 22 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/BjornerJLRS17},
  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},
  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},
  pages     = {368--384},
  year      = {2017},
  crossref  = {DBLP:conf/lpar/2017},
  url       = {http://www.easychair.org/publications/paper/340351},
  timestamp = {Thu, 23 Nov 2017 16:56:11 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/KahsaiKRS17},
  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} Software Engineering Notes},
  volume    = {41},
  number    = {6},
  pages     = {1--5},
  year      = {2016},
  url       = {https://doi.org/10.1145/3011286.3011294},
  doi       = {10.1145/3011286.3011294},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/sigsoft/KerstenSK16},
  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},
  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}},
  pages     = {352--358},
  year      = {2016},
  crossref  = {DBLP:conf/cav/2016-1},
  url       = {https://doi.org/10.1007/978-3-319-41528-4\_19},
  doi       = {10.1007/978-3-319-41528-4\_19},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/KahsaiRSS16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/FavaSOSW16,
  author    = {Daniel Fava and
               Dan Shapiro and
               Joseph C. Osborn and
               Martin Sch{\"{a}}f and
               E. James Whitehead Jr.},
  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},
  year      = {2016},
  crossref  = {DBLP:conf/icse/2016},
  url       = {https://doi.org/10.1145/2884781.2884865},
  doi       = {10.1145/2884781.2884865},
  timestamp = {Tue, 06 Nov 2018 11:06:56 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icse/FavaSOSW16},
  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},
  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},
  pages     = {315--330},
  year      = {2016},
  crossref  = {DBLP:conf/icsr/2016},
  url       = {https://doi.org/10.1007/978-3-319-35122-3\_21},
  doi       = {10.1007/978-3-319-35122-3\_21},
  timestamp = {Sat, 02 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icsr/LiSSSS16},
  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},
  year      = {2016},
  crossref  = {DBLP:conf/iwpc/2016},
  url       = {https://doi.org/10.1109/ICPC.2016.7503708},
  doi       = {10.1109/ICPC.2016.7503708},
  timestamp = {Mon, 22 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iwpc/SanchezWS16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/PodelskiSW16,
  author    = {Andreas Podelski and
               Martin Sch{\"{a}}f and
               Thomas Wies},
  title     = {Classifying Bugs with Interpolants},
  booktitle = {Tests and Proofs - 10th International Conference, {TAP} 2016, Held
               as Part of {STAF} 2016, Vienna, Austria, July 5-7, 2016, Proceedings},
  pages     = {151--168},
  year      = {2016},
  crossref  = {DBLP:conf/tap/2016},
  url       = {https://doi.org/10.1007/978-3-319-41135-4\_9},
  doi       = {10.1007/978-3-319-41135-4\_9},
  timestamp = {Fri, 19 May 2017 01:25:21 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tap/PodelskiSW16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/SchafT15,
  author    = {Martin Sch{\"{a}}f and
               Ashish Tiwari},
  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},
  pages     = {97--113},
  year      = {2015},
  crossref  = {DBLP:conf/atva/2015},
  url       = {https://doi.org/10.1007/978-3-319-24953-7\_8},
  doi       = {10.1007/978-3-319-24953-7\_8},
  timestamp = {Mon, 31 Jul 2017 09:06:24 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/SchafT15},
  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},
  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},
  year      = {2015},
  crossref  = {DBLP:conf/icse/2015-2},
  url       = {https://doi.org/10.1109/ICSE.2015.213},
  doi       = {10.1109/ICSE.2015.213},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/McCarthyRS15},
  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},
  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},
  year      = {2015},
  crossref  = {DBLP:conf/icse/2015-2},
  url       = {https://doi.org/10.1109/ICSE.2015.236},
  doi       = {10.1109/ICSE.2015.236},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/Schwartz-Narbonne15},
  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},
  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},
  pages     = {499--514},
  year      = {2015},
  crossref  = {DBLP:conf/lpar/2015},
  url       = {https://doi.org/10.1007/978-3-662-48899-7\_35},
  doi       = {10.1007/978-3-662-48899-7\_35},
  timestamp = {Fri, 02 Nov 2018 09:44:58 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/KahsaiNJS15},
  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},
  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},
  pages     = {591--605},
  year      = {2015},
  crossref  = {DBLP:conf/lpar/2015},
  url       = {https://doi.org/10.1007/978-3-662-48899-7\_41},
  doi       = {10.1007/978-3-662-48899-7\_41},
  timestamp = {Fri, 02 Nov 2018 09:44:58 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/FavaSLST15},
  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},
  title     = {Conflict-Directed Graph Coverage},
  booktitle = {{NASA} Formal Methods - 7th International Symposium, {NFM} 2015, Pasadena,
               CA, USA, April 27-29, 2015, Proceedings},
  pages     = {327--342},
  year      = {2015},
  crossref  = {DBLP:conf/nfm/2015},
  url       = {https://doi.org/10.1007/978-3-319-17524-9\_23},
  doi       = {10.1007/978-3-319-17524-9\_23},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/nfm/Schwartz-Narbonne15},
  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},
  title     = {The Gradual Verifier},
  booktitle = {{NASA} Formal Methods - 6th International Symposium, {NFM} 2014, Houston,
               TX, USA, April 29 - May 1, 2014. Proceedings},
  pages     = {313--327},
  year      = {2014},
  crossref  = {DBLP:conf/nfm/2014},
  url       = {https://doi.org/10.1007/978-3-319-06200-6\_27},
  doi       = {10.1007/978-3-319-06200-6\_27},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/nfm/ArltRRSS14},
  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},
  year      = {2014},
  crossref  = {DBLP:conf/scam/2014},
  url       = {https://doi.org/10.1109/SCAM.2014.22},
  doi       = {10.1109/SCAM.2014.22},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/scam/OhSSW14},
  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},
  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},
  pages     = {506--515},
  year      = {2013},
  crossref  = {DBLP:conf/atva/2013},
  url       = {https://doi.org/10.1007/978-3-319-02444-8\_44},
  doi       = {10.1007/978-3-319-02444-8\_44},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/ArltRS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/ArltLS13,
  author    = {Stephan Arlt and
               Zhiming Liu and
               Martin Sch{\"{a}}f},
  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},
  pages     = {431--446},
  year      = {2013},
  crossref  = {DBLP:conf/icfem/2013},
  url       = {https://doi.org/10.1007/978-3-642-41202-8\_28},
  doi       = {10.1007/978-3-642-41202-8\_28},
  timestamp = {Sun, 04 Jun 2017 10:07:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfem/ArltLS13},
  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},
  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},
  year      = {2013},
  crossref  = {DBLP:conf/pldi/2013soap},
  url       = {https://doi.org/10.1145/2487568.2487570},
  doi       = {10.1145/2487568.2487570},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/ArltRS13},
  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},
  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},
  year      = {2013},
  crossref  = {DBLP:conf/sigsoft/2013},
  url       = {https://doi.org/10.1145/2491411.2491448},
  doi       = {10.1145/2491411.2491448},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/SchafSW13},
  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},
  title     = {Flow-Sensitive Fault Localization},
  booktitle = {Verification, Model Checking, and Abstract Interpretation, 14th International
               Conference, {VMCAI} 2013, Rome, Italy, January 20-22, 2013. Proceedings},
  pages     = {189--208},
  year      = {2013},
  crossref  = {DBLP:conf/vmcai/2013},
  url       = {https://doi.org/10.1007/978-3-642-35873-9\_13},
  doi       = {10.1007/978-3-642-35873-9\_13},
  timestamp = {Wed, 24 May 2017 08:30:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/ChristESW13},
  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},
  archivePrefix = {arXiv},
  eprint    = {1305.0787},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1305-0787},
  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   = {Advances in Computers},
  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, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ac/ArltBPS12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ArltS12,
  author    = {Stephan Arlt and
               Martin Sch{\"{a}}f},
  title     = {Joogie: Infeasible Code Detection for Java},
  booktitle = {Computer Aided Verification - 24th International Conference, {CAV}
               2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings},
  pages     = {767--773},
  year      = {2012},
  crossref  = {DBLP:conf/cav/2012},
  url       = {https://doi.org/10.1007/978-3-642-31424-7\_62},
  doi       = {10.1007/978-3-642-31424-7\_62},
  timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/ArltS12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/ErmisSW12,
  author    = {Evren Ermis and
               Martin Sch{\"{a}}f and
               Thomas Wies},
  title     = {Error Invariants},
  booktitle = {{FM} 2012: Formal Methods - 18th International Symposium, Paris, France,
               August 27-31, 2012. Proceedings},
  pages     = {187--201},
  year      = {2012},
  crossref  = {DBLP:conf/fm/2012},
  url       = {https://doi.org/10.1007/978-3-642-32759-9\_17},
  doi       = {10.1007/978-3-642-32759-9\_17},
  timestamp = {Mon, 22 May 2017 17:11:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/ErmisSW12},
  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},
  year      = {2012},
  crossref  = {DBLP:conf/issre/2012},
  url       = {https://doi.org/10.1109/ISSRE.2012.25},
  doi       = {10.1109/ISSRE.2012.25},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/issre/ArltPBSBM12},
  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},
  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},
  pages     = {247--262},
  year      = {2012},
  crossref  = {DBLP:conf/pts/2012},
  url       = {https://doi.org/10.1007/978-3-642-34691-0\_18},
  doi       = {10.1007/978-3-642-34691-0\_18},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pts/ArltBSP12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/BertoliniSS12,
  author    = {Cristiano Bertolini and
               Martin Sch{\"{a}}f and
               Pascal Schweitzer},
  title     = {Infeasible Code Detection},
  booktitle = {Verified Software: Theories, Tools, Experiments - 4th International
               Conference, {VSTTE} 2012, Philadelphia, PA, USA, January 28-29, 2012.
               Proceedings},
  pages     = {310--325},
  year      = {2012},
  crossref  = {DBLP:conf/vstte/2012},
  url       = {https://doi.org/10.1007/978-3-642-27705-4\_24},
  doi       = {10.1007/978-3-642-27705-4\_24},
  timestamp = {Tue, 23 May 2017 01:06:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vstte/BertoliniSS12},
  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},
  archivePrefix = {arXiv},
  eprint    = {1205.4928},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1205-4928},
  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},
  archivePrefix = {arXiv},
  eprint    = {1205.6527},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1205-6527},
  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 = {Mon, 30 Jan 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/phd/dnb/Schaf11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fhies/BertoliniSS11,
  author    = {Cristiano Bertolini and
               Martin Sch{\"{a}}f and
               Volker Stolz},
  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},
  pages     = {57--74},
  year      = {2011},
  crossref  = {DBLP:conf/fhies/2011},
  url       = {https://doi.org/10.1007/978-3-642-32355-3\_4},
  doi       = {10.1007/978-3-642-32355-3\_4},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fhies/BertoliniSS11},
  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},
  year      = {2011},
  crossref  = {DBLP:conf/icst/2011w},
  url       = {https://doi.org/10.1109/ICSTW.2011.70},
  doi       = {10.1109/ICSTW.2011.70},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icst/ArltBS11},
  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 in System Design},
  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, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fmsd/HoenickeLPSW10},
  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},
  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}},
  pages     = {609--624},
  year      = {2010},
  crossref  = {DBLP:conf/isola/2010-1},
  url       = {https://doi.org/10.1007/978-3-642-16558-0\_49},
  doi       = {10.1007/978-3-642-16558-0\_49},
  timestamp = {Fri, 02 Nov 2018 09:34:27 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/isola/LiLSY10},
  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},
  title     = {It's Doomed; We Can Prove It},
  booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
               November 2-6, 2009. Proceedings},
  pages     = {338--353},
  year      = {2009},
  crossref  = {DBLP:conf/fm/2009},
  url       = {https://doi.org/10.1007/978-3-642-05089-3\_22},
  doi       = {10.1007/978-3-642-05089-3\_22},
  timestamp = {Mon, 22 May 2017 17:11:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/HoenickeLPSW09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpar/2017iwil,
  editor    = {Thomas Eiter and
               David Sands and
               Geoff Sutcliffe and
               Andrei Voronkov},
  title     = {IWIL@LPAR 2017 Workshop and {LPAR-21} Short Presentations, Maun, Botswana,
               May 7-12, 2017},
  series    = {Kalpa Publications in Computing},
  volume    = {1},
  publisher = {EasyChair},
  year      = {2017},
  url       = {https://easychair.org/publications/volume/LPAR-21S},
  timestamp = {Tue, 27 Jun 2017 18:13:16 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/2017iwil},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpar/2017,
  editor    = {Thomas Eiter and
               David Sands},
  title     = {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},
  publisher = {EasyChair},
  year      = {2017},
  url       = {http://www.easychair.org/publications/volume/LPAR-21},
  timestamp = {Thu, 23 Nov 2017 16:56:11 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2016-1,
  editor    = {Swarat Chaudhuri and
               Azadeh Farzan},
  title     = {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},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-41528-4},
  doi       = {10.1007/978-3-319-41528-4},
  isbn      = {978-3-319-41527-7},
  timestamp = {Thu, 25 May 2017 00:39:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2016-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2016,
  editor    = {Laura K. Dillon and
               Willem Visser and
               Laurie Williams},
  title     = {Proceedings of the 38th International Conference on Software Engineering,
               {ICSE} 2016, Austin, TX, USA, May 14-22, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2884781},
  doi       = {10.1145/2884781},
  isbn      = {978-1-4503-3900-1},
  timestamp = {Tue, 06 Nov 2018 11:06:56 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icsr/2016,
  editor    = {Georgia M. Kapitsaki and
               Eduardo Santana de Almeida},
  title     = {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},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-35122-3},
  doi       = {10.1007/978-3-319-35122-3},
  isbn      = {978-3-319-35121-6},
  timestamp = {Tue, 23 May 2017 01:08:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icsr/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iwpc/2016,
  title     = {24th {IEEE} International Conference on Program Comprehension, {ICPC}
               2016, Austin, TX, USA, May 16-17, 2016},
  publisher = {{IEEE} Computer Society},
  year      = {2016},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7500162},
  isbn      = {978-1-5090-1428-6},
  timestamp = {Wed, 20 Jul 2016 08:38:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iwpc/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tap/2016,
  editor    = {Bernhard K. Aichernig and
               Carlo A. Furia},
  title     = {Tests and Proofs - 10th International Conference, {TAP} 2016, Held
               as Part of {STAF} 2016, Vienna, Austria, July 5-7, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9762},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-41135-4},
  doi       = {10.1007/978-3-319-41135-4},
  isbn      = {978-3-319-41134-7},
  timestamp = {Fri, 19 May 2017 01:25:21 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tap/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atva/2015,
  editor    = {Bernd Finkbeiner and
               Geguang Pu and
               Lijun Zhang},
  title     = {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},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-24953-7},
  doi       = {10.1007/978-3-319-24953-7},
  isbn      = {978-3-319-24952-0},
  timestamp = {Mon, 31 Jul 2017 09:06:24 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2015-2,
  editor    = {Antonia Bertolino and
               Gerardo Canfora and
               Sebastian G. Elbaum},
  title     = {37th {IEEE/ACM} International Conference on Software Engineering,
               {ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 2},
  publisher = {{IEEE} Computer Society},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7174815},
  timestamp = {Tue, 03 May 2016 15:49:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2015-2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpar/2015,
  editor    = {Martin Davis and
               Ansgar Fehnker and
               Annabelle McIver and
               Andrei Voronkov},
  title     = {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},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-662-48899-7},
  doi       = {10.1007/978-3-662-48899-7},
  isbn      = {978-3-662-48898-0},
  timestamp = {Fri, 02 Nov 2018 09:44:58 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/nfm/2015,
  editor    = {Klaus Havelund and
               Gerard J. Holzmann and
               Rajeev Joshi},
  title     = {{NASA} Formal Methods - 7th International Symposium, {NFM} 2015, Pasadena,
               CA, USA, April 27-29, 2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9058},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-17524-9},
  doi       = {10.1007/978-3-319-17524-9},
  isbn      = {978-3-319-17523-2},
  timestamp = {Thu, 25 May 2017 00:40:09 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/nfm/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/nfm/2014,
  editor    = {Julia M. Badger and
               Kristin Yvonne Rozier},
  title     = {{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},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-06200-6},
  doi       = {10.1007/978-3-319-06200-6},
  isbn      = {978-3-319-06199-3},
  timestamp = {Thu, 25 May 2017 00:40:09 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/nfm/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/scam/2014,
  title     = {14th {IEEE} International Working Conference on Source Code Analysis
               and Manipulation, {SCAM} 2014, Victoria, BC, Canada, September 28-29,
               2014},
  publisher = {{IEEE} Computer Society},
  year      = {2014},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6970367},
  isbn      = {978-0-7695-5304-7},
  timestamp = {Wed, 15 Apr 2015 18:38:11 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/scam/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atva/2013,
  editor    = {Dang Van Hung and
               Mizuhito Ogawa},
  title     = {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},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-319-02444-8},
  doi       = {10.1007/978-3-319-02444-8},
  isbn      = {978-3-319-02443-1},
  timestamp = {Sun, 21 May 2017 00:22:25 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfem/2013,
  editor    = {Lindsay Groves and
               Jing Sun},
  title     = {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},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-41202-8},
  doi       = {10.1007/978-3-642-41202-8},
  isbn      = {978-3-642-41201-1},
  timestamp = {Sun, 04 Jun 2017 10:07:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfem/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2013soap,
  editor    = {Patrick Lam and
               Elena Sherman},
  title     = {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},
  publisher = {{ACM}},
  year      = {2013},
  url       = {http://dl.acm.org/citation.cfm?id=2487568},
  isbn      = {978-1-4503-2201-0},
  timestamp = {Mon, 19 Dec 2016 07:38:57 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/2013soap},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2013,
  editor    = {Bertrand Meyer and
               Luciano Baresi and
               Mira Mezini},
  title     = {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},
  publisher = {{ACM}},
  year      = {2013},
  url       = {http://dl.acm.org/citation.cfm?id=2491411},
  isbn      = {978-1-4503-2237-9},
  timestamp = {Mon, 30 Oct 2017 11:35:10 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vmcai/2013,
  editor    = {Roberto Giacobazzi and
               Josh Berdine and
               Isabella Mastroeni},
  title     = {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},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-35873-9},
  doi       = {10.1007/978-3-642-35873-9},
  isbn      = {978-3-642-35872-2},
  timestamp = {Wed, 24 May 2017 08:30:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2012,
  editor    = {P. Madhusudan and
               Sanjit A. Seshia},
  title     = {Computer Aided Verification - 24th International Conference, {CAV}
               2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7358},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-31424-7},
  doi       = {10.1007/978-3-642-31424-7},
  isbn      = {978-3-642-31423-0},
  timestamp = {Thu, 25 May 2017 00:39:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/2012,
  editor    = {Dimitra Giannakopoulou and
               Dominique M{\'{e}}ry},
  title     = {{FM} 2012: Formal Methods - 18th International Symposium, Paris, France,
               August 27-31, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7436},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-32759-9},
  doi       = {10.1007/978-3-642-32759-9},
  isbn      = {978-3-642-32758-2},
  timestamp = {Mon, 22 May 2017 17:11:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issre/2012,
  title     = {23rd {IEEE} International Symposium on Software Reliability Engineering,
               {ISSRE} 2012, Dallas, TX, USA, November 27-30, 2012},
  publisher = {{IEEE} Computer Society},
  year      = {2012},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6403947},
  isbn      = {978-1-4673-4638-2},
  timestamp = {Tue, 28 Apr 2015 17:32:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/issre/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pts/2012,
  editor    = {Brian Nielsen and
               Carsten Weise},
  title     = {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},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-34691-0},
  doi       = {10.1007/978-3-642-34691-0},
  isbn      = {978-3-642-34690-3},
  timestamp = {Tue, 23 May 2017 01:10:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pts/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vstte/2012,
  editor    = {Rajeev Joshi and
               Peter M{\"{u}}ller and
               Andreas Podelski},
  title     = {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},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-27705-4},
  doi       = {10.1007/978-3-642-27705-4},
  isbn      = {978-3-642-27704-7},
  timestamp = {Tue, 23 May 2017 01:06:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vstte/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fhies/2011,
  editor    = {Zhiming Liu and
               Alan Wassyng},
  title     = {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},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-32355-3},
  doi       = {10.1007/978-3-642-32355-3},
  isbn      = {978-3-642-32354-6},
  timestamp = {Sun, 21 May 2017 00:17:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fhies/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icst/2011w,
  title     = {Fourth {IEEE} International Conference on Software Testing, Verification
               and Validation, {ICST} 2012, Berlin, Germany, 21-25 March, 2011, Workshop
               Proceedings},
  publisher = {{IEEE} Computer Society},
  year      = {2011},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5954009},
  isbn      = {978-0-7695-4345-1},
  timestamp = {Mon, 11 May 2015 16:37:25 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icst/2011w},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isola/2010-1,
  editor    = {Tiziana Margaria and
               Bernhard Steffen},
  title     = {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},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-16558-0},
  doi       = {10.1007/978-3-642-16558-0},
  isbn      = {978-3-642-16557-3},
  timestamp = {Fri, 02 Nov 2018 09:34:27 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/isola/2010-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/2009,
  editor    = {Ana Cavalcanti and
               Dennis Dams},
  title     = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
               November 2-6, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5850},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-05089-3},
  doi       = {10.1007/978-3-642-05089-3},
  isbn      = {978-3-642-05088-6},
  timestamp = {Mon, 22 May 2017 17:11:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier