Issue 6/2018
FASE 2017
Content (7 Articles)
Open Access
Introduction
Software quality tools and techniques presented in FASE’17
Marieke Huisman, Julia Rubin
Open Access
FASE 2017
Tactical contract composition for hybrid system component verification
Andreas Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, André Platzer
FASE 2017
Slicing ATL model transformations for scalable deductive verification and fault localization
Zheng Cheng, Massimo Tisi
FASE 2017
Automated workarounds from Java program specifications based on SAT solving
Marcelo Uva, Pablo Ponzio, Germán Regis, Nazareno Aguirre, Marcelo F. Frias
FASE 2017
Learning probabilistic models for model checking: an evolutionary approach and an empirical study
Jingyi Wang, Jun Sun, Qixia Yuan, Jun Pang
FASE 2017
Automated reasoning for attributed graph properties
Sven Schneider, Leen Lambers, Fernando Orejas
FASE 2017
Slicing from formal semantics: Chisel—a tool for generic program slicing
Irina Măriuca Asăvoae, Mihail Asăvoae, Adrián Riesco