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

13:40 - 15:20: Papers - Testing and Verification at Cortez 1
Chair(s): Weihang WangUniversity at Buffalo, SUNY
ase-2019-papers13:40 - 14:00
Systematically Covering Input Structure
Nikolas HavrikovCISPA Helmholtz Center for Information Security, Andreas ZellerCISPA Helmholtz Center for Information Security
ase-2019-papers14:00 - 14:20
SEGATE: Unveiling Semantic Inconsistencies between Code and Specification of String Inputs
Devika SondhiIIIT Delhi, Rahul PurandareIIIT-Delhi
ase-2019-papers14:20 - 14:40
Detecting Error-Handling Bugs without Error Specification Input
Zhouyang JiaNational University of Defense Technology, Shanshan LiNational University of Defense Technology, Tingting YuUniversity of Kentucky, Xiangke LiaoNational University of Defense Technology, China, Ji WangNational University of Defense Technology, Xiaodong LiuNational University of Defense Technology, Yunhuai LiuPeking University
ase-2019-Industry-Showcase14:40 - 15:00
Test Automation and its Limitations
Ahyoung SungSamsung Electronics, Yangsu KimSamsung Electronics, Sangjun KimSamsung Electronics, Jongin KimSamsung Electronics, Neo JangSamsung Electronics
ase-2019-papers15:00 - 15:10
Grading-Based Test Suite Augmentation
Jonathan Osei-OwusuUniversity of Illinois at Urbana-Champaign, Angello AstorgaUniversity of Illinois at Urbana-Champaign, Liia ButlerUniversity of Illinois at Urbana-Champaign, Tao XiePeking University, Geoffrey ChallenUniversity of Illinois at Urbana-Champaign
ase-2019-Demonstrations15:10 - 15:20
MutAPK: Source-Codeless Mutant Generation for Android Apps
Camilo Escobar-VelásquezUniversidad de los Andes, Michael Osorio-RiañoUniversidad de los Andes, Mario Linares-VásquezSystems and Computing Engineering Department , Universidad de los Andes , Bogotá, Colombia