Learning Deterministic One-Clock Timed Automata via Mutation Testing.

Xiaochen Tang, Wei Shen, Miaomiao Zhang, Jie An, Bohua Zhan, Naijun Zhan

Browse the full ATVA paper archive.