ROR-DSE: ROR adequate test case generation using dynamic symbolic execution
This program is tentative and subject to change.
Relational Operator Replacement (ROR) is one of the most essential types of mutation testing faults. On the other hand, Dynamic Symbolic Execution has proved its capability and importance for test generation in the past few decades. This work proposes a guided approach to generate ROR-adequate test cases. We position our proposed technique as a fault-based predicate testing approach because a condition is part of the predicate of the boolean expression. We run a meta-program with ROR constraints using state-of-the-art DSE (Dynamic Symbolic Execution) tools, viz. KLEE, TracerX, BMC. We plug a component, i.e. RMPG (ROR Meta Program Generator) with DSE to generate ROR-adequate test cases. To validate the adequacy of test cases as per ROR, we developed RMA (ROR Mutant Analyser). Also, we considered the KLEE, TracerX, and BMC themselves as baselines for comparison. We have shown that the ROR-DSE-KLEE killed 2950 extra ROR mutants as compared to KLEE, ROR-DSE-TracerX killed 3368 extra ROR mutants as compared to TracerX, and ROR-DSE-BMC killed 3345 extra ROR mutants as compared to BMC.
I did my M.Tech (2011-2013) and Ph.D. (2014-2017) from National Institute of Technology Rourkela, India. I worked as Researcher (Aug 2017 - Jan 2018) in School of Computing, National University Singapore. I worked as Postdoctoral Research Fellow (Feb 2018 to June 2020) in School of Computing, National University Singapore. Currently, I am working as an Assistant Professor in Department of Computer Science and Engineering, National Institute of Technology Warangal, India. I am interested to use program analysis techniques to solve the problems of software testing. Basically I am focusing on MC/DC using Dynamic Symbolic execution. I am a team member of Tracer-X Research group (https://github.com/tracer-x).
This program is tentative and subject to change.
Wed 19 NovDisplayed time zone: Seoul change
11:00 - 12:30 | |||
11:00 10mTalk | PALM: Synergizing Program Analysis and LLMs to Enhance Rust Unit Test Coverage Research Papers | ||
11:10 10mTalk | ROR-DSE: ROR adequate test case generation using dynamic symbolic execution Journal-First Track Sangharatna Godboley NIT Warangal | ||
11:20 10mTalk | Reflective Unit Test Generation for Precise Type Error Detection with Large Language Models Research Papers Chen Yang Tianjin University, Ziqi Wang Tianjin University, Yanjie Jiang Peking University, Lin Yang Tianjin University, Yuteng Zheng Tianjin University, Jianyi Zhou Huawei Cloud Computing Technologies Co., Ltd., Junjie Chen Tianjin University | ||
11:30 10mTalk | FailMapper: Automated Generation of Unit Tests Guided by Failure Scenarios Research Papers ruiqi dong Swinburne University of Technology, Zehang Deng Swinburne University of Technology, Xiaogang Zhu The University of Adelaide, Xiaoning Du Monash University, Huai Liu Swinburne University of Technology, Shaohua Wang Central University of Finance and Economics, Sheng Wen Swinburne University of Technology, Yang Xiang Digital Research & Innovation Capability Platform, Swinburne University of Technology | ||
11:40 10mTalk | Advancing Code Coverage: Incorporating Program Analysis with Large Language Models Journal-First Track Chen Yang Tianjin University, Junjie Chen Tianjin University, Bin Lin Hangzhou Dianzi University, Ziqi Wang Tianjin University, Jianyi Zhou Huawei Cloud Computing Technologies Co., Ltd. | ||
11:50 10mTalk | Navigating the Labyrinth: Path-Sensitive Unit Test Generation with Large Language Models Research Papers Dianshu Liao the Australian National University, Xin Yin Zhejiang University, Shidong Pan Columbia University & New York University, Chao Ni Zhejiang University, Zhenchang Xing CSIRO's Data61, Xiaoyu Sun Australian National University, Australia Pre-print | ||
12:00 10mTalk | Enhancing LLM’s Ability to Generate More Repository-Aware Unit Tests Through Precise Context Injection Research Papers Xin Yin Zhejiang University, Chao Ni Zhejiang University, Xinrui Li School of Software Technology, Zhejiang University, Liushan Chen Douyin Co., Ltd., Guojun Ma Douyin Co., Ltd., Xiaohu Yang Zhejiang University Pre-print | ||
12:10 10mTalk | Toward Cost-Effective Adaptive Random Testing: An Approximate Nearest Neighbor Approach Journal-First Track Rubing Huang Macau University of Science and Technology (M.U.S.T.), Chenhui Cui Macau University of Science and Technology, Junlong Lian Jiangsu University, Haibo Chen Jiangsu University, Dave Towey University of Nottingham Ningbo China, Weifeng Sun | ||
12:20 10mTalk | Automated Combinatorial Test Generation for Alloy Research Papers Agustín Borda Dept. of Computer Science FCEFQyN, University of Rio Cuarto, Germán Regis University of Rio Cuarto and CONICET, Nazareno Aguirre University of Rio Cuarto/CONICET, Argentina, and Guangdong Technion-Israel Institute of Technology, China, Marcelo F. Frias Dept. of Software Engineering Instituto Tecnológico de Buenos Aires, Pablo Ponzio Dept. of Computer Science FCEFQyN, University of Rio Cuarto | ||
