共 50 条
- [2] Specification Mutation Analysis for Validating Timed Testing Approaches Based on Timed Automata 2012 IEEE 36TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2012, : 660 - 669
- [3] Time for Networks: Mutation Testing for Timed Automata Networks PROCEEDINGS OF THE 2024 IEEE/ACM 12TH INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING, FORMALISE 2024, 2024, : 44 - 54
- [4] A guided method for testing timed input output automata TESTING OF COMMUNICATING SYSTEMS, PROCEEDINGS, 2003, 2644 : 211 - 225
- [5] From timed automata to testable untimed automata REAL TIME PROGRAMMING 1999 (WRTP'99), 1999, : 189 - 194
- [10] The Timestamp of Timed Automata FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS (FORMATS 2019), 2019, 11750 : 181 - 198