Login / Signup
Enhancing spark's contract checking facilities using symbolic execution.
Jason Belt
John Hatcliff
Robby
Patrice Chalin
David S. Hardin
Xianghua Deng
Published in:
SIGAda (2011)
Keyphrases
</>
symbolic execution
test generation
static analysis
test data generation
specification language
source code
data flow
databases
artificial intelligence
supply chain
programming language
neural network
general purpose
genetic programming
test cases