Automated planning for finding alternative bug traces.

Rajib Lochan Jana Soumyajit Dey Arijit Mondal Pallab Dasgupta

Published in: IET Comput. Digit. Tech. (2020)

Keyphrases

automated planning
heuristic search
goal directed
planning systems
ai planning
planning domains
source code
domain specific
constraint satisfaction
integer programming
web service composition
interactive storytelling