Volume 20, Issue 6 | International Journal on Software Tools for Technology Transfer

Search all International Journal on Software Tools for Technology Transfer articles

Volume 20, Issue 6

November 2018

FASE 2017

Filter by

Volume:

Sort by

Date published:

New to old Old to new

7 articles in this issue

Software quality tools and techniques presented in FASE’17
Marieke Huisman
Julia Rubin
Introduction Open access 03 September 2018 Pages: 611 - 613
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
Slicing ATL model transformations for scalable deductive verification and fault localization
Zheng Cheng
Massimo Tisi
FASE 2017 17 April 2018 Pages: 645 - 663
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
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
Automated reasoning for attributed graph properties
Sven Schneider
Leen Lambers
Fernando Orejas
FASE 2017 30 June 2018 Pages: 705 - 737
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