Aarhus University Seal

ArtForm: A Tool for Exploring the Codebase of Form-based Websites

Research output: Contribution to book/anthology/report/proceedingArticle in proceedingsResearchpeer-review


  • Ben Spencer, University of Oxford
  • ,
  • Michael Benedikt, University of Oxford
  • ,
  • Anders Møller
  • Franck van Breugel, York University Toronto

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 languageEnglish
Title of host publicationISSTA 2017 - Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis
EditorsKoushik Sen, Tevfik Bultan
Number of pages4
Place of publicationNew York, NY, USA
PublisherAssociation for Computing Machinery
Publication year10 Jul 2017
ISBN (print)978-1-4503-5076-1
ISBN (Electronic)9781450350761
Publication statusPublished - 10 Jul 2017
EventInternational Symposium on Software Testing and Analysis - Santa Barbara, United States
Duration: 10 Jul 201714 Jul 2017
Conference number: 31


ConferenceInternational Symposium on Software Testing and Analysis
LandUnited States
By Santa Barbara
SeriesISSTA 2017

    Research areas

  • Concolic testing, JavaScript, Symbolic execution, Web forms, concolic testing, web forms, symbolic execution

See relations at Aarhus University Citationformats

ID: 120109378