Mining Timed Regular Specifications from System Traces

Apurva Narayan, Greta Cutulenco, Yogi Joshi, Sebastian Fischmeister. Mining Timed Regular Specifications from System Traces. ACM Trans. Embedded Comput. Syst., 17(2), 2018. [doi]

Abstract

Abstract is missing.