Generating Next Step Hints for Task Oriented Programs Using Symbolic Execution.

Nico Naus Tim Steenvoorden

Published in: TFP (2020)

Keyphrases

symbolic execution
static analysis
test data generation
test generation
source code
specification language
data flow
test cases
description language
simulated annealing algorithm
high level
artificial intelligence
software systems