Using Symbolic Execution to Obtain Greater Automation & Flexibility for Checking Spark Software Contracts in Critical ES
Presented as part of the
2011 HCSS conference
.
License:
Creative Commons 2.5
John Hatcliff
David Hardin
Jason Belt
Patrice Chalin
Other available formats:
Using Symbolic Execution to Obtain Greater Automation & Flexibility for Checking Spark Software Contracts in Critical ES
Switch to normal viewer
Switch to experimental viewer
