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)

Who's online

We have 66 guests and no members online

Site Hosted by

ETAPS 2013

logo_sapienza