Learning Deterministic One-Clock Timed Automata via Mutation Testing - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Xiaochen Tang, Wei Shen, Miaomiao Zhang, Jie An, Bohua Zhan, Naijun Zhan. Learning Deterministic One-Clock Timed Automata via Mutation Testing. In Ahmed Bouajjani, Lukás Holík, Zhilin Wu, editors, Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings. Volume 13505 of Lecture Notes in Computer Science, pages 233-248, Springer, 2022. [doi]

This author has not been identified. Look up 'Xiaochen Tang' in GoogleThis author has not been identified. Look up 'Wei Shen' in GoogleThis author has not been identified. Look up 'Miaomiao Zhang' in GoogleThis author has not been identified. Look up 'Jie An' in GoogleThis author has not been identified. Look up 'Bohua Zhan' in GoogleThis author has not been identified. Look up 'Naijun Zhan' in Google

runs on WebDSL