Testing concurrent programs using value schedules

  title={Testing concurrent programs using value schedules},
  author={Jun Chen and Steve MacDonald},
Concurrent programs are difficult to debug and verify because of the nondeterministic nature of concurrent executions. A particular concurrency-related bug may only show up under certain rarely-executed thread interleavings. Therefore, commonly used debugging methodologies, such as inserting print statements, are no longer sufficient for uncovering concurrency-related bugs. However, many existing bug detection methods, such as dynamic analysis and model checking, have a very high computational… CONTINUE READING
Highly Cited
This paper has 21 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 14 extracted citations

Identifying future field accesses in exhaustive state space traversal

2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) • 2011
View 3 Excerpts
Highly Influenced

Efficient Detection of Thread Safety Violations via Coverage-Guided Generation of Concurrent Tests

2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE) • 2017
View 1 Excerpt


Publications referenced by this paper.
Showing 1-5 of 5 references

Choosing among Alternative Pasts

View 5 Excerpts
Highly Influenced

An efficient algorithm for computing mhp information for concurrent java programs

G. Naumovich
In Proc. 7th Symp. on Foundations of Software Engineering, LNCS vol. 1687, • 1999
View 17 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…