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
Formal Specification Based Automatic Test Generation for Embedded Network Systems
Eun-Hye ChoiH. NishiharaTakahiro AndoNguyen Van TangMasahiro AokiKeiichi YoshisakaOsamu MizunoHitoshi Ohsaki
Journal: Journal of Applied Mathematics Year: 2014 Vol: 2014 Pages: 1-21
JOURNAL ARTICLE
Test Case Generation for Real-Time System Software Using Specification Diagram
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
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