1. Software quality tools and techniques presented in FASE’17

   • Marieke Huisman
   • Julia Rubin

   Introduction Open access 03 September 2018 Pages: 611 - 613

2. Tactical contract composition for hybrid system component verification

   • Andreas Müller
   • Stefan Mitsch
   • André Platzer

   FASE 2017 Open access 14 August 2018 Pages: 615 - 643

3. Slicing ATL model transformations for scalable deductive verification and fault localization

   • Zheng Cheng
   • Massimo Tisi

   FASE 2017 17 April 2018 Pages: 645 - 663

   

4. Automated workarounds from Java program specifications based on SAT solving

   • Marcelo Uva
   • Pablo Ponzio
   • Marcelo F. Frias

   FASE 2017 10 August 2018 Pages: 665 - 688

   

5. Learning probabilistic models for model checking: an evolutionary approach and an empirical study

   • Jingyi Wang
   • Jun Sun
   • Jun Pang

   FASE 2017 25 April 2018 Pages: 689 - 704

   

6. Automated reasoning for attributed graph properties

   • Sven Schneider
   • Leen Lambers
   • Fernando Orejas

   FASE 2017 30 June 2018 Pages: 705 - 737

   

7. Slicing from formal semantics: Chisel—a tool for generic program slicing

   • Irina Măriuca Asăvoae
   • Mihail Asăvoae
   • Adrián Riesco

   FASE 2017 17 July 2018 Pages: 739 - 769