FASE 2017 accepted papers

Jingyi Wang, Jun Sun, Qixia Yuan and Jun Pang. Should We Learn Probabilistic Models for Model Checking? A New Approach and an Empirical Study
Van-Thuan Pham, Sakaar Khurana, Subhajit Roy and Abhik Roychoudhury. Bucketing Failing Tests via Symbolic Analysis
Christopher Alvin, Supratik Mukhopadhyay and Brian Peterson. StaticGen: Static Generation of UML Sequence Diagrams
Erik Krogh Kristensen and Anders Møller. Inference and Evolution of TypeScript Declaration Files
Raymond Hu and Nobuko Yoshida. Explicit Connection Actions in Multiparty Session Types
Steffen Zschaler and Francisco Durán. GTS Families for the Flexible Composition of Graph Transformation Systems
Zinovy Diskin, Abel Gómez-Llana and Jordi Cabot. Traceability Mappings as a Fundamental Instrument in Model Transformations
Juan De Lara, Juri Di Rocco, Davide Di Ruscio, Esther Guerra, Ludovico Iovino, Alfonso Pierantonio and Jesús Sánchez Cuadrado. Reusing Model Transformations through Typing Requirement Models
Zheng Cheng and Massimo Tisi. A deductive approach for fault localization in ATL model transformations
Aleksandar S. Dimovski and Andrzej Wasowski. Variability-specific Abstraction Refinement for Family-based Model Checking
Cristiano Araújo, Ingrid Nunes and Daltro Nunes. On the Effectiveness of Bug Predictors with Procedural Systems: a Quantitative Study
Dimitar Asenov, Balz Guenat, Peter Müller and Martin Otth. Precise Version Control of Trees with Line-based Version Control Systems
Gabriele Taentzer, Manuel Ohrndorf, Yngve Lamo and Adrian Rutle. Change-preserving model repair
Noomene Ben Henda, Björn Johansson, Patrik Lantz, Karl Norrman, Pasi Saarinen and Oskar Segersvärd. OpenSAW: Open Security Analysis Workbench
Adrian Riesco, Irina Mariuca Asavoae and Mihail Asavoae. Slicing from Formal Semantics: Chisel
Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan and Michael Lienhardt. A Unified and Formal Programming Model for Deltas and Traits
Vajih Montaghami and Derek Rayside. Bordeaux: a tool for thinking outside the box
Abdulbaki Aydin, David Piorkowski, Omer Tripp, Pietro Ferrara and Marco Pistoia. Visual Configuration of Mobile Privacy Policies
Marcelo Ariel Uva, Pablo Ponzio, Germán Regis, Nazareno Aguirre and Marcelo Frias. Automated Workarounds from Java Program Specifications based on SAT Solving
Ripon Saha and Milos Gligoric. Selective Bisection Debugging
Maurice H. Ter Beek, Erik De Vink and Tim Willemse. Family-Based Model Checking with mCRL2
Sven Schneider, Leen Lambers and Fernando Orejas. Symbolic Model Generation for Graph Properties
Andreas Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger and André Platzer. Change and Delay Contracts for Hybrid System Component Verification
Erhan Leblebici, Anthony Anjorin and Andy Schürr. Inter-Model Consistency Checking using Triple Graph Grammars and Linear Optimization Techniques
Jesus Doménech, Samir Genaim, Einar Broch Johnsen and Rudolf Schlatte. EasyInterface: A toolkit for the rapid development of GUIs for research prototype tools

Who's online

We have 105 guests and no members online

Site Hosted by