Login / Signup
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