Speaker Deck

Cloud9: Parallel Symbolic Execution for Automated Real-World Software Testing

by Stefan Bucur

Published April 12, 2011 in Research