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

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

DOI

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

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
Pages380-383
ISBN (print)978-1-4503-5076-1
ISBN (Electronic)9781450350761
DOIs
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
https://conf.researchr.org/home/issta-2017

Conference

ConferenceInternational Symposium on Software Testing and Analysis
Nummer31
LandUnited States
By Santa Barbara
Periode10/07/201714/07/2017
Internetadresse
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