Automated Detection and Repair of Concurrency Bugs.
Ben LiblitPublished in: Haifa Verification Conference (2011)
Keyphrases
- automated detection
- software systems
- automated analysis
- lung cancer
- source code
- concurrency control
- ultrasonic images
- database systems
- machine learning
- test cases
- breast tumors
- dermoscopy images
- preventive maintenance
- early detection
- early stage
- distributed databases
- bug reports
- intrusion detection
- computer vision
- information retrieval