Automatic Test Case Generation with Region-Related Coverage Annotations for Real-Time Systems

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/11562948_13 ◽

2005 ◽

pp. 144-158 ◽

Cited By ~ 5

Author(s):

Geng-Dian Huang ◽

Farn Wang

Keyword(s):

Real Time ◽

Test Case Generation ◽

Test Case ◽

Real Time Systems ◽

Automatic Test ◽

Automatic Test Case Generation ◽

Time Systems

Download Full-text

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

International Journal of Engineering and Technology ◽

10.21817/ijet/2016/v8i4/160804414 ◽

2016 ◽

Vol 8 (4) ◽

pp. 1801-1806

Author(s):

Mani P ◽

Dr. Prasanna M

Keyword(s):

Real Time ◽

Test Case Generation ◽

Test Case ◽

Real Time Systems ◽

Functional Specification ◽

Time Systems

Download Full-text

Functional Test Case Generation for Real-Time Systems

Dependable Computing for Critical Applications 3 - Dependable Computing and Fault-Tolerant Systems ◽

10.1007/978-3-7091-4009-3_2 ◽

1993 ◽

pp. 29-61 ◽

Cited By ~ 2

Author(s):

Dino Mandrioli ◽

Sandro Morasca ◽

Angelo Morzenti

Keyword(s):

Real Time ◽

Functional Test ◽

Test Case Generation ◽

Test Case ◽

Real Time Systems ◽

Time Systems

Download Full-text

Test Case Generation of Embedded Real-Time Systems with Interruptions for FreeRTOS

Lecture Notes in Computer Science - Formal Methods: Foundations and Applications ◽

10.1007/978-3-642-10452-7_5 ◽

2009 ◽

pp. 54-69 ◽

Cited By ~ 4

Author(s):

Wilkerson L. Andrade ◽

Patrícia D. L. Machado ◽

Everton L. G. Alves ◽

Diego R. Almeida

Keyword(s):

Real Time ◽

Test Case Generation ◽

Test Case ◽

Real Time Systems ◽

Time Systems

Download Full-text

Symbolic Test Case Generation of Compositional Real-Time Systems Driven by Interruptions

2015 IEEE 18th International Symposium on Real-Time Distributed Computing ◽

10.1109/isorc.2015.38 ◽

2015 ◽

Cited By ~ 2

Author(s):

Adriana Carla Damasceno ◽

Patricia Duarte De Lima Machado ◽

Wilkerson De Lucena Andrade ◽

Wesley Nunes Marques Torres

Keyword(s):

Real Time ◽

Test Case Generation ◽

Test Case ◽

Real Time Systems ◽

Time Systems ◽

Symbolic Test

Download Full-text

A test case generation algorithm for real-time systems

Fourth International Conference onQuality Software, 2004. QSIC 2004. Proceedings. ◽

10.1109/qsic.2004.1357969 ◽

2004 ◽

Cited By ~ 9

Author(s):

A. Hessel ◽

P. Pettersson

Keyword(s):

Real Time ◽

Test Case Generation ◽

Test Case ◽

Real Time Systems ◽

Generation Algorithm ◽

Time Systems

Download Full-text

Automatic test case generation from requirements specifications for real-time embedded systems

IEEE SMC'99 Conference Proceedings. 1999 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.99CH37028) ◽

10.1109/icsmc.1999.815651 ◽

2003 ◽

Cited By ~ 8

Author(s):

S.J. Cunning ◽

J.W. Rozenblit

Keyword(s):

Embedded Systems ◽

Real Time ◽

Test Case Generation ◽

Test Case ◽

Automatic Test ◽

Automatic Test Case Generation ◽

Requirements Specifications

Download Full-text

Automatic Test Case Generation from Usage Information

2018 11th International Conference on the Quality of Information and Communications Technology (QUATIC) ◽

10.1109/quatic.2018.00047 ◽

2018 ◽

Cited By ~ 3

Author(s):

Pedro Silva ◽

Ana C. R. Paiva ◽

Andre Restivo ◽

Jorge Esparteiro Garcia

Keyword(s):

Test Case Generation ◽

Test Case ◽

Automatic Test ◽

Automatic Test Case Generation

Download Full-text

Automatic Test Case Generation for Prime Field Elliptic Curve Cryptographic Circuits

2021 IEEE 17th International Colloquium on Signal Processing & Its Applications (CSPA) ◽

10.1109/cspa52141.2021.9377300 ◽

2021 ◽

Author(s):

Krishn Kumar Gupt ◽

Meghana Kshirsagar ◽

Joseph P. Sullivan ◽

Conor Ryan

Keyword(s):

Elliptic Curve ◽

Test Case Generation ◽

Test Case ◽

Automatic Test ◽

Prime Field ◽

Automatic Test Case Generation

Download Full-text

Search based techniques and mutation analysis in automatic test case generation: A survey

2015 IEEE International Advance Computing Conference (IACC) ◽

10.1109/iadcc.2015.7154816 ◽

2015 ◽

Cited By ~ 4

Author(s):

Meenu Dave ◽

Rashmi Agrawal

Keyword(s):

Mutation Analysis ◽

Test Case Generation ◽

Test Case ◽

Automatic Test ◽

Automatic Test Case Generation

Download Full-text

Automatic Test Case Generation for Concurrent Features from Natural Language Descriptions

Lecture Notes in Computer Science - Formal Methods: Foundations and Applications ◽

10.1007/978-3-030-03044-5_11 ◽

2018 ◽

pp. 163-179

Author(s):

Rafaela Almeida ◽

Sidney Nogueira ◽

Augusto Sampaio

Keyword(s):

Natural Language ◽

Test Case Generation ◽

Test Case ◽

Automatic Test ◽

Automatic Test Case Generation

Download Full-text