Identifying Repeated Interleavings to Improve the Efficiency of Concurrency Bug Detection.

Zhendong Wu Kai Lu Xiaoping Wang

Published in: ICA3PP (4) (2015)

Keyphrases

automatic detection
detection method
database systems
software systems
computational efficiency
database
genetic algorithm
learning algorithm
case study
computational complexity
object detection
source code
detection accuracy