TSVD4J: Thread-Safety Violation Detection for Java.

Shanto Rahman Chengpeng Li August Shi

Published in: ICSE Companion (2023)

Keyphrases

automatic detection
object detection
detection rate
detection method
false alarms
change detection
false positives
detection scheme
web services
lightweight
software systems
detection algorithm
database
source code
multiscale
high level
search engine
artificial intelligence
genetic algorithm
real time