Fundamental approaches to software engineering : 20th International Conference, FASE 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings /: 20th International Conference, FASE 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings. (2017)

• Record Type: Book
• Other Titles: FASE 2017
• Further Information: Note: Marieke Huisman, Julia Rubin (eds.).
• Editors: Huisman, Marieke; Rubin, Julia
• Other Names: FASE (Conference), 20th; ETAPS (Conference), 20th, jointly held conference
• Contents: Learning and Inference -- Should We Learn Probabilistic Models for Model Checking? A New Approach and an Empirical Study -- Bordeaux: a tool for thinking outside the box -- Test Selection -- Bucketing Failing Tests via Symbolic Analysis -- Selective Bisection Debugging. -- On the Effectiveness of Bug Predictors with Procedural Systems: a Quantitative Study -- Program and System Analysis -- Inference and Evolution of TypeScript Declaration Files -- Explicit Connection Actions in Multiparty Session Types -- Change and Delay Contracts for Hybrid System Component Verification. -- Precise Version Control of Trees with Line-based Version Control Systems -- Graph Modelling and Transformation -- StaticGen: Static Generation of UML Sequence Diagrams -- Inter-Model Consistency Checking using Triple Graph Grammars and Linear Optimization Techniques -- GTS Families for the Flexible Composition of Graph Transformation Systems -- Symbolic Model Generation for Graph Properties. -- Model Transformations -- Traceability Mappings as a Fundamental Instrument in Model Transformations -- Reusing Model Transformations through Typing Requirement Models -- Change-preserving model repair. -A deductive approach for fault localization in ATL model transformations. -Configuration and Synthesis -- OpenSAW: Open Security Analysis Workbench -- Visual Configuration of Mobile Privacy Policies -- Automated Workarounds from Java Program Specifications based on SAT Solving. -Slicing from Formal Sematics: Chisel -- EasyInterface: A toolkit for rapid development of GUIs for research prototype tools -- Software Product Lines -- Family-Based Model Checking with mCRL2 -- Variability-specific Abstraction Refinement for Family-based Model Checking -- A Unified and Formal Programming Model for Deltas and Traits.
• Publisher Details: Berlin, Germany : Springer
• Publication Date: 2017
• Extent: 1 online resource (xiii, 444 pages), illustrations
• Subjects: 005.1; Software engineering -- Congresses; Software engineering; Electronic books; Electronic books; Conference papers and proceedings
• Languages: English
• ISBNs: 9783662544945; 3662544946
• Related ISBNs: 9783662544938; 3662544938
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed April 3, 2017).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.