BOOK-CHAPTER

Formal Specification for Compiler Based Test Case Generation of Embedded Real-Time System

Yong ChenYanxiang HeChao XuWei WuJianbo Liu

Year: 2012 Advances in intelligent and soft computing Pages: 643-650   Publisher: Springer Science+Business Media
Keywords:
Compiler Computer science Programming language Test (biology) Embedded system Geology

Metrics

1
Cited By
0.00
FWCI (Field Weighted Citation Impact)
16
Refs
0.04
Citation Normalized Percentile
Is in top 1%
Is in top 10%

Topics

Software Testing and Debugging Techniques
Physical Sciences →  Computer Science →  Software
Real-time simulation and control systems
Physical Sciences →  Engineering →  Control and Systems Engineering
Real-Time Systems Scheduling
Physical Sciences →  Computer Science →  Hardware and Architecture

Related Documents

JOURNAL ARTICLE

Test Case Generation for Real-Time System Software Using Specification Diagram

Mani PadmanabhanM. Prasanna

Journal:   International journal of intelligent engineering and systems Year: 2016 Vol: 10 (1)Pages: 166-175
BOOK-CHAPTER

Formal requirements specification of real-time embedded systems

Anthony FinkelsteinColin Potts

Fachberichte messen, steuern, regeln Year: 1986 Pages: 346-352
JOURNAL ARTICLE

A study on functional specification based test case generation for real-time systems

P ManiM. Prasanna

Journal:   International Journal of Engineering and Technology Year: 2016 Vol: 8 (4)Pages: 1801-1806
BOOK-CHAPTER

Test Case Generation: Specification-Based

Man Fai LauYuen Tak YuPak‐Lok Poon

Encyclopedia of Software Engineering Year: 2010 Pages: 1200-1210
© 2026 ScienceGate Book Chapters — All rights reserved.