LEADER 05177nam 22007455 450 001 9910741162903321 005 20251226203318.0 010 $a3-642-37057-8 024 7 $a10.1007/978-3-642-37057-1 035 $a(CKB)3520000000003562 035 $a(SSID)ssj0000880009 035 $a(PQKBManifestationID)11529876 035 $a(PQKBTitleCode)TC0000880009 035 $a(PQKBWorkID)10854180 035 $a(PQKB)10346697 035 $a(DE-He213)978-3-642-37057-1 035 $a(MiAaPQ)EBC3093080 035 $a(PPN)168330547 035 $a(EXLCZ)993520000000003562 100 $a20130220d2013 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFundamental Approaches to Software Engineering $e16th 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 /$fedited by Vittorio Cortellessa, Dániel Varró 205 $a1st ed. 2013. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2013. 215 $a1 online resource (XX, 376 p. 90 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7793 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-642-37056-X 327 $aTowards 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. 330 $aThis book constitutes the proceedings of the 16th International Conference on Fundamental Approaches to Software Engineering, FASE 2013, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 2013. The 25 papers presented in this volume were carefully reviewed and selected from 112 submissions. They are organized in topical sections named: model-driven engineering; verification and validation; software comprehension; analysis tools; model-driven engineering: applications; model transformations; and testing. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7793 606 $aSoftware engineering 606 $aCompilers (Computer programs) 606 $aComputer science 606 $aInformation technology$xManagement 606 $aComputers, Special purpose 606 $aSoftware Engineering 606 $aCompilers and Interpreters 606 $aComputer Science Logic and Foundations of Programming 606 $aComputer Application in Administrative Data Processing 606 $aSpecial Purpose and Application-Based Systems 615 0$aSoftware engineering. 615 0$aCompilers (Computer programs). 615 0$aComputer science. 615 0$aInformation technology$xManagement. 615 0$aComputers, Special purpose. 615 14$aSoftware Engineering. 615 24$aCompilers and Interpreters. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aComputer Application in Administrative Data Processing. 615 24$aSpecial Purpose and Application-Based Systems. 676 $a005.1 702 $aCortellessa$b Vittorio$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aVarró$b Dániel$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910741162903321 996 $aFundamental Approaches to Software Engineering$9771913 997 $aUNINA