FASE 2013 accepted papers
You can find information about LNCS proceedings (LNCS 7793) at http://www.springeronline.com/978-3-642-37056-4 or access the online version at http://www.springerlink.com/content/978-3-642-37056-4/.
Ana Cavalcanti and Robert Hierons: Testing with inputs and outputs in CSP
Evelyn Nicole Haslinger, Roberto Erick Lopez-Herrejon and Alexander Egyed: On Extracting Feature Models from Sets of Valid Feature Combinations
Hao Zhong, Suresh Thummalapenta and Tao Xie: Exposing Behavioral Differences in Cross-Language API Mapping Relations
Francesco Bongiovanni and Ludovic Henrio: A Mechanized Model for CAN Protocols
Matthias Güdemann, Pascal Poizat, Gwen Salaün and Alexandre Dumont: VerChor: A Framework for Verifying Choreographies (tool paper)
Anirudh Santhiar, Omesh Pandita and Aditya Kanade: Discovering Math APIs by Mining Unit Tests
Birgit Hofer, André Riboira, Franz Wotawa, Rui Abreu and Elisabeth Getzner: On the Empirical Evaluation of Fault Localization Techniques for Spreadsheets
Rouwaida Abdallah, Arnaud Gotlieb, Loic Helouet and Claude Jard: Scenario realizability with constraint optimization
Dirk Beyer and Stefan Löwe: Explicit-State Software Model Checking Based on CEGAR and Interpolation
Daniel Strüber, Gabriele Taentzer, Stefan Jurack and Tim Schäfer: Towards a Distributed Modeling Process Based on Composite Models
Ahlem Triki, Jacques Combaz, Saddek Bensalem and Joseph Sifakis: Model-Based Implementation of Parallel Real-Time Systems
Julia Rubin and Marsha Chechik: Quality of Merge-Refactorings for Product Lines
Massimiliano De Leoni, Marlon Dumas and Luciano García-Bañuelos: Discovering Branching Conditions from Business Process Execution Logs
Marco Autili, Davide Di Ruscio, Amleto Di Salle, Paola Inverardi and Massimo Tivoli: A model-based synthesis process for choreography realizability enforcement
Arbi Bouchoucha, Houari Sahraoui and Pierre L'Ecuyer: Towards Understanding the Behavior of Classes Using Probabilistic Models of Program Inputs
Lan Lin, Jesse H. Poore, Robert Eschbach, Rob M. Hierons and Christopher Robinson-Mallett: Augmenting Sequence Enumeration with String-Rewriting for Requirements Analysis and Behavioral Specification
Tanay Kanti Paul and Man Fai Lau: Detecting Conjunctive Literal Insertion Fault in Boolean Expressions
Rick Salay, Jan Gorzny and Marsha Chechik: Change Propagation Due to Uncertainty Change
Julian Bradfield and Perdita Stevens: Enforcing QVT-R with mu-calculus and games
Nuno Macedo and Alcino Cunha: Implementing QVT-R Bidirectional Model Transformations using Alloy
Kazunori Sakamoto, Tomohiro Kaizu, Daigo Hamura, Hironori Washizaki and Yoshiaki Fukazawa: POGen: A Test Code Generator Based on Template Variable Coverage in Gray-Box Integration Testing for Web Applications
Omer Tripp, Marco Pistoia, Patrick Cousot, Radhia Cousot and Salvatore Guarnieri: Andromeda: Accurate and Scalable Security Analysis of Web Applications
Mayur Bapodra and Reiko Heckel: Abstraction and Training of Stochastic Graph Transformation Systems
Wei Yang, Mukul Prasad and Tao Xie: A Grey-box Approach for Automated GUI-Model Generation of Mobile Applications
John Lasseter and John Cipriano: Design Pattern-Based Extension of Class Hierarchies to Support Runtime Invariant Checks
Martin Nordio, Cristiano Calcagno and Carlo Alberto Furia: Javanni: A Verifier for JavaScript (tool paper)