Disclosing and Locating Concurrency Bugs of Interrupt-Driven IoT Programs.
Yuxia SunShing-Chi CheungSong GuoMing ChengPublished in: IEEE Internet Things J. (2019)
Keyphrases
- object oriented languages
- software systems
- concurrent programming
- management system
- data driven
- database systems
- source code
- cloud computing
- neural network
- databases
- big data
- concurrency control
- data model
- programming language
- test cases
- answer sets
- sensitive information
- transaction processing
- computer programs
- private data