TY  - BOOK
AU  - Cortellessa,Vittorio
AU  - Varró,Dániel
TI  - 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 
SN  - 9783642370571
PY  - 2013///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Special purpose computers
KW  - Software engineering
KW  - Programming languages (Electronic computers)
KW  - Computer logic
KW  - Application software
N1  - Towards a Distributed Modeling Process Based on Composite Models -- Change Propagation due to Uncertainty Change -- A Model-Based Synthesis Process for Choreography Realizability Enforcement -- On Extracting Feature Models from Sets of Valid Feature Combinations -- On the Empirical Evaluation of Fault Localization Techniques for Spreadsheets -- Quality of Merge-Refactorings for Product Lines -- Towards Understanding the Behavior of Classes Using Probabilistic Models of Program Inputs -- Discovering Branching Conditions from Business Process Execution Logs -- Exposing Behavioral Differences in Cross-Language API Mapping Relations -- Explicit-State Software Model Checking Based on CEGAR and Interpolation -- Design Pattern-Based Extension of Class Hierarchies to Support Runtime Invariant Checks -- Augmenting Sequence Enumeration with String-Rewriting for Requirements Analysis and Behavioral Specification -- Scenario Realizability with Constraint Optimization -- Andromeda: Accurate and Scalable Security Analysis of Web Applications -- VerChor: A Framework for Verifying Choreographies -- Javanni: A Verifier for JavaScript -- Model-Based Implementation of Parallel Real-Time Systems -- A Grey-Box Approach for Automated GUI-Model Generation of Mobile Applications -- A Mechanized Model for CAN Protocols -- Enforcing QVT-R with mu-Calculus and Games -- Implementing QVT-R Bidirectional Model Transformations Using Alloy -- Abstraction and Training of Stochastic Graph Transformation Systems -- Discovering Math APIs by Mining Unit Tests -- POGen: A Test Code Generator Based on Template Variable Coverage in Gray-Box Integration Testing for Web Applications -- Testing with Inputs and Outputs in CSP
UR  - http://dx.doi.org/10.1007/978-3-642-37057-1
ER  -