Free the Bugs: Disclosing Blocking Violations in Reactive Programming.
Felix DobslawMorgan VallinRobin SundströmPublished in: SCAM (2020)
Keyphrases
- reactive systems
- programming language
- test cases
- computer programming
- agent architecture
- privacy concerns
- programming environments
- root cause
- programming environment
- object oriented programming
- development environment
- artificial intelligence
- software projects
- software systems
- static analysis
- record linkage
- source code
- object oriented
- database systems