Abstract is missing.
- We Need a Testability Transformation SemanticsMark Harman. 3-17 [doi]
- From Software Specifications to Constraint ProgrammingStefan Hallerstede, Miran Hasanagic, Sebastian Krings, Peter Gorm Larsen, Michael Leuschel. 21-36 [doi]
- Automated Specification Extraction and Analysis with SpecstractorChristoph Schulze, Rance Cleaveland, Mikael Lindvall. 37-53 [doi]
- Bridging the Gap Between Informal Requirements and Formal Specifications Using Model FederationFahad Rafique Golra, Fabien Dagnat, Jeanine Souquières, Imen Sayar, Sylvain Guérin. 54-69 [doi]
- Program Verification for Exception Handling on Active Objects Using FuturesCrystal Chang Din, Rudolf Schlatte, Tzu-Chun Chen. 73-88 [doi]
- Spread the Work: Multi-threaded Safety Analysis for Hybrid SystemsStefan Schupp, Erika Ábrahám. 89-104 [doi]
- FastLane Is Opaque - a Case Study in Mechanized Proofs of OpacityGerhard Schellhorn, Monika Wedel, Oleg Travkin, Jürgen König, Heike Wehrheim. 105-120 [doi]
- Monte Carlo Tree Search for Finding Costly Paths in ProgramsKasper Søe Luckow, Corina S. Pasareanu, Willem Visser. 123-138 [doi]
- A Cloud-Based Execution Framework for Program AnalysisDaniel Balasubramanian, Dmitriy Kostyuchenko, Kasper Søe Luckow, Rody Kersten, Gabor Karsai. 139-154 [doi]
- Cross-Architecture Lifter SynthesisRijnard van Tonder, Claire Le Goues. 155-170 [doi]
- Counterexample Simplification for Liveness Property ViolationGianluca Barbon, Vincent Leroy 0001, Gwen Salaün. 173-188 [doi]
- Online Enumeration of All Minimal Inductive Validity CoresJaroslav Bendík, Elaheh Ghassabani, Michael W. Whalen, Ivana Cerná. 189-204 [doi]
- Prevent : A Predictive Run-Time Verification Framework Using Statistical LearningReza Babaee, Arie Gurfinkel, Sebastian Fischmeister. 205-220 [doi]
- Formal Verification of Platoon Control StrategiesAdnan Rashid, Umair Siddique, Osman Hasan. 223-238 [doi]
- Exploring Properties of a Telecommunication Protocol with Message Delay Using Interactive Theorem ProverCatherine Dubois, Olga Grinchtein, Justin Pearson, Mats Carlsson. 239-253 [doi]
- Automated Validation of IoT Device Control Programs Through Domain-Specific Model GenerationYunja Choi. 254-268 [doi]
- Graph-Based Shape Analysis Beyond Context-FreenessHannah Arndt, Christina Jansen, Christoph Matheja, Thomas Noll. 271-286 [doi]
- Facilitating Component Reusability in Embedded Systems with GPUsGabriel Campeanu. 287-301 [doi]