Write a Blog >>
ICST 2020
Sat 24 - Wed 28 October 2020 Porto, Portugal
Mon 26 Oct 2020 11:45 - 12:15 at Infante - RT6 - Web Testing Chair(s): José Campos
Mon 26 Oct 2020 22:45 - 23:15 at Infante - RT6 - Web Testing Chair(s): Fabiano Ferrari

Security testing verifies that the data and the resources of software systems are protected from attackers. Unfortunately, it suffers from the oracle problem, which refers to the challenge, given an input for a system, of distinguishing correct from incorrect behavior. In many situations where potential vulnerabilities are tested, a test oracle may not exist, or it might be impractical due to the many inputs for which specific oracles have to be defined. In this paper, we propose a metamorphic testing approach that alleviates the oracle problem in security testing. It enables engineers to specify metamorphic relations (MRs) that capture security properties of the system. Such MRs are then used to automate testing and detect vulnerabilities. We provide a catalog of 22 system-agnostic MRs to automate security testing in Web systems. Our approach targets 39% of the OWASP security testing activities not automated by state-of-the-art techniques. It automatically detected 10 out of 12 vulnerabilities affecting two widely used systems, one commercial and the other open source (Jenkins).

Mon 26 Oct

Displayed time zone: Lisbon change

10:45 - 12:15
RT6 - Web TestingResearch Papers at Infante +11h
Chair(s): José Campos University of Lisbon, Portugal
10:45
30m
Talk
Fostering the Diversity of Exploratory Testing in Web Applications
Research Papers
Julien Leveau LaBRI, Xavier Blanc LaBRI, Laurent Réveillère LaBRI, Jean-Rémy Falleri Bordeaux INP, Romain Rouvoy Univ. Lille / Inria / IUF
Link to publication DOI
11:15
30m
Talk
Dependency-Aware Web Test Generation
Research Papers
Matteo Biagiola Fondazione Bruno Kessler (FBK), Andrea Stocco Università della Svizzera italiana (USI), Filippo Ricca Università di Genova, Paolo Tonella Università della Svizzera Italiana (USI)
Link to publication DOI
11:45
30m
Talk
Metamorphic Security Testing for Web Systems
Research Papers
Phu X. Mai University of Luxembourg, Fabrizio Pastore University of Luxembourg, Arda Goknil SnT, University of Luxembourg, Lionel Briand University of Luxembourg, University of Ottawa
Link to publication DOI
21:45 - 23:15
RT6 - Web TestingResearch Papers at Infante
Chair(s): Fabiano Ferrari Federal University of São Carlos
21:45
30m
Talk
Fostering the Diversity of Exploratory Testing in Web Applications
Research Papers
Julien Leveau LaBRI, Xavier Blanc LaBRI, Laurent Réveillère LaBRI, Jean-Rémy Falleri Bordeaux INP, Romain Rouvoy Univ. Lille / Inria / IUF
Link to publication DOI
22:15
30m
Talk
Dependency-Aware Web Test Generation
Research Papers
Matteo Biagiola Fondazione Bruno Kessler (FBK), Andrea Stocco Università della Svizzera italiana (USI), Filippo Ricca Università di Genova, Paolo Tonella Università della Svizzera Italiana (USI)
Link to publication DOI
22:45
30m
Talk
Metamorphic Security Testing for Web Systems
Research Papers
Phu X. Mai University of Luxembourg, Fabrizio Pastore University of Luxembourg, Arda Goknil SnT, University of Luxembourg, Lionel Briand University of Luxembourg, University of Ottawa
Link to publication DOI