BOOK-CHAPTER

Time-Optimal Real-Time Test Case Generation Using Uppaal

Anders HesselKim G. LarsenBrian NielsenPaul PetterssonArne Skou

Year: 2004 Lecture notes in computer science Pages: 114-130   Publisher: Springer Science+Business Media
Keywords:
Computer science Automaton Test case Test (biology) Code coverage Scenario testing Software Real-time computing Programming language Artificial intelligence Machine learning

Metrics

91
Cited By
6.91
FWCI (Field Weighted Citation Impact)
20
Refs
0.97
Citation Normalized Percentile
Is in top 1%
Is in top 10%

Citation History

Topics

Software Testing and Debugging Techniques
Physical Sciences →  Computer Science →  Software
Software Reliability and Analysis Research
Physical Sciences →  Computer Science →  Software
Software System Performance and Reliability
Physical Sciences →  Computer Science →  Computer Networks and Communications
© 2026 ScienceGate Book Chapters — All rights reserved.