This program is tentative and subject to change.

Thu 18 Jul 2024 17:30 - 17:39 at Baobá 2 - Testing 3

Modern software repositories serve as valuable sources of infor- mation for understanding and addressing software bugs. In this paper, we present MineCPP, a tool designed for large-scale bug- fixing dataset generation, extending the capabilities of a recently proposed approach, namely Minecraft. MineCPP not only captures bug locations and types across multiple programming languages but introduces novel features like offset of a bug in a buggy source file, the sequence of syntactic constructs up to and including the location of the bug, etc. We discuss architectural and operational aspects of MineCPP, and show how it can be used to automatically mine GitHub repositories. A Graphical User Interface (GUI) further enhances user experience by providing interactive visualizations and quantitative analyses, facilitating fine-grained insights about the structure of bug fix pairs. MineCPP serves as a helpful solution for researchers, practitioners, and developers seeking comprehen- sive bug-fixing datasets and insights into coding practices. Tool demonstration is available at https://youtu.be/ln99irvbADE.

This program is tentative and subject to change.

Thu 18 Jul

Displayed time zone: Brasilia, Distrito Federal, Brazil change

16:00 - 18:00
16:00
18m
Talk
A Miss Is as Good as A Mile: Metamorphic Testing for Deep Learning Operators
Research Papers
Jinyin Chen Zhejiang University of Technology, Chengyu Jia Zhejiang University of Technology, Yunjie Yan Zhejiang University of Technology, Jie Ge Zhejiang University of Technology, haibin zheng Zhejiang University of Technology, Yao Cheng TÜV SÜD Asia Pacific Pte. Ltd.
16:18
18m
Talk
Finding and Understanding Defects in Static Analyzers by Constructing Automated Oracles
Research Papers
weigang he East China Normal University / University of Technology Sydney, Peng Di Ant Group, Mengli Ming East China Normal University, Chengyu Zhang ETH Zurich, Ting Su East China Normal University, Shijie Li Ant Group, Yulei Sui UNSW
16:36
18m
Talk
Search-based Software Testing Driven by Automatically Generated and Manually Defined Fitness Functions
Journal First
Federico Formica McMaster University, Tony Fan McMaster University, Claudio Menghi University of Bergamo; McMaster University
16:54
9m
Talk
Monitoring the Execution of 14K Tests: Methods Tend to Have One Path that Is Significantly More Executed
Ideas, Visions and Reflections
Pre-print
17:03
9m
Talk
Test Polarity: Detecting Positive and Negative Tests
Ideas, Visions and Reflections
Pre-print
17:12
9m
Talk
AndroLog: Android Instrumentation and Code Coverage Analysis
Demonstrations
Jordan Samhi CISPA Helmholtz Center for Information Security, Andreas Zeller CISPA Helmholtz Center for Information Security
17:21
9m
Talk
ExLi : An Inline-Test Generation Tool for Java
Demonstrations
Yu Liu University of Texas at Austin, Aditya Thimmaiah The University of Texas at Austin, Owolabi Legunsen Cornell University, Milos Gligoric The University of Texas at Austin
17:30
9m
Talk
MineCPP: Mining Bug Fix Pairs and Their Structures
Demonstrations
Sai Krishna Avula IIT Gandhinagar, Shouvick Mondal IIT Gandhinagar, India
DOI Pre-print Media Attached
17:39
9m
Talk
Testing Learning-Enabled Cyber-Physical Systems with Large-Language Models: A Formal Approach
Ideas, Visions and Reflections
Xi Zheng Macquarie University, Aloysius K. Mok University of Texas at Austin, Ruzica Piskac Yale University, Yong Jae Lee University of Wisconsin Madison, Bhaskar Krishnamachari University of Southern California, Dakai Zhu The University of Texas at San Antonio, Oleg Sokolsky University of Pennsylvania, USA, Insup Lee University of Pennsylvania