Abstract is missing.
- Should We Learn Probabilistic Models for Model Checking? A New Approach and An Empirical StudyJingyi Wang, Jun Sun 0001, Qixia Yuan, Jun Pang. 3-21 [doi]
- Bordeaux: A Tool for Thinking Outside the BoxVajih Montaghami, Derek Rayside. 22-39 [doi]
- Bucketing Failing Tests via Symbolic AnalysisVan-Thuan Pham, Sakaar Khurana, Subhajit Roy, Abhik Roychoudhury. 43-59 [doi]
- Selective Bisection DebuggingRipon Saha, Milos Gligoric. 60-77 [doi]
- On the Effectiveness of Bug Predictors with Procedural Systems: A Quantitative StudyCristiano Werner Araújo, Ingrid Nunes, Daltro José Nunes. 78-95 [doi]
- Inference and Evolution of TypeScript Declaration FilesErik Krogh Kristensen, Anders Møller. 99-115 [doi]
- Explicit Connection Actions in Multiparty Session TypesRaymond Hu, Nobuko Yoshida. 116-133 [doi]
- Change and Delay Contracts for Hybrid System Component VerificationAndreas Müller 0002, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, André Platzer. 134-151 [doi]
- Precise Version Control of Trees with Line-Based Version Control SystemsDimitar Asenov, Balz Guenat, Peter Müller 0001, Martin Otth. 152-169 [doi]
- StaticGen: Static Generation of UML Sequence DiagramsChris Alvin, Brian Peterson, Supratik Mukhopadhyay. 173-190 [doi]
- Inter-model Consistency Checking Using Triple Graph Grammars and Linear Optimization TechniquesErhan Leblebici, Anthony Anjorin, Andy Schürr. 191-207 [doi]
- GTS Families for the Flexible Composition of Graph Transformation SystemsSteffen Zschaler, Francisco Durán. 208-225 [doi]
- Symbolic Model Generation for Graph PropertiesSven Schneider, Leen Lambers, Fernando Orejas. 226-243 [doi]
- Traceability Mappings as a Fundamental Instrument in Model TransformationsZinovy Diskin, Abel Gómez, Jordi Cabot. 247-263 [doi]
- Reusing Model Transformations Through Typing Requirements ModelsJuan de Lara, Juri Di Rocco, Davide Di Ruscio, Esther Guerra, Ludovico Iovino, Alfonso Pierantonio, Jesús Sánchez Cuadrado. 264-282 [doi]
- Change-Preserving Model RepairGabriele Taentzer, Manuel Ohrndorf, Yngve Lamo, Adrian Rutle. 283-299 [doi]
- A Deductive Approach for Fault Localization in ATL Model TransformationsZheng Cheng, Massimo Tisi. 300-317 [doi]
- OpenSAW: Open Security Analysis WorkbenchNoomene Ben Henda, Björn Johansson 0006, Patrik Lantz, Karl Norrman, Pasi Saarinen, Oskar Segersvärd. 321-337 [doi]
- Visual Configuration of Mobile Privacy PoliciesAbdulbaki Aydin, David Piorkowski, Omer Tripp, Pietro Ferrara, Marco Pistoia. 338-355 [doi]
- Automated Workarounds from Java Program Specifications Based on SAT SolvingMarcelo Uva, Pablo Ponzio, Germán Regis, Nazareno Aguirre, Marcelo F. Frias. 356-373 [doi]
- Slicing from Formal Semantics: ChiselAdrián Riesco, Irina Mariuca Asavoae, Mihail Asavoae. 374-378 [doi]
- EasyInterface: A Toolkit for Rapid Development of GUIs for Research Prototype ToolsJesús Doménech, Samir Genaim, Einar Broch Johnsen, Rudolf Schlatte. 379-383 [doi]
- Family-Based Model Checking with mCRL2Maurice H. ter Beek, Erik P. de Vink, Tim A. C. Willemse. 387-405 [doi]
- Variability-Specific Abstraction Refinement for Family-Based Model CheckingAleksandar S. Dimovski, Andrzej Wasowski. 406-423 [doi]
- A Unified and Formal Programming Model for Deltas and TraitsFerruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt. 424-441 [doi]