C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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