ArtForm: a tool for exploring the codebase of form-based websites

Ben Spencer, Michael Benedikt, Anders Møller, Franck van Breugel
2017 Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis - ISSTA 2017  
We describe ArtForm, a tool for exploration of the codebase of dynamic data-driven websites where users enter data via forms. ArtForm extends an instrumented browser, so that it can directly implement user interactions, adding on top of it symbolic and concolic execution of JavaScript. The tool supports a range of exploration modes with varying degrees of user intervention. It includes a number of adaptations of concolic execution to the setting of form-based web programs. ACM Reference format:
doi:10.1145/3092703.3098226 dblp:conf/issta/SpencerBMB17 fatcat:mghuxttwpngczdpssoixzks4jm