default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID16. FASE 2013: Rome, Italy (Part of ETAPS 2013)
- Vittorio Cortellessa, Dániel Varró:
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. Lecture Notes in Computer Science 7793, Springer 2013, ISBN 978-3-642-37056-4
Invited Paper
- Krzysztof Czarnecki:
Variability in Software: State of the Art and Future Directions - (Extended Abstract). 1-5
Model-Driven Engineering: Concepts
- Daniel Strüber, Gabriele Taentzer, Stefan Jurack, Tim Schäfer:
Towards a Distributed Modeling Process Based on Composite Models. 6-20 - Rick Salay, Jan Gorzny
, Marsha Chechik:
Change Propagation due to Uncertainty Change. 21-36 - Marco Autili, Davide Di Ruscio, Amleto Di Salle, Paola Inverardi, Massimo Tivoli:
A Model-Based Synthesis Process for Choreography Realizability Enforcement. 37-52 - Evelyn Nicole Haslinger, Roberto Erick Lopez-Herrejon, Alexander Egyed:
On Extracting Feature Models from Sets of Valid Feature Combinations. 53-67
Verification and Validation 1
- Birgit Hofer, André Riboira, Franz Wotawa, Rui Abreu, Elisabeth Getzner:
On the Empirical Evaluation of Fault Localization Techniques for Spreadsheets. 68-82 - Julia Rubin, Marsha Chechik:
Quality of Merge-Refactorings for Product Lines. 83-98
Software Comprehension
- Arbi Bouchoucha, Houari A. Sahraoui, Pierre L'Ecuyer:
Towards Understanding the Behavior of Classes Using Probabilistic Models of Program Inputs. 99-113 - Massimiliano de Leoni, Marlon Dumas, Luciano García-Bañuelos:
Discovering Branching Conditions from Business Process Execution Logs. 114-129 - Hao Zhong, Suresh Thummalapenta, Tao Xie:
Exposing Behavioral Differences in Cross-Language API Mapping Relations. 130-145
Verification and Validation 2
- Dirk Beyer, Stefan Löwe:
Explicit-State Software Model Checking Based on CEGAR and Interpolation. 146-162 - John Lasseter, John Cipriano:
Design Pattern-Based Extension of Class Hierarchies to Support Runtime Invariant Checks. 163-178 - Lan Lin, Jesse H. Poore, Robert Eschbach, Robert M. Hierons, Christopher Robinson-Mallett:
Augmenting Sequence Enumeration with String-Rewriting for Requirements Analysis and Behavioral Specification. 179-193 - Rouwaida Abdallah, Arnaud Gotlieb, Loïc Hélouët, Claude Jard:
Scenario Realizability with Constraint Optimization. 194-209
Analysis Tools
- Omer Tripp, Marco Pistoia, Patrick Cousot, Radhia Cousot, Salvatore Guarnieri:
Andromeda: Accurate and Scalable Security Analysis of Web Applications. 210-225 - Matthias Güdemann, Pascal Poizat, Gwen Salaün, Alexandre Dumont:
VerChor: A Framework for Verifying Choreographies. 226-230 - Martin Nordio, Cristiano Calcagno, Carlo Alberto Furia:
Javanni: A Verifier for JavaScript. 231-234
Model-Driven Engineering: Applications
- Ahlem Triki, Jacques Combaz, Saddek Bensalem, Joseph Sifakis:
Model-Based Implementation of Parallel Real-Time Systems. 235-249 - Wei Yang, Mukul R. Prasad, Tao Xie:
A Grey-Box Approach for Automated GUI-Model Generation of Mobile Applications. 250-265 - Francesco Bongiovanni, Ludovic Henrio:
A Mechanized Model for CAN Protocols. 266-281
Model Transformations
- Julian C. Bradfield, Perdita Stevens:
Enforcing QVT-R with mu-Calculus and Games. 282-296 - Nuno Macedo, Alcino Cunha:
Implementing QVT-R Bidirectional Model Transformations Using Alloy. 297-311 - Mayur Bapodra, Reiko Heckel:
Abstraction and Training of Stochastic Graph Transformation Systems. 312-326
Testing
- Anirudh Santhiar, Omesh Pandita, Aditya Kanade:
Discovering Math APIs by Mining Unit Tests. 327-342 - Kazunori Sakamoto, Kaizu Tomohiro, Daigo Hamura, Hironori Washizaki, Yoshiaki Fukazawa:
POGen: A Test Code Generator Based on Template Variable Coverage in Gray-Box Integration Testing for Web Applications. 343-358 - Ana Cavalcanti, Robert M. Hierons:
Testing with Inputs and Outputs in CSP. 359-374
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-10 21:33 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
