Blogs (1) >>
ASE 2019
Sun 10 - Fri 15 November 2019 San Diego, California, United States
Thu 14 Nov 2019 14:40 - 15:00 at Cortez 2&3 - Mining and Bug Detection Chair(s): Chanchal K. Roy

Software systems are often released without formal specifications. To deal with the problem of lack of and outdated specifications, rule-based specification mining approaches have been proposed. These approaches analyze execution traces of a system to infer the rules that characterize the protocols, typically of a library, that its clients must obey. Rule-based specification mining approaches work by exploring the search space of all possible rules and use interestingness measures to differentiate specifications from false positives. Previous rule-based specification mining approaches often rely on one or two interestingness measures, while the potential benefit of combining multiple available interestingness measures is not yet investigated. In this work, we propose a learning to rank based approach that automatically learns a good combination of 38 interestingness measures. Our experiments show that the learning to rank based approach outperforms the best performing approach leveraging single interestingness measure by up to 66%.

Thu 14 Nov

Displayed time zone: Tijuana, Baja California change

13:40 - 15:20
Mining and Bug DetectionDemonstrations / Journal First Presentations at Cortez 2&3
Chair(s): Chanchal K. Roy University of Saskatchewan
13:40
20m
Talk
Automatically 'Verifying' Complex Systems through Learning, Abstraction and Refinement
Journal First Presentations
Jingyi Wang National University of Singapore, Singapore, Jun Sun Singapore Management University, Singapore, Shengchao Qin University of Teesside, Cyrille Jegourel ISTD, Singapore University of Technology and Design
Link to publication
14:00
20m
Talk
Interactive semi-automated specification mining for debugging: An experience report
Journal First Presentations
Mohammad Jafar Mashhadi University of Calgary, Taha R. Siddiqui InfoMagnetics Technologies Corp, Hadi Hemmati University of Calgary, Howard W. Loewen Department of Electrical & Computer Engineering, University of Calgary
Link to publication
14:20
20m
Talk
Improving reusability of software libraries through usage pattern mining
Journal First Presentations
Mohamed Aymen Saied Concordia University, Ali Ouni ETS Montreal, University of Quebec, Houari Sahraoui Université de Montréal, Raula Gaikovina Kula NAIST, Katsuro Inoue Osaka University, David Lo Singapore Management University
Link to publication
14:40
20m
Talk
Rule-based specification mining leveraging learning to rank
Journal First Presentations
Zherui Cao Zhejiang University, Yuan Tian Queens University, Kingston, Canada, Tien-Duy B. Le School of Information Systems, Singapore Management University, David Lo Singapore Management University
Link to publication
15:00
10m
Demonstration
TsmartGP: A Tool for Finding Memory Defects with Pointer Analysis
Demonstrations
Yuexing Wang Tsinghua University, Guang Chen Tsinghua University, Min Zhou Tsinghua University, Ming Gu Tsinghua University, Jiaguang Sun Tsinghua University
15:10
10m
Demonstration
Ares: Inferring Error Specifications through Static Analysis
Demonstrations
Li Chi Tsinghua University, Zuxing Gu School of Software, Tsinghua University, Min Zhou Tsinghua University, Ming Gu Tsinghua University, Hongyu Zhang The University of Newcastle