An Efficient SAT-Based Test Generation Algorithm with GPU Accelerator.

Muhammad Osama Lamya Gaber Aziza I. Hussein Hanafy Mahmoud

Published in: J. Electron. Test. (2018)

Keyphrases

generation algorithm
parallel implementation
test data generation
real time
neural network
parallel processing
statistical tests
answer set programming
gpu implementation
computationally efficient
constraint programming
statistical significance
graphics processing units
version space
bounded model checking