Empirical evaluation of a new composite approach to the coverage criteria and reachability testing of concurrent programs
Testing is a key activity to assure the quality of concurrent applications. In recent years, a variety of different mechanisms have been proposed to test concurrent software. However, a persistent problem is the high testing cost because of the large number of different synchronization sequences tha...
| Main Authors: | , , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
2015-05.
|
| Subjects: | |
| Online Access: | Get fulltext |