Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators

2009 ◽  
pp. 23-36 ◽  
Author(s):  
Virginia Papailiopoulou ◽  
Laya Madani ◽  
Lydie du Bousquet ◽  
Ioannis Parissis
Keyword(s):  
Test Coverage ◽  
Coverage Criteria ◽  
Structural Test

scholarly journals Structural Test Coverage Criteria for Deep Neural Networks

2019 ◽  
Vol 18 (5s) ◽  
pp. 1-23 ◽  
Author(s):  
Youcheng Sun ◽  
Xiaowei Huang ◽  
Daniel Kroening ◽  
James Sharp ◽  
Matthew Hill ◽  
...  
Keyword(s):  
Neural Networks ◽  
Deep Neural Networks ◽  
Test Coverage ◽  
Coverage Criteria ◽  
Structural Test

scholarly journals Concurrent Defects and Test Coverage Criteria

2016 ◽  
Vol 11 (10) ◽  
pp. 994-1007 ◽  
Author(s):  
Bidush Kumar Sahoo ◽  
◽  
Mitrabinda Ray
Keyword(s):  
Test Coverage ◽  
Coverage Criteria
Sign in / Sign up

Export Citation Format

Share Document