论文信息 - On-the-fly Testing Using U PPAAL - 字舞流文

On-the-fly Testing Using U PPAAL

Fredrik Bajers | Aalborg Øst

[1] Brian Nielsen. Specification and Test of Real-Time Systems , 2000 .

[2] Hendrik Brinksma,et al. Systematic Testing of Realtime Embedded Software Systems (STRESS) , 2003 .

[3] David L. Dill,et al. Timing Assumptions and Verification of Finite-State Concurrent Systems , 1989, Automatic Verification Methods for Finite State Systems.

[4] Claude Jard,et al. Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000. Revised Tutorial Lectures , 2001 .

[5] Wang Yi,et al. Automatic verification of real-time communicating systems by constraint-solving , 1994, FORTE.

[6] Stavros Tripakis,et al. Fault Diagnosis for Timed Automata , 2002, FTRTFT.

[7] Kim G. Larsen,et al. Time-Optimal Real-Time Test Case Generation Using Uppaal , 2003, FATES.