BOOK-CHAPTER

Specification-based Verification of Embedded Systems by Automated Test Case Generation

Christoph M. KirchsteigerChristoph TrummerChristian StegerReinhold WeißMarkus Pistauer

Year: 2008 IFIP International Federation for Information Processing/IFIP Pages: 35-44   Publisher: Springer Science+Business Media
Keywords:
Computer science Formal specification System requirements specification Programming language SystemC Language Of Temporal Ordering Specification Specification language Formal verification Parsing Formal methods Test case Software engineering

Metrics

5
Cited By
0.72
FWCI (Field Weighted Citation Impact)
21
Refs
0.67
Citation Normalized Percentile
Is in top 1%
Is in top 10%

Citation History

Topics

Software Testing and Debugging Techniques
Physical Sciences →  Computer Science →  Software
Model-Driven Software Engineering Techniques
Physical Sciences →  Computer Science →  Software
Advanced Software Engineering Methodologies
Physical Sciences →  Computer Science →  Artificial Intelligence
© 2026 ScienceGate Book Chapters — All rights reserved.