Abstract is missing.
- Variability in Software: State of the Art and Future Directions - (Extended Abstract)Krzysztof Czarnecki. 1-5 [doi]
- Towards a Distributed Modeling Process Based on Composite ModelsDaniel Strüber, Gabriele Taentzer, Stefan Jurack, Tim Schäfer. 6-20 [doi]
- Change Propagation due to Uncertainty ChangeRick Salay, Jan Gorzny, Marsha Chechik. 21-36 [doi]
- A Model-Based Synthesis Process for Choreography Realizability EnforcementMarco Autili, Davide Di Ruscio, Amleto Di Salle, Paola Inverardi, Massimo Tivoli. 37-52 [doi]
- On Extracting Feature Models from Sets of Valid Feature CombinationsEvelyn Nicole Haslinger, Roberto Erick Lopez-Herrejon, Alexander Egyed. 53-67 [doi]
- On the Empirical Evaluation of Fault Localization Techniques for SpreadsheetsBirgit Hofer, André Riboira, Franz Wotawa, Rui Abreu, Elisabeth Getzner. 68-82 [doi]
- Quality of Merge-Refactorings for Product LinesJulia Rubin, Marsha Chechik. 83-98 [doi]
- Towards Understanding the Behavior of Classes Using Probabilistic Models of Program InputsArbi Bouchoucha, Houari A. Sahraoui, Pierre L'Ecuyer. 99-113 [doi]
- Discovering Branching Conditions from Business Process Execution LogsMassimiliano de Leoni, Marlon Dumas, Luciano García-Bañuelos. 114-129 [doi]
- Exposing Behavioral Differences in Cross-Language API Mapping RelationsHao Zhong, Suresh Thummalapenta, Tao Xie. 130-145 [doi]
- Explicit-State Software Model Checking Based on CEGAR and InterpolationDirk Beyer, Stefan Löwe. 146-162 [doi]
- Design Pattern-Based Extension of Class Hierarchies to Support Runtime Invariant ChecksJohn Lasseter, John Cipriano. 163-178 [doi]
- Augmenting Sequence Enumeration with String-Rewriting for Requirements Analysis and Behavioral SpecificationLan Lin, Jesse H. Poore, Robert Eschbach, Robert M. Hierons, Christopher Robinson-Mallett. 179-193 [doi]
- Scenario Realizability with Constraint OptimizationRouwaida Abdallah, Arnaud Gotlieb, Loïc Hélouët, Claude Jard. 194-209 [doi]
- Andromeda: Accurate and Scalable Security Analysis of Web ApplicationsOmer Tripp, Marco Pistoia, Patrick Cousot, Radhia Cousot, Salvatore Guarnieri. 210-225 [doi]
- VerChor: A Framework for Verifying ChoreographiesMatthias Güdemann, Pascal Poizat, Gwen Salaün, Alexandre Dumont. 226-230 [doi]
- Javanni: A Verifier for JavaScriptMartin Nordio, Cristiano Calcagno, Carlo Alberto Furia. 231-234 [doi]
- Model-Based Implementation of Parallel Real-Time SystemsAhlem Triki, Jacques Combaz, Saddek Bensalem, Joseph Sifakis. 235-249 [doi]
- A Grey-Box Approach for Automated GUI-Model Generation of Mobile ApplicationsWei Yang, Mukul R. Prasad, Tao Xie. 250-265 [doi]
- A Mechanized Model for CAN ProtocolsFrancesco Bongiovanni, Ludovic Henrio. 266-281 [doi]
- Enforcing QVT-R with mu-Calculus and GamesJulian C. Bradfield, Perdita Stevens. 282-296 [doi]
- Implementing QVT-R Bidirectional Model Transformations Using AlloyNuno Macedo, Alcino Cunha. 297-311 [doi]
- Abstraction and Training of Stochastic Graph Transformation SystemsMayur Bapodra, Reiko Heckel. 312-326 [doi]
- Discovering Math APIs by Mining Unit TestsAnirudh Santhiar, Omesh Pandita, Aditya Kanade. 327-342 [doi]
- POGen: A Test Code Generator Based on Template Variable Coverage in Gray-Box Integration Testing for Web ApplicationsKazunori Sakamoto, Kaizu Tomohiro, Daigo Hamura, Hironori Washizaki, Yoshiaki Fukazawa. 343-358 [doi]
- Testing with Inputs and Outputs in CSPAna Cavalcanti, Robert M. Hierons. 359-374 [doi]