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
Related Documents
JOURNAL ARTICLE
Time-Optimal Real-Time Test Case Generation Using Prioritized Time Petri Nets
Noureddine AdjirPierre de Saqui‐SannesMustapha Kamel Rahmouni
Year: 2009 Vol: 4202 Pages: 110-116
JOURNAL ARTICLE
UPPAAL-based real-time testing: New coverage criteria and length-optimal test generation
Year: 2010 Pages: 117-120
BOOK-CHAPTER
Testing Real-Time Systems Using UPPAAL
Anders HesselKim G. LarsenMarius MikučionisBrian NielsenPaul PetterssonArne Skou
Lecture notes in computer science Year: 2008 Pages: 77-117
BOOK-CHAPTER
Online Testing of Real-time Systems Using Uppaal
Kim G. LarsenMarius MikučionisBrian Nielsen
Lecture notes in computer science Year: 2005 Pages: 79-94
JOURNAL ARTICLE
Testing real-time embedded software using UPPAAL-TRON
Kim G. LarsenMarius MikučionisBrian NielsenArne Skou
Year: 2005 Pages: 299-306