Two-dimensional Search Space for Extracting Broadside Tests from Functional Test Sequences.
Irith PomeranzPublished in: ACM Trans. Design Autom. Electr. Syst. (2024)
Keyphrases
- test sequences
- search space
- test cases
- test generation
- mutation testing
- video sequences
- test suite
- bit rate
- search algorithm
- three dimensional
- heuristic search
- reduce the search space
- multi dimensional
- static analysis
- search strategy
- search tree
- metaheuristic
- global optimum
- test data
- solution space
- constraint satisfaction problems
- case study
- sat solvers
- database
- software testing
- test set
- quality assurance
- multiple choice
- optimal solution
- high quality