Toward New Unit-Testing Techniques for Shared-Memory Concurrent Programs.
Sung-Shik JongmansPublished in: ICECCS (2019)
Keyphrases
- shared memory
- concurrent programs
- unit testing
- test cases
- software testing
- message passing
- parallel algorithm
- integration testing
- black box
- distributed memory
- parallel computing
- tool suite
- process algebra
- concurrent programming
- parallel programming
- formal specification
- web applications
- concurrent processes
- parallel machines
- shared memory multiprocessors
- software systems
- programming language
- test suite
- belief propagation
- model checking
- test set
- software development
- higher order
- software engineering
- object oriented
- probabilistic model
- database systems