Testing concurrent programs using value schedules
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
A study of student strategies for the corrective maintenance of concurrent software
Proceedings of the 30th international conference on Software engineering
Towards a better collaboration of static and dynamic analyses for testing concurrent programs
PADTAD '08 Proceedings of the 6th workshop on Parallel and distributed systems: testing, analysis, and debugging
Choosing among alternative futures
HVC'05 Proceedings of the First Haifa international conference on Hardware and Software Verification and Testing
Hi-index | 0.01 |
This paper proposes an innovative technique for the generation of interleavings for concurrent program testing. Operations on shared variables are tracked. Every time a shared variable is read, the read value is chosen among the values that the variable could hold in some interleaving consistent with the past observed events.The problem of choosing possible read values is far from simple due to the fact that past decisions affect future ones. Our solution is computationally intensive and, therefore, impractical as is. However, it lead us to new heuristics for noise generation using embedded sleep statements.