# Avoiding State-space Explosion in Multithreaded Programs with Input-covering Schedules and Symbolic Execution

> doctoral thesis by Tom Bergan, Computer Science & Engineering, University of Washington, 2014

**Wikidata**: [Q113668215](https://www.wikidata.org/wiki/Q113668215)  
**Source**: https://4ort.xyz/entity/avoiding-state-space-explosion-in-multithreaded-programs-with-input-covering-schedules-and-symbolic-execution


## References

1. WorldCat