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

Stephan Eggersglüß

Published in: ITC-Asia (2019)

Keyphrases

optimization process
optimization problems
optimization algorithm
global optimization
single point
neural network
optimization method
satisfiability problem
sat solvers
evolutionary algorithm
multi objective
np hard
test data