Towards Complete Fault Coverage by Test Point Insertion using Optimization-SAT Techniques.

Stephan Eggersglüß

Published in: ITC (2019)

Keyphrases

optimization algorithm
optimization process
single point
optimization method
neural network
optimization problems
test cases
global optimization
satisfiability problem
sat solvers
constrained optimization
test data
evolutionary algorithm
combinatorial optimization
lower bound
optimization model
search algorithm