Automated generation of test suites from formal specifications of real-time reactive systems

2008 ◽  
Vol 81 (2) ◽  
pp. 286-304 ◽  
Author(s):  
Mao Zheng ◽  
Vasu Alagar ◽  
Olga Ormandjieva
Keyword(s):  
Real Time ◽  
Reactive Systems ◽  
Formal Specifications ◽  
Automated Generation ◽  
Test Suites

scholarly journals KVEST: Automated Generation of Test Suites from Formal Specifications

1999 ◽  
pp. 608-621 ◽  
Author(s):  
Igor Burdonov ◽  
Alexander Kossatchev ◽  
Alexander Petrenko ◽  
Dmitri Galter
Keyword(s):  
Formal Specifications ◽  
Automated Generation ◽  
Test Suites

scholarly journals Constructing Test Suites for Real-Time Embedded Systems Under Input Timing Constraints

IEEE Access ◽  
2019 ◽  
Vol 7 ◽  
pp. 20920-20937
Author(s):  
Yunlong Sheng ◽  
Shouda Jiang ◽  
Changan Wei
Keyword(s):  
Embedded Systems ◽  
Real Time ◽  
Timing Constraints ◽  
Test Suites

Towards UML-based formal specifications of component-based real-time software

2006 ◽  
Vol 9 (2) ◽  
pp. 179-192 ◽  
Author(s):  
Vieri del Bianco ◽  
Luigi Lavazza ◽  
Marco Mauri ◽  
Giuseppe Occorso
Keyword(s):  
Real Time ◽  
Formal Specifications
Sign in / Sign up

Export Citation Format

Share Document