Case Studies in Learning Models and Testing Without Reset
Nicolas Brémond, Roland Groz · 2019
This paper assesses a method to reverse engineer models from software or cyber-physical systems that cannot be reset. This is done through active learning, and can compare favourably as a systematic testing method.