A Heuristic Region-based Concurrency Bug Testing Approach.

Kuo-Cheng Chin Ren-Song Tsay Hsin-I Wu

Published in: ISPA/BDCloud/SocialCom/SustainCom (2020)

Keyphrases

software systems
source code
tabu search
database systems
optimal solution
search algorithm
exact algorithms
image segmentation
image retrieval
simulated annealing
lower bound
constraint satisfaction problems
constraint satisfaction
nested transactions
region matching