Blogs (1) >>
ASE 2019
Sun 10 - Fri 15 November 2019 San Diego, California, United States
Tue 12 Nov 2019 13:40 - 14:00 at Cortez 1 - Testing and Verification Chair(s): Weihang Wang

Grammar-based testing uses a given grammar to produce syntactically valid inputs. To cover program features, it is necessary to also cover input features—say, all URL variants for a URL parser. Our k-path algorithm for grammar production systematically covers syntactic elements as well as their combinations. In our evaluation, we show that this results in a significantly higher code coverage than state of the art.

Tue 12 Nov

Displayed time zone: Tijuana, Baja California change

13:40 - 15:20
Testing and VerificationResearch Papers / Demonstrations / Industry Showcase at Cortez 1
Chair(s): Weihang Wang University at Buffalo, SUNY
13:40
20m
Talk
Systematically Covering Input Structure
Research Papers
Nikolas Havrikov CISPA Helmholtz Center for Information Security, Andreas Zeller CISPA Helmholtz Center for Information Security
Pre-print
14:00
20m
Talk
SEGATE: Unveiling Semantic Inconsistencies between Code and Specification of String Inputs
Research Papers
Devika Sondhi IIIT Delhi, Rahul Purandare IIIT-Delhi
Pre-print
14:20
20m
Talk
Detecting Error-Handling Bugs without Error Specification Input
Research Papers
Zhouyang Jia National University of Defense Technology, Shanshan Li National University of Defense Technology, Tingting Yu University of Kentucky, Liao Xiangke National University of Defense Technology, China, Ji Wang National University of Defense Technology, Xiaodong Liu National University of Defense Technology, Yunhuai Liu Peking University
14:40
20m
Talk
Test Automation and its Limitations
Industry Showcase
Ahyoung Sung Samsung Electronics, Yangsu Kim Samsung Electronics, Sangjun Kim Samsung Electronics, Jongin Kim Samsung Electronics, Neo Jang Samsung Electronics
15:00
10m
Talk
Grading-Based Test Suite Augmentation
Research Papers
Jonathan Osei-Owusu University of Illinois at Urbana-Champaign, Angello Astorga University of Illinois at Urbana-Champaign, Liia Butler University of Illinois at Urbana-Champaign, Tao Xie Peking University, Geoffrey Challen University of Illinois at Urbana-Champaign
15:10
10m
Demonstration
MutAPK: Source-Codeless Mutant Generation for Android Apps
Demonstrations
Camilo Escobar-Velásquez Universidad de los Andes, Michael Osorio-Riaño Universidad de los Andes, Mario Linares-Vásquez Systems and Computing Engineering Department , Universidad de los Andes , Bogotá, Colombia