Abstract
We describe ArtForm, a tool for exploring the codebase of dynamic data-driven websites where users enter data via forms. ArtForm extends an instrumented browser, so it can directly implement user interactions, adding in 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.
| Original language | English |
|---|---|
| Title of host publication | ISSTA 2017 - Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis |
| Editors | Koushik Sen, Tevfik Bultan |
| Number of pages | 4 |
| Place of publication | New York, NY, USA |
| Publisher | Association for Computing Machinery |
| Publication date | 10 Jul 2017 |
| Pages | 380-383 |
| ISBN (Print) | 978-1-4503-5076-1 |
| ISBN (Electronic) | 9781450350761 |
| DOIs | |
| Publication status | Published - 10 Jul 2017 |
| Event | International Symposium on Software Testing and Analysis - Santa Barbara, United States Duration: 10 Jul 2017 → 14 Jul 2017 Conference number: 31 https://conf.researchr.org/home/issta-2017 |
Conference
| Conference | International Symposium on Software Testing and Analysis |
|---|---|
| Number | 31 |
| Country/Territory | United States |
| City | Santa Barbara |
| Period | 10/07/2017 → 14/07/2017 |
| Internet address |
Keywords
- Concolic testing
- JavaScript
- Symbolic execution
- Web forms
- concolic testing
- web forms
- symbolic execution