Using Symbolic Execution to Obtain Greater Automation & Flexibility for Checking Spark Software Contracts in Critical ES Download pdf Presented as part of the 2011 HCSS conference. Tags: Concordia University Kansas State University National HCSS Conference 2011 Academia Presentation HCSS '11 Cyber-Physical Systems (HCSS'11) License: CC-2.5 Submitted by Anonymous on Sat, 05/14/2011 - 17:41
