Software quality tools and techniques presented in FASE’17 Marieke HuismanJulia Rubin Introduction Open access 03 September 2018 Pages: 611 - 613
Tactical contract composition for hybrid system component verification Andreas MüllerStefan MitschAndré Platzer FASE 2017 Open access 14 August 2018 Pages: 615 - 643
Slicing ATL model transformations for scalable deductive verification and fault localization Zheng ChengMassimo Tisi FASE 2017 17 April 2018 Pages: 645 - 663
Automated workarounds from Java program specifications based on SAT solving Marcelo UvaPablo PonzioMarcelo F. Frias FASE 2017 10 August 2018 Pages: 665 - 688
Learning probabilistic models for model checking: an evolutionary approach and an empirical study Jingyi WangJun SunJun Pang FASE 2017 25 April 2018 Pages: 689 - 704
Automated reasoning for attributed graph properties Sven SchneiderLeen LambersFernando Orejas FASE 2017 30 June 2018 Pages: 705 - 737
Slicing from formal semantics: Chisel—a tool for generic program slicing Irina Măriuca AsăvoaeMihail AsăvoaeAdrián Riesco FASE 2017 17 July 2018 Pages: 739 - 769