Complexity vulnerability analysis using symbolic execution.

Kasper Søe Luckow Rody Kersten Corina S. Pasareanu

Published in: Softw. Test. Verification Reliab. (2020)

Keyphrases

symbolic execution
static analysis
test generation
data sets
test data generation
artificial intelligence
metadata
training data
software engineering
data flow