Dynamic Testing for Deadlocks via Constraints.

Yan Cai Qiong Lu

Published in: IEEE Trans. Software Eng. (2016)

Keyphrases

global constraints
data sets
neural network
dynamic environments
constraint satisfaction
constraint programming
constraint propagation
genetic algorithm
computer vision
information systems
case study
cooperative
open source
test cases
constrained optimization
software testing