Programming and execution models for parallel bounded exhaustive testing.
Nader Al AwarKush JainChristopher J. RossbachMilos GligoricPublished in: Proc. ACM Program. Lang. (2021)
Keyphrases
- probabilistic model
- experimental data
- information systems
- programming language
- mathematical models
- real time
- statistical models
- complex systems
- testing process
- parallel execution
- parallel implementation
- classification models
- computational models
- markov random field
- software engineering
- case study
- information retrieval