Heuristic-Driven Test Case Selection from Formal Specifications. A Case Study

2002 ◽  
pp. 57-76 ◽  
Author(s):  
Juan C. Burguillo-Rial ◽  
Manuel J. Fernández-Iglesias ◽  
Francisco J. González-Castaño ◽  
Martín Llamas-Nistal
Keyword(s):  
Test Case ◽  
Formal Specifications ◽  
Test Case Selection ◽  
Case Selection

Automated product line test case selection: industrial case study and controlled experiment

2015 ◽  
Vol 16 (2) ◽  
pp. 417-441 ◽  
Author(s):  
Shuai Wang ◽  
Shaukat Ali ◽  
Arnaud Gotlieb ◽  
Marius Liaaen
Keyword(s):  
Product Line ◽  
Controlled Experiment ◽  
Test Case ◽  
Industrial Case Study ◽  
Test Case Selection ◽  
Case Selection ◽  
Line Test

Test Case Selection Method for the Verification of Automated Driving Systems

2021 ◽  
Vol 16 (11) ◽  
pp. 40-45
Author(s):  
Lennart Vater ◽  
Andreas Pütz ◽  
Levasseur Tellis ◽  
Lutz Eckstein
Keyword(s):  
Selection Method ◽  
Test Case ◽  
Automated Driving ◽  
Test Case Selection ◽  
Case Selection
Sign in / Sign up

Export Citation Format

Share Document