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

Christoph M. Kirchsteiger; Christoph Trummer; Christian Steger; Reinhold Weiß; Markus Pistauer

doi:10.1007/978-0-387-09661-2_4

ScienceGate Book Chapters

BOOK-CHAPTER

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

Christoph M. Kirchsteiger Christoph Trummer Christian Steger Reinhold Weiß Markus Pistauer

Year: 2008 IFIP International Federation for Information Processing/IFIP Pages: 35-44 Publisher: Springer Science+Business Media

DOI: 10.1007/978-0-387-09661-2_4

Get Full-Text PDF Get Analytical Report

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

Cited By

0.72

FWCI (Field Weighted Citation Impact)

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

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

Metrics

Citation History

Topics

Related Documents

Formal Specification Based Automatic Test Generation for Embedded Network Systems

Test Case Generation: Specification-Based

Model based test case generation for distributed embedded systems

Scenario-based test case generation for state-based embedded systems

SDL- and MSC-Based Specification and Automated Test Case Generation for INAP