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

Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer 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.

OriginalsprogEngelsk
TitelISSTA 2017 - Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis
RedaktørerKoushik Sen, Tevfik Bultan
Antal sider4
UdgivelsesstedNew York, NY, USA
ForlagAssociation for Computing Machinery
Udgivelsesår10 jul. 2017
Sider380-383
ISBN (trykt)978-1-4503-5076-1
ISBN (Elektronisk)9781450350761
DOI
StatusUdgivet - 10 jul. 2017
BegivenhedInternational Symposium on Software Testing and Analysis - Santa Barbara, USA
Varighed: 10 jul. 201714 jul. 2017
Konferencens nummer: 31
https://conf.researchr.org/home/issta-2017

Konference

KonferenceInternational Symposium on Software Testing and Analysis
Nummer31
LandUSA
By Santa Barbara
Periode10/07/201714/07/2017
Internetadresse
SerietitelISSTA 2017

    Forskningsområder

  • JavaScript, concolic testing, symbolic execution, web forms

Se relationer på Aarhus Universitet Citationsformater

ID: 120109378