scholarly journals Automated test generation for OpenCL kernels using fuzzing and constraint solving

2020 ◽  
Author(s):  
Chao Peng ◽  
Ajitha Rajan
Keyword(s):  
Test Generation ◽  
Constraint Solving ◽  
Automated Test Generation ◽  
Automated Test

DirectFuzz: Automated Test Generation for RTL Designs using Directed Graybox Fuzzing

2021 ◽  
Author(s):  
Sadullah Canakci ◽  
Leila Delshadtehrani ◽  
Furkan Eris ◽  
Michael Bedford Taylor ◽  
Manuel Egele ◽  
...  
Keyword(s):  
Test Generation ◽  
Automated Test Generation ◽  
Automated Test

Requirements traceability in automated test generation

2005 ◽  
Vol 30 (4) ◽  
pp. 1-7 ◽  
Author(s):  
F. Bouquet ◽  
E. Jaffuel ◽  
B. Legeard ◽  
F. Peureux ◽  
M. Utting
Keyword(s):  
Test Generation ◽  
Requirements Traceability ◽  
Automated Test Generation ◽  
Automated Test
Sign in / Sign up

Export Citation Format

Share Document