SWORD: a scalable whole program race detector for Java.
Yanze LiBozhen LiuJeff HuangPublished in: ICSE (Companion Volume) (2019)
Keyphrases
- java programs
- lightweight
- computer programs
- programming language
- program execution
- java language
- object oriented
- java code
- java virtual machine
- source code
- detection algorithm
- website
- web scale
- static analysis
- open source
- web services
- software components
- memory efficient
- map reduce
- database applications
- detection method
- control program
- database