Probabilistic Concurrency Testing for Weak Memory Programs.
Mingyu GaoSoham ChakrabortyBurcu Kulahcioglu OzkanPublished in: ASPLOS (2) (2023)
Keyphrases
- concurrent programming
- symbolic execution
- concurrent programs
- object oriented languages
- probabilistic model
- memory requirements
- database systems
- concurrency control
- bayesian networks
- data driven
- test cases
- data sets
- automatic programming
- memory space
- uncertain data
- posterior probability
- main memory
- probabilistic reasoning
- test suite
- software testing
- computing power
- programming environment
- computational power
- test data generation
- data management
- data model