| 2013 | A Grey-Box Approach for Automated GUI-Model Generation of Mobile Applications. Wei Yang, Mukul R. Prasad, Tao Xie |
| 2013 | A Mechanized Model for CAN Protocols. Francesco Bongiovanni, Ludovic Henrio |
| 2013 | A Model-Based Synthesis Process for Choreography Realizability Enforcement. Marco Autili, Davide Di Ruscio, Amleto Di Salle, Paola Inverardi, Massimo Tivoli |
| 2013 | Abstraction and Training of Stochastic Graph Transformation Systems. Mayur Bapodra, Reiko Heckel |
| 2013 | Andromeda: Accurate and Scalable Security Analysis of Web Applications. Omer Tripp, Marco Pistoia, Patrick Cousot, Radhia Cousot, Salvatore Guarnieri |
| 2013 | Augmenting Sequence Enumeration with String-Rewriting for Requirements Analysis and Behavioral Specification. Lan Lin, Jesse H. Poore, Robert Eschbach, Robert M. Hierons, Christopher Robinson-Mallett |
| 2013 | Change Propagation due to Uncertainty Change. Rick Salay, Jan Gorzny, Marsha Chechik |
| 2013 | Design Pattern-Based Extension of Class Hierarchies to Support Runtime Invariant Checks. John Lasseter, John Cipriano |
| 2013 | Discovering Branching Conditions from Business Process Execution Logs. Massimiliano de Leoni, Marlon Dumas, Luciano García-Bañuelos |
| 2013 | Discovering Math APIs by Mining Unit Tests. Anirudh Santhiar, Omesh Pandita, Aditya Kanade |
| 2013 | Enforcing QVT-R with mu-Calculus and Games. Julian C. Bradfield, Perdita Stevens |
| 2013 | Explicit-State Software Model Checking Based on CEGAR and Interpolation. Dirk Beyer, Stefan Löwe |
| 2013 | Exposing Behavioral Differences in Cross-Language API Mapping Relations. Hao Zhong, Suresh Thummalapenta, Tao Xie |
| 2013 | Fundamental Approaches to Software Engineering - 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings Vittorio Cortellessa, Dániel Varró |
| 2013 | Implementing QVT-R Bidirectional Model Transformations Using Alloy. Nuno Macedo, Alcino Cunha |
| 2013 | Javanni: A Verifier for JavaScript. Martin Nordio, Cristiano Calcagno, Carlo Alberto Furia |
| 2013 | Model-Based Implementation of Parallel Real-Time Systems. Ahlem Triki, Jacques Combaz, Saddek Bensalem, Joseph Sifakis |
| 2013 | On Extracting Feature Models from Sets of Valid Feature Combinations. Evelyn Nicole Haslinger, Roberto Erick Lopez-Herrejon, Alexander Egyed |
| 2013 | On the Empirical Evaluation of Fault Localization Techniques for Spreadsheets. Birgit Hofer, André Riboira, Franz Wotawa, Rui Abreu, Elisabeth Getzner |
| 2013 | POGen: A Test Code Generator Based on Template Variable Coverage in Gray-Box Integration Testing for Web Applications. Kazunori Sakamoto, Kaizu Tomohiro, Daigo Hamura, Hironori Washizaki, Yoshiaki Fukazawa |
| 2013 | Quality of Merge-Refactorings for Product Lines. Julia Rubin, Marsha Chechik |
| 2013 | Scenario Realizability with Constraint Optimization. Rouwaida Abdallah, Arnaud Gotlieb, Loïc Hélouët, Claude Jard |
| 2013 | Testing with Inputs and Outputs in CSP. Ana Cavalcanti, Robert M. Hierons |
| 2013 | Towards Understanding the Behavior of Classes Using Probabilistic Models of Program Inputs. Arbi Bouchoucha, Houari A. Sahraoui, Pierre L'Ecuyer |
| 2013 | Towards a Distributed Modeling Process Based on Composite Models. Daniel Strüber, Gabriele Taentzer, Stefan Jurack, Tim Schäfer |
| 2013 | Variability in Software: State of the Art and Future Directions - (Extended Abstract). Krzysztof Czarnecki |
| 2013 | VerChor: A Framework for Verifying Choreographies. Matthias Güdemann, Pascal Poizat, Gwen Salaün, Alexandre Dumont |