Timed k-Tail: Automatic Inference of Timed Automata

Pastore, F; Micucci, D; Mariani, L

Pastore, F (reprint author), Univ Milano Bicocca, Dept Informat Syst & Commun, I-20126 Milan, Italy.

2017 10TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), 2017; ( ): 401

Abstract

Accurate and up-to-date models describing the behavior of software systems are seldom available in practice. To address this issue, software engineers......

Full Text Link