Systematic Testing for Detecting Concurrency Errors in Erlang Programs.
Maria ChristakisAlkis GotovosKonstantinos SagonasPublished in: ICST (2013)
Keyphrases
- object oriented languages
- symbolic execution
- database systems
- computer programs
- error analysis
- concurrent programming
- data sets
- programming environment
- automatic detection
- test cases
- concurrency control
- qualitative and quantitative
- prediction error
- programming language
- automatic programming
- object oriented
- data mining
- real time