Test Case Selection Based on Path Condtions of Symbolic Execution

2012 ◽  
Author(s):  
Kazuki Munakata ◽  
Shoichiro Fujiwara ◽  
Susumu Tokumoto ◽  
Tadahiro Uehara
Keyword(s):  
Symbolic Execution ◽  
Test Case ◽  
Test Case Selection ◽  
Case Selection

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

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

Regression Test Case Selection: A Comparative Analysis of Metaheuristic Algorithms

2021 ◽  
pp. 605-615
Author(s):  
Abhishek Singh Verma ◽  
Ankur Choudhary ◽  
Shailesh Tiwari
Keyword(s):  
Comparative Analysis ◽  
Metaheuristic Algorithms ◽  
Test Case ◽  
Test Case Selection ◽  
Case Selection ◽  
Regression Test

scholarly journals Test case selection with and without replacement

2000 ◽  
Vol 129 (1-4) ◽  
pp. 81-103 ◽  
Author(s):  
H. Leung ◽  
T.H. Tse ◽  
F.T. Chan ◽  
T.Y. Chen
Keyword(s):  
Test Case ◽  
Test Case Selection ◽  
Case Selection
Sign in / Sign up

Export Citation Format

Share Document