Eliminating Concurrency Bugs in Multithreaded Software: A New Approach Based on Discrete-Event Control.
Hongwei LiaoYin WangJason StanleyStéphane LafortuneSpyros A. ReveliotisTerence KellyScott A. MahlkePublished in: IEEE Trans. Control. Syst. Technol. (2013)
Keyphrases
- discrete event
- dynamic systems
- simulation model
- software systems
- source code
- supervisory control
- discrete event simulation
- hybrid systems
- discrete event systems
- crisis response
- software projects
- multiple faults
- test cases
- dynamical systems
- software development
- mathematical modeling
- computer systems
- root cause
- bug localization
- concurrency control
- complex systems
- cooperative
- machine learning
- data collection
- data processing
- low cost
- user interface