Juan de Lara, Andrea Zisman
Proceedings of the 15th International Conference on Fundamental Approaches to Software Engineering
FASE, 2012.

@proceedings{FASE-2012,
	address       = "Tallinn, Estonia",
	doi           = "10.1007/978-3-642-28872-2",
	editor        = "Juan de Lara and Andrea Zisman",
	isbn          = "978-3-642-28871-5",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 15th International Conference on Fundamental Approaches to Software Engineering}",
	volume        = 7212,
	year          = 2012,
}

Contents (34 items)

4 ×#testing
3 ×#design
3 ×#framework
3 ×#modelling
3 ×#using
2 ×#adaptation
2 ×#classification
2 ×#composition
2 ×#consistency
2 ×#contract

FASE-2012-Aalst #consistency #distributed #process

Distributed Process Discovery and Conformance Checking (WMPvdA), pp. 1–25.

FASE-2012-RuscioMMPP #architecture #modelling

Model-Driven Techniques to Enhance Architectural Languages Interoperability (DDR, IM, HM, PP, AP), pp. 26–42.

FASE-2012-BauerDHLLNW #component #contract #design #specification

Moving from Specifications to Contracts in Component-Based Design (SSB, AD, RH, KGL, AL, UN, AW), pp. 43–58.

FASE-2012-BaeOMA #maude

The SynchAADL2Maude Tool (KB, PCÖ, JM, AAN), pp. 59–62.

FASE-2012-FiadeiroL #composition #consistency

Consistency of Service Composition (JLF, AL), pp. 63–77.

FASE-2012-EckhardtMAMW

Stable Availability under Denial of Service Attacks through Formal Patterns (JE, TM, MA, JM, MW), pp. 78–93.

FASE-2012-NaujokatLS #programming

Loose Programming with PROPHETS (SN, ALL, BS), pp. 94–98.

FASE-2012-Kahlon #reduction

Schedule Insensitivity Reduction (VK), pp. 99–114.

FASE-2012-HatvaniPS #adaptation #automaton #embedded #framework #verification

Adaptive Task Automata: A Framework for Verifying Adaptive Embedded Systems (LH, PP, CCS), pp. 115–129.

FASE-2012-AlbertBGHR #source code

Verified Resource Guarantees for Heap Manipulating Programs (EA, RB, SG, RH, GRD), pp. 130–145.

FASE-2012-MaggiMA #constraints #framework #monitoring

An Operational Decision Support Framework for Monitoring Business Constraints (FMM, MM, WMPvdA), pp. 146–162.

FASE-2012-DiskinMC #category theory #query

Intermodeling, Queries, and Kleisli Categories (ZD, TSEM, KC), pp. 163–177.

FASE-2012-HermannEEO #concurrent #graph grammar

Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars (FH, HE, CE, FO), pp. 178–193.

FASE-2012-BradfieldS #calculus #qvt #recursion #μ-calculus

Recursive Checkonly QVT-R Transformations with General when and where Clauses via the Modal μ Calculus (JCB, PS), pp. 194–208.

FASE-2012-MolRH #graph #java

Graph Transforming Java Data (MdM, AR, JJH), pp. 209–223.

FASE-2012-SalayFC #independence #modelling #refinement #using

Language Independent Refinement Using Partial Modeling (RS, MF, MC), pp. 224–239.

FASE-2012-BruniCGLV #adaptation #concept #framework

A Conceptual Framework for Adaptation (RB, AC, FG, ALL, AV), pp. 240–254.

FASE-2012-ThumSKAS #contract #design #feature model #programming

Applying Design by Contract to Feature-Oriented Programming (TT, IS, MK, SA, GS), pp. 255–269.

FASE-2012-ShiCD #composition #execution #integration #product line #symbolic computation #testing #using

Integration Testing of Software Product Lines Using Compositional Symbolic Execution (JS, MBC, MBD), pp. 270–284.

FASE-2012-RubinC #product line

Combining Related Products into Product Lines (JR, MC), pp. 285–300.

FASE-2012-MauczkaHSSBG #automation #classification #commit #maintenance #taxonomy #validation

Tracing Your Maintenance Work — A Cross-Project Validation of an Automated Classification Dictionary for Commit Messages (AM, MH, CS, WS, MB, TG), pp. 301–315.

FASE-2012-BarrBRHGD #branch #development

Cohesive and Isolated Development with Branches (ETB, CB, PCR, AH, DMG, PTD), pp. 316–331.

FASE-2012-GuimaraesS #integration

Making Software Integration Really Continuous (MLG, ARS), pp. 332–346.

FASE-2012-BecceMRS #user interface

Extracting Widget Descriptions from GUIs (GB, LM, OR, MS), pp. 347–361.

FASE-2012-LongCMM #abstraction #refinement

Language-Theoretic Abstraction Refinement (ZL, GC, RM, RM), pp. 362–376.

FASE-2012-AlrajehKRU #learning #satisfiability #specification

Learning from Vacuously Satisfiable Scenario-Based Specifications (DA, JK, AR, SU), pp. 377–393.

FASE-2012-ErwigG #regular expression

Explanations for Regular Expressions (ME, RG), pp. 394–408.

FASE-2012-StaatsGWH #generative #on the #testing

On the Danger of Coverage Directed Test Case Generation (MS, GG, MWW, MPEH), pp. 409–424.

FASE-2012-UsaolaML #reduction #testing #using

Reduction of Test Suites Using Mutation (MPU, PRM, BPL), pp. 425–438.

FASE-2012-TrikiLBDB #combinator #modelling #testing

Model-Based Filtering of Combinatorial Test Suites (TT, YL, LdB, FD, JB), pp. 439–454.

FASE-2012-MahouachiKG #classification #design #detection #fault

A New Design Defects Classification: Marrying Detection and Correction (RM, MK, KG), pp. 455–470.

FASE-2012-AbadiEF #slicing #theory and practice

Fine Slicing — Theory and Applications for Computation Extraction (AA, RE, YAF), pp. 471–485.

FASE-2012-SilvaTT #dependence #erlang #graph

System Dependence Graphs in Sequential Erlang (JS, ST, CT), pp. 486–500.

FASE-2012-LiT #domain-specific language #erlang #refactoring

A Domain-Specific Language for Scripting Refactorings in Erlang (HL, SJT), pp. 501–515.