ISSTA 1 - AISTA 2022

VenueOnline

Room nameISSTA 1

Floor0

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT+09:00) Seoul.

Use conference time zone: (GMT+09:00) SeoulSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

Wed 20 Jul
Displayed time zone: Seoul change

01:20 - 02:40	Session 1-1: Oracles, Models, and Measurement DISSTA Technical Papers at ISSTA 1

01:20 20m Talk		Combining Solution Reuse and Bound Tightening for Efficient Analysis of Evolving SystemsACM SIGSOFT Distinguished Paper ISSTA Technical Papers Clay Stevens University of Nebraska-Lincoln, Hamid Bagheri University of Nebraska-Lincoln DOI
01:40 20m Talk		Evolution-Aware Detection of Order-Dependent Flaky Tests ISSTA Technical Papers Chengpeng Li University of Texas at Austin, August Shi University of Texas at Austin DOI
02:00 20m Talk		jTrans: Jump-Aware Transformer for Binary Code Similarity Detection ISSTA Technical Papers Hao Wang Tsinghua University, Wenjie Qu Huazhong University of Science and Technology, Gilad Katz Ben-Gurion University of the Negev, Wenyu Zhu Tsinghua University, Zeyu Gao University of Science and Technology of China, Han Qiu Tsinghua University, Jianwei Zhuge Tsinghua University, Chao Zhang Tsinghua University DOI Pre-print
02:20 20m Talk		On the Use of Evaluation Measures for Defect Prediction Studies ISSTA Technical Papers Rebecca Moussa University College London, Federica Sarro University College London DOI

03:00 - 04:00	Session 1-3: Oracles, Models, and Measurement AISSTA Technical Papers at ISSTA 1

03:00 20m Talk		Using Pre-trained Language Models to Resolve Textual and Semantic Merge Conflicts (Experience Paper) ISSTA Technical Papers Jialu Zhang Yale University, Todd Mytkowicz Microsoft Research, Mike Kaufman Microsoft Corporation, Ruzica Piskac Yale University, Shuvendu K. Lahiri Microsoft Research DOI
03:20 20m Talk		Metamorphic Relations via Relaxations: An Approach to Obtain Oracles for Action-Policy Testing ISSTA Technical Papers Hasan Ferit Eniser MPI-SWS, Timo P. Gros Saarland University, Germany, Valentin Wüstholz ConsenSys, Jörg Hoffmann Saarland University and DFKI, Germany, Maria Christakis MPI-SWS DOI Pre-print
03:40 20m Talk		An Extensive Study on Pre-trained Models for Program Understanding and Generation ISSTA Technical Papers Zhengran Zeng Southern University of Science and Technology, Hanzhuo Tan Southern University of Science and Technology, The Hong Kong Polytechnic University, Haotian Zhang , Jing Li The Hong Kong Polytech University, Yuqun Zhang Southern University of Science and Technology, Lingming Zhang University of Illinois at Urbana-Champaign DOI

07:00 - 08:20	Session 2-1: Oracles, Models, and Measurement EISSTA Technical Papers at ISSTA 1 Chair(s): Christoph Csallner University of Texas at Arlington

07:00 20m Talk		On the Use of Evaluation Measures for Defect Prediction Studies ISSTA Technical Papers Rebecca Moussa University College London, Federica Sarro University College London DOI
07:20 20m Talk		Combining Solution Reuse and Bound Tightening for Efficient Analysis of Evolving SystemsACM SIGSOFT Distinguished Paper ISSTA Technical Papers Clay Stevens University of Nebraska-Lincoln, Hamid Bagheri University of Nebraska-Lincoln DOI
07:40 20m Talk		Evolution-Aware Detection of Order-Dependent Flaky Tests ISSTA Technical Papers Chengpeng Li University of Texas at Austin, August Shi University of Texas at Austin DOI
08:00 20m Talk		FDG: A Precise Measurement of Fault Diagnosability Gain of Test Cases ISSTA Technical Papers Gabin An KAIST, Shin Yoo KAIST DOI Pre-print

08:40 - 09:40	Session 2-3: Oracles, Models, and Measurement BISSTA Technical Papers at ISSTA 1

08:40 20m Talk		TELL: Log Level Suggestions via Modeling Multi-level Code Block Information ISSTA Technical Papers Jiahao Liu National University of Singapore, Jun Zeng National University of Singapore, Xiang Wang University of Science and Technology of China, Kaihang Ji National University of Singapore, Zhenkai Liang National University of Singapore DOI
09:00 20m Talk		Hunting Bugs with Accelerated Optimal Graph Vertex Matching ISSTA Technical Papers Xiaohui Zhang Renmin University of China, Yuanjun Gong Renmin University of China, Bin Liang Renmin University of China, China, Jianjun Huang Renmin University of China, China, Wei You Renmin University of China, Wenchang Shi Renmin University of China, China, Jian Zhang Institute of Software at Chinese Academy of Sciences, China DOI
09:20 20m Talk		Using Pre-trained Language Models to Resolve Textual and Semantic Merge Conflicts (Experience Paper) ISSTA Technical Papers Jialu Zhang Yale University, Todd Mytkowicz Microsoft Research, Mike Kaufman Microsoft Corporation, Ruzica Piskac Yale University, Shuvendu K. Lahiri Microsoft Research DOI

10:00 - 11:00	Session 2-5: Android BISSTA Technical Papers at ISSTA 1 Chair(s): Christoph Csallner University of Texas at Arlington

10:00 20m Talk		Automatically Detecting API-induced Compatibility Issues in Android Apps: A Comparative Analysis (Replicability Study) ISSTA Technical Papers Pei Liu Monash University, Yanjie Zhao Monash University, Haipeng Cai Washington State University, USA, Mattia Fazzini University of Minnesota, John Grundy Monash University, Li Li Monash University DOI
10:20 20m Talk		PermDroid: Automatically Testing Permission-Related Behaviour of Android Applications ISSTA Technical Papers Shuaihao Yang Nanjing University of Science and Technology, Zigang Zeng Nanjing University of Science and Technology, Wei Song Nanjing University of Science and Technology DOI
10:40 20m Talk		Detecting and Fixing Data Loss Issues in Android Apps ISSTA Technical Papers Wunan Guo Fudan University, Zhen Dong Fudan University, China, Liwei Shen Fudan University, Wei Tian Fudan University, Ting Su East China Normal University, Xin Peng Fudan University DOI

16:20 - 17:40	Session 3-1: Static Analysis and Specifications Testing CISSTA Technical Papers at ISSTA 1 Chair(s): Ding Li Peking University

16:20 20m Talk		A Large-scale Study of Usability Criteria addressed by Static Analysis Tools ISSTA Technical Papers Marcus Nachtigall Heinz Nixdorf Institute, Paderborn University, Michael Schlichtig Heinz Nixdorf Institute, Paderborn University, Eric Bodden University of Paderborn; Fraunhofer IEM DOI
16:40 20m Talk		An Empirical Study on the Effectiveness of Static C/C++ Analyzers for Vulnerability Detection ISSTA Technical Papers Stephan Lipp Technical University of Munich, Sebastian Banescu Technical University of Munich, Alexander Pretschner TU Munich DOI Pre-print
17:00 20m Talk		Combining Static Analysis Error Traces with Dynamic Symbolic Execution (Experience Paper) ISSTA Technical Papers Frank Busse Imperial College London, Pritam Gharat Imperial College London, Cristian Cadar Imperial College London, UK, Alastair F. Donaldson Imperial College London DOI Pre-print
17:20 20m Talk		Path-Sensitive Code Embedding via Contrastive Learning for Software Vulnerability Detection ISSTA Technical Papers Xiao Cheng University of Technology Sydney, Guanqin Zhang University of Technology Sydney, Haoyu Wang Huazhong University of Science and Technology, China, Yulei Sui University of New South Wales DOI

18:00 - 19:00	Session 3-3: Test Generation and Mutation CISSTA Technical Papers at ISSTA 1 Chair(s): Stefan Winter LMU Munich

18:00 20m Talk		One Step Further: Evaluating Interpreters Using Metamorphic Testing ISSTA Technical Papers Ming Fan Xi'an Jiaotong University, Jiali Wei Xi'an Jiaotong University, Wuxia Jin Xi'an Jiaotong University, Zhou Xu Wuhan University, Wenying Wei Xi'an Jiaotong University, Ting Liu Xi'an Jiaotong University DOI
18:20 20m Talk		Test Mimicry to Assess the Exploitability of Library Vulnerabilities ISSTA Technical Papers Hong Jin Kang Singapore Management University, Singapore, Truong Giang Nguyen School of Computing and Information Systems, Singapore Management University, Xuan Bach D. Le The University of Melbourne, Corina S. Pasareanu Carnegie Mellon University Silicon Valley, NASA Ames Research Center, David Lo Singapore Management University DOI
18:40 20m Talk		RegMiner: Towards Constructing a Large Regression Dataset from Code Evolution History ISSTA Technical Papers Xuezhi Song Fudan University, Yun Lin National University of Singapore, Siang Hwee Ng National University of Singapore, Yijian Wu Fudan University, Xin Peng Fudan University, Jin Song Dong National University of Singapore, Hong Mei Peking University DOI Pre-print

Thu 21 Jul
Displayed time zone: Seoul change

01:20 - 02:00	Session 1-5: Static Analysis and Specifications Testing DISSTA Technical Papers at ISSTA 1

01:20 20m Talk		Testing Dafny (Experience Paper) ISSTA Technical Papers Ahmed Irfan Amazon Web Services, Sorawee Porncharoenwase University of Washington, Zvonimir Rakamaric Amazon Web Services, Neha Rungta Amazon Web Services, Emina Torlak Amazon Web Services DOI
01:40 20m Talk		The Raise of Machine Learning Hyperparameter Constraints in Python CodeACM SIGSOFT Distinguished Paper ISSTA Technical Papers Ingkarat Rak-amnouykit Rensselaer Polytechnic Institute, Ana Milanova Rensselaer Polytechnic Institute, Guillaume Baudart Inria; ENS; PSL University, Martin Hirzel IBM Research, Julian Dolby IBM Research, USA DOI

03:00 - 04:00	Session 1-7: Static Analysis and Specifications Testing AISSTA Technical Papers at ISSTA 1 Chair(s): Raghavan Komondoor IISc Bengaluru

03:00 20m Talk		A Large-scale Study of Usability Criteria addressed by Static Analysis Tools ISSTA Technical Papers Marcus Nachtigall Heinz Nixdorf Institute, Paderborn University, Michael Schlichtig Heinz Nixdorf Institute, Paderborn University, Eric Bodden University of Paderborn; Fraunhofer IEM DOI
03:20 20m Talk		An Empirical Study on the Effectiveness of Static C/C++ Analyzers for Vulnerability Detection ISSTA Technical Papers Stephan Lipp Technical University of Munich, Sebastian Banescu Technical University of Munich, Alexander Pretschner TU Munich DOI Pre-print
03:40 20m Talk		Combining Static Analysis Error Traces with Dynamic Symbolic Execution (Experience Paper) ISSTA Technical Papers Frank Busse Imperial College London, Pritam Gharat Imperial College London, Cristian Cadar Imperial College London, UK, Alastair F. Donaldson Imperial College London DOI Pre-print

07:00 - 08:00	Session 2-7: Test Generation and Mutation BISSTA Technical Papers at ISSTA 1 Chair(s): Christoph Csallner University of Texas at Arlington

07:00 20m Talk		Automated Test Generation for REST APIs: No Time to Rest Yet ISSTA Technical Papers Myeongsoo Kim , Qi Xin Wuhan University, Saurabh Sinha IBM Research, Alessandro Orso Georgia Tech DOI
07:20 20m Talk		On the Use of Mutation Analysis For Evaluating Student Test Suite Quality ISSTA Technical Papers James Perretta Northeastern University, Andrew DeOrio University of Michigan, Arjun Guha Northeastern University, Jonathan Bell Northeastern University DOI
07:40 20m Talk		Test Mimicry to Assess the Exploitability of Library Vulnerabilities ISSTA Technical Papers Hong Jin Kang Singapore Management University, Singapore, Truong Giang Nguyen School of Computing and Information Systems, Singapore Management University, Xuan Bach D. Le The University of Melbourne, Corina S. Pasareanu Carnegie Mellon University Silicon Valley, NASA Ames Research Center, David Lo Singapore Management University DOI

08:40 - 09:40	Session 2-9: Test Generation and Mutation DISSTA Technical Papers at ISSTA 1

08:40 20m Talk		Finding Bugs in Gremlin-Based Graph Database Systems via Randomized Differential Testing ISSTA Technical Papers Yingying Zheng Institute of Software Chinese Academy of Sciences, Wensheng Dou Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Yicheng Wang Institute of Software Chinese Academy of Sciences, Zheng Qin Institute of Software Chinese Academy of Sciences, Lei Tang Institute of Software Chinese Academy of Sciences, Yu Gao Institute of Software, Chinese Academy of Sciences, China, Dong Wang Institute of software, Chinese academy of sciences, Wei Wang , Jun Wei Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences DOI
09:00 20m Talk		RegMiner: Towards Constructing a Large Regression Dataset from Code Evolution History ISSTA Technical Papers Xuezhi Song Fudan University, Yun Lin National University of Singapore, Siang Hwee Ng National University of Singapore, Yijian Wu Fudan University, Xin Peng Fudan University, Jin Song Dong National University of Singapore, Hong Mei Peking University DOI Pre-print
09:20 20m Talk		Unicorn: Detect Runtime Error in Time-Series Databases With Hybrid Input Synthesis ISSTA Technical Papers Zhiyong Wu Tsinghua University, China, Jie Liang School of Software, Tsinghua University, Mingzhe Wang Tsinghua University, Chijin Zhou Tsinghua University, Yu Jiang Tsinghua University DOI

16:20 - 17:40	Session 3-5: Concurrency, IoT, Embedded CISSTA Technical Papers at ISSTA 1 Chair(s): Stefan Winter LMU Munich

16:20 20m Talk		Understanding Device Integration Bugs in Smart Home System ISSTA Technical Papers Tao Wang , Kangkang Zhang Institute of Software Chinese Academy of Sciences, Wei Chen Institute of Software at Chinese Academy of Sciences, China, Wensheng Dou Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Jiaxin Zhu Institute of Software at Chinese Academy of Sciences, China, Jun Wei Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Tao Huang Institute of Software Chinese Academy of Sciences DOI
16:40 20m Talk		Automated Testing of Image Captioning Systems ISSTA Technical Papers BoXi Yu The Chinese University of Hong Kong, Shenzhen, Zhiqing Zhong South China University of Technology, Xinran Qin South China University of Technology, Jiayi Yao The Chinese University of Hong Kong, Shenzhen, Yuancheng Wang The Chinese University of Hong Kong, Shenzhen, Pinjia He The Chinese University of Hong Kong, Shenzhen DOI
17:00 20m Talk		LiRTest: Augmenting LiDAR Point Clouds for Automated Testing of Autonomous Driving Systems ISSTA Technical Papers An Guo Nanjing University, Yang Feng Nanjing University, Zhenyu Chen Nanjing University DOI
17:20 20m Talk		Precise and Efficient Atomicity Violation Detection for Interrupt-driven Programs via Staged Path Pruning ISSTA Technical Papers Chao Li Beijing Institute of Control Engineering and Beijing Sunwise Information Technology Ltd, Rui Chen Beijing Institute of Control Engineering, Boxiang Wang Xidian University and Beijing Sunwise Information Technology Ltd, Tingting Yu Beijing Institute of Control Engineering and Beijing Sunwise Information Technology Ltd, Dongdong Gao Beijing Institute of Control Engineering and Beijing Sunwise Information Technology Ltd, Mengfei Yang China Academy of Space Technology, China DOI

18:00 - 18:40	Session 3-7: Test Generation and Mutation EISSTA Technical Papers at ISSTA 1

18:00 20m Talk		Finding Bugs in Gremlin-Based Graph Database Systems via Randomized Differential Testing ISSTA Technical Papers Yingying Zheng Institute of Software Chinese Academy of Sciences, Wensheng Dou Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Yicheng Wang Institute of Software Chinese Academy of Sciences, Zheng Qin Institute of Software Chinese Academy of Sciences, Lei Tang Institute of Software Chinese Academy of Sciences, Yu Gao Institute of Software, Chinese Academy of Sciences, China, Dong Wang Institute of software, Chinese academy of sciences, Wei Wang , Jun Wei Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences DOI
18:20 20m Talk		Unicorn: Detect Runtime Error in Time-Series Databases With Hybrid Input Synthesis ISSTA Technical Papers Zhiyong Wu Tsinghua University, China, Jie Liang School of Software, Tsinghua University, Mingzhe Wang Tsinghua University, Chijin Zhou Tsinghua University, Yu Jiang Tsinghua University DOI

Fri 22 Jul
Displayed time zone: Seoul change

00:00 - 01:00	Session 1-9: Fuzzing and Friends AISSTA Technical Papers at ISSTA 1

00:00 20m Talk		Almost Correct Invariants: Synthesizing Inductive Invariants by Fuzzing Proofs ISSTA Technical Papers Sumit Lahiri Indian Institute Of Technology Kanpur, Subhajit Roy IIT Kanpur, India DOI
00:20 20m Talk		MDPFuzz: Testing Models Solving Markov Decision Processes ISSTA Technical Papers Qi Pang HKUST, Yuanyuan Yuan The Hong Kong University of Science and Technology, Shuai Wang Hong Kong University of Science and Technology DOI
00:40 20m Talk		SnapFuzz: High-Throughput Fuzzing of Network Applications ISSTA Technical Papers Anastasios Andronidis Imperial College London, UK, Cristian Cadar Imperial College London, UK DOI

01:40 - 02:20	Session 1-11: Fuzzing and Friends DISSTA Technical Papers at ISSTA 1

01:40 20m Talk		Efficient Greybox Fuzzing of Applications in Linux-based IoT Devices via Enhanced User-mode Emulation ISSTA Technical Papers Yaowen Zheng Nanyang Technological University; Beijing Key Laboratory of IOT Information Security Technology, Institute of Information Engineering, CAS, China;, Yuekang Li Nanyang Technological University, Cen Zhang Nanyang Technological University, Hongsong Zhu Beijing Key Laboratory of IOT Information Security Technology, Institute of Information Engineering, CAS, China; School of Cyber Security, University of Chinese Academy of Sciences, China, Yang Liu Nanyang Technological University, Limin Sun Beijing Key Laboratory of IOT Information Security Technology, Institute of Information Engineering, CAS, China; School of Cyber Security, University of Chinese Academy of Sciences, China DOI
02:00 20m Talk		TensileFuzz: Facilitating Seed Input Generation in Fuzzing via String Constraint Solving ISSTA Technical Papers Xuwei Liu Purdue University, USA, Wei You Renmin University of China, Zhuo Zhang Purdue University, Xiangyu Zhang Purdue University DOI

03:00 - 03:40	Session 1-13: Program Repair AISSTA Technical Papers at ISSTA 1

03:00 20m Talk		ATR: Template-based Repair for Alloy Specifications ISSTA Technical Papers Guolong Zheng University of Nebraska Lincoln, ThanhVu Nguyen George Mason University, Simón Gutiérrez Brida University of Rio Cuarto and CONICET, Argentina, Germán Regis Universidad Nacional de Río Cuarto, Nazareno Aguirre University of Rio Cuarto and CONICET, Argentina, Marcelo F. Frias Dept. of Software Engineering Instituto Tecnológico de Buenos Aires, Hamid Bagheri University of Nebraska-Lincoln DOI
03:20 20m Talk		Patch Correctness Assessment in Automated Program Repair Based on the Impact of Patches on Production and Test Code ISSTA Technical Papers Ali Ghanbari Iowa State University, Andrian Marcus University of Texas at Dallas DOI Pre-print

07:00 - 08:00	Session 2-13: Fuzzing and Friends BISSTA Technical Papers at ISSTA 1

07:00 20m Talk		PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation ISSTA Technical Papers Zheyu Ma , Bodong Zhao Tsinghua University, Letu Ren Department of Computer Science and Technology, Tsinghua University, Zheming Li Tsinghua University, Siqi Ma the University of Queensland, Xiapu Luo Hong Kong Polytechnic University, Chao Zhang Tsinghua University DOI
07:20 20m Talk		SLIME: Program-sensitive Energy Allocation for Fuzzing ISSTA Technical Papers Chenyang Lyu Zhejiang University, Hong Liang Zhejiang University, Shouling Ji Zhejiang University, Xuhong Zhang Zhejiang University, Binbin Zhao Georgia Institute of Technology, Meng Han Binjiang Institute of Zhejiang University & Zhejiang University, Yun Li Huawei Technologies Co., Ltd., Zhe Wang State Key Laboratory of Computer Architecture, Institute of Computing Technology, Chinese Academy of Sciences, Wenhai Wang Zhejiang University, Raheem Beyah Georgia Institute of Technology DOI
07:40 20m Talk		TensileFuzz: Facilitating Seed Input Generation in Fuzzing via String Constraint Solving ISSTA Technical Papers Xuwei Liu Purdue University, USA, Wei You Renmin University of China, Zhuo Zhang Purdue University, Xiangyu Zhang Purdue University DOI

08:40 - 09:40	Session 2-15: Smart Contracts BISSTA Technical Papers at ISSTA 1

08:40 20m Talk		eTainter: Detecting Gas-Related Vulnerabilities in Smart Contracts ISSTA Technical Papers Asem Ghaleb University of British Columbia, Julia Rubin University of British Columbia, Karthik Pattabiraman University of British Columbia DOI
09:00 20m Talk		Finding Permission Bugs in Smart Contracts with Role MiningACM SIGSOFT Distinguished Paper ISSTA Technical Papers Ye Liu Nanyang Technological University, Singapore, Yi Li Nanyang Technological University, Shang-Wei Lin Nanyang Technological University, Cyrille Artho KTH Royal Institute of Technology, Sweden DOI Pre-print
09:20 20m Talk		SmartDagger : A Bytecode-based Static Analysis Approach for Detecting Cross-contract Vulnerability ISSTA Technical Papers Zeqin Liao Sun Yat-sen University, Zibin Zheng School of Data and Computer Science, Sun Yat-sen University, Xiao Chen Sun Yat-sen University, Yuhong Nan Sun Yat-sen University DOI

15:00 - 16:20	Session 3-9: Smart Contracts CISSTA Technical Papers at ISSTA 1

15:00 20m Talk		Finding Permission Bugs in Smart Contracts with Role MiningACM SIGSOFT Distinguished Paper ISSTA Technical Papers Ye Liu Nanyang Technological University, Singapore, Yi Li Nanyang Technological University, Shang-Wei Lin Nanyang Technological University, Cyrille Artho KTH Royal Institute of Technology, Sweden DOI Pre-print
15:20 20m Talk		Park: Accelerating Smart Contract Vulnerability Detection via Parallel-fork Symbolic Execution ISSTA Technical Papers Peilin Zheng Sun Yat-sen University, Zibin Zheng School of Data and Computer Science, Sun Yat-sen University, Xiapu Luo Hong Kong Polytechnic University DOI
15:40 20m Talk		SmartDagger : A Bytecode-based Static Analysis Approach for Detecting Cross-contract Vulnerability ISSTA Technical Papers Zeqin Liao Sun Yat-sen University, Zibin Zheng School of Data and Computer Science, Sun Yat-sen University, Xiao Chen Sun Yat-sen University, Yuhong Nan Sun Yat-sen University DOI
16:00 20m Talk		WASAI: Uncovering Vulnerabilities in Wasm Smart Contracts ISSTA Technical Papers Weimin Chen The Hong Kong Polytechnic University, Zihan Sun Beijing University of Posts and Telecommunications, Haoyu Wang Huazhong University of Science and Technology, China, Xiapu Luo Hong Kong Polytechnic University, Haipeng Cai Washington State University, USA, Lei Wu Zhejiang University DOI

16:40 - 17:40	Session 3-11: Oracles, Models, and Measurement CISSTA Technical Papers at ISSTA 1

16:40 20m Talk		An Extensive Study on Pre-trained Models for Program Understanding and Generation ISSTA Technical Papers Zhengran Zeng Southern University of Science and Technology, Hanzhuo Tan Southern University of Science and Technology, The Hong Kong Polytechnic University, Haotian Zhang , Jing Li The Hong Kong Polytech University, Yuqun Zhang Southern University of Science and Technology, Lingming Zhang University of Illinois at Urbana-Champaign DOI
17:00 20m Talk		Metamorphic Relations via Relaxations: An Approach to Obtain Oracles for Action-Policy Testing ISSTA Technical Papers Hasan Ferit Eniser MPI-SWS, Timo P. Gros Saarland University, Germany, Valentin Wüstholz ConsenSys, Jörg Hoffmann Saarland University and DFKI, Germany, Maria Christakis MPI-SWS DOI Pre-print
17:20 20m Talk		TELL: Log Level Suggestions via Modeling Multi-level Code Block Information ISSTA Technical Papers Jiahao Liu National University of Singapore, Jun Zeng National University of Singapore, Xiang Wang University of Science and Technology of China, Kaihang Ji National University of Singapore, Zhenkai Liang National University of Singapore DOI

18:00 - 19:00	Session 3-13: Oracles, Models, and Measurement FISSTA Technical Papers at ISSTA 1 Chair(s): Stefan Winter LMU Munich

18:00 20m Talk		jTrans: Jump-Aware Transformer for Binary Code Similarity Detection ISSTA Technical Papers Hao Wang Tsinghua University, Wenjie Qu Huazhong University of Science and Technology, Gilad Katz Ben-Gurion University of the Negev, Wenyu Zhu Tsinghua University, Zeyu Gao University of Science and Technology of China, Han Qiu Tsinghua University, Jianwei Zhuge Tsinghua University, Chao Zhang Tsinghua University DOI Pre-print
18:20 20m Talk		FDG: A Precise Measurement of Fault Diagnosability Gain of Test Cases ISSTA Technical Papers Gabin An KAIST, Shin Yoo KAIST DOI Pre-print
18:40 20m Talk		Hunting Bugs with Accelerated Optimal Graph Vertex Matching ISSTA Technical Papers Xiaohui Zhang Renmin University of China, Yuanjun Gong Renmin University of China, Bin Liang Renmin University of China, China, Jianjun Huang Renmin University of China, China, Wei You Renmin University of China, Wenchang Shi Renmin University of China, China, Jian Zhang Institute of Software at Chinese Academy of Sciences, China DOI

Wed 20 Jul
Displayed time zone: Seoul change


Room	1:00						30						2:00						30						3:00						30						4:00						30						5:00						30						6:00						30						7:00						30						8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30
ISSTA 1					ISSTA Technical Papers Session 1-1: Oracles, Models, and Measurement D																				ISSTA Technical Papers Session 1-3: Oracles, Models, and Measurement A																																																ISSTA Technical Papers Session 2-1: Oracles, Models, and Measurement E																				ISSTA Technical Papers Session 2-3: Oracles, Models, and Measurement B																ISSTA Technical Papers Session 2-5: Android B																																																																												ISSTA Technical Papers Session 3-1: Static Analysis and Specifications Testing C																				ISSTA Technical Papers Session 3-3: Test Generation and Mutation C

Thu 21 Jul
Displayed time zone: Seoul change


Room	1:00						30						2:00						30						3:00						30						4:00						30						5:00						30						6:00						30						7:00						30						8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30
ISSTA 1					ISSTA Technical Papers Session 1-5: Static Analysis and Specifications Testing D																				ISSTA Technical Papers Session 1-7: Static Analysis and Specifications Testing A																																																ISSTA Technical Papers Session 2-7: Test Generation and Mutation B																				ISSTA Technical Papers Session 2-9: Test Generation and Mutation D																																																																																ISSTA Technical Papers Session 3-5: Concurrency, IoT, Embedded C																				ISSTA Technical Papers Session 3-7: Test Generation and Mutation E

Fri 22 Jul
Displayed time zone: Seoul change


Room	0:00						30						1:00						30						2:00						30						3:00						30						4:00						30						5:00						30						6:00						30						7:00						30						8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30
ISSTA 1	ISSTA Technical Papers Session 1-9: Fuzzing and Friends A																				ISSTA Technical Papers Session 1-11: Fuzzing and Friends D																ISSTA Technical Papers Session 1-13: Program Repair A																																																ISSTA Technical Papers Session 2-13: Fuzzing and Friends B																				ISSTA Technical Papers Session 2-15: Smart Contracts B																																																																												ISSTA Technical Papers Session 3-9: Smart Contracts C																				ISSTA Technical Papers Session 3-11: Oracles, Models, and Measurement C																ISSTA Technical Papers Session 3-13: Oracles, Models, and Measurement F

Wed 20 Jul
Displayed time zone: Seoul change


Room	1:00			15			30			45			2:00			15			30			45			3:00			15			30			45			4:00			15			30			45			5:00			15			30			45			6:00			15			30			45			7:00			15			30			45			8:00			15			30			45			9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45			18:00			15			30			45
ISSTA 1					ISSTA Technical PapersACM SIGSOFT Distinguished Paper Combining Solution Reuse and Bound Tightening for Efficient Analysis of ... 01:20 - 01:40				ISSTA Technical Papers Evolution-Aware Detection of Order-Dependent Flaky Tests 01:40 - 02:00				ISSTA Technical Papers jTrans: Jump-Aware Transformer for Binary Code Similarity Detection 02:00 - 02:20				ISSTA Technical Papers On the Use of Evaluation Measures for Defect Prediction Studies 02:20 - 02:40								ISSTA Technical Papers Using Pre-trained Language Models to Resolve Textual and Semantic Merge ... 03:00 - 03:20				ISSTA Technical Papers Metamorphic Relations via Relaxations: An Approach to Obtain Oracles fo ... 03:20 - 03:40				ISSTA Technical Papers An Extensive Study on Pre-trained Models for Program Understanding and ... 03:40 - 04:00																																								ISSTA Technical Papers On the Use of Evaluation Measures for Defect Prediction Studies 07:00 - 07:20				ISSTA Technical PapersACM SIGSOFT Distinguished Paper Combining Solution Reuse and Bound Tightening for Efficient Analysis of ... 07:20 - 07:40				ISSTA Technical Papers Evolution-Aware Detection of Order-Dependent Flaky Tests 07:40 - 08:00				ISSTA Technical Papers FDG: A Precise Measurement of Fault Diagnosability Gain of Test Cases 08:00 - 08:20								ISSTA Technical Papers TELL: Log Level Suggestions via Modeling Multi-level Code Block Information 08:40 - 09:00				ISSTA Technical Papers Hunting Bugs with Accelerated Optimal Graph Vertex Matching 09:00 - 09:20				ISSTA Technical Papers Using Pre-trained Language Models to Resolve Textual and Semantic Merge ... 09:20 - 09:40								ISSTA Technical Papers Automatically Detecting API-induced Compatibility Issues in Android App ... 10:00 - 10:20				ISSTA Technical Papers PermDroid: Automatically Testing Permission-Related Behaviour of Androi ... 10:20 - 10:40				ISSTA Technical Papers Detecting and Fixing Data Loss Issues in Android Apps 10:40 - 11:00																																																																				ISSTA Technical Papers A Large-scale Study of Usability Criteria addressed by Static Analysis ... 16:20 - 16:40				ISSTA Technical Papers An Empirical Study on the Effectiveness of Static C/C++ Analyzers for V ... 16:40 - 17:00				ISSTA Technical Papers Combining Static Analysis Error Traces with Dynamic Symbolic Execution ... 17:00 - 17:20				ISSTA Technical Papers Path-Sensitive Code Embedding via Contrastive Learning for Software Vul ... 17:20 - 17:40								ISSTA Technical Papers One Step Further: Evaluating Interpreters Using Metamorphic Testing 18:00 - 18:20				ISSTA Technical Papers Test Mimicry to Assess the Exploitability of Library Vulnerabilities 18:20 - 18:40				ISSTA Technical Papers RegMiner: Towards Constructing a Large Regression Dataset from Code Evo ... 18:40 - 19:00

Thu 21 Jul
Displayed time zone: Seoul change


Room	1:00			15			30			45			2:00			15			30			45			3:00			15			30			45			4:00			15			30			45			5:00			15			30			45			6:00			15			30			45			7:00			15			30			45			8:00			15			30			45			9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45			18:00			15			30			45
ISSTA 1					ISSTA Technical Papers Testing Dafny (Experience Paper) 01:20 - 01:40				ISSTA Technical PapersACM SIGSOFT Distinguished Paper The Raise of Machine Learning Hyperparameter Constraints in Python Code 01:40 - 02:00																ISSTA Technical Papers A Large-scale Study of Usability Criteria addressed by Static Analysis ... 03:00 - 03:20				ISSTA Technical Papers An Empirical Study on the Effectiveness of Static C/C++ Analyzers for V ... 03:20 - 03:40				ISSTA Technical Papers Combining Static Analysis Error Traces with Dynamic Symbolic Execution ... 03:40 - 04:00																																								ISSTA Technical Papers Automated Test Generation for REST APIs: No Time to Rest Yet 07:00 - 07:20				ISSTA Technical Papers On the Use of Mutation Analysis For Evaluating Student Test Suite Quality 07:20 - 07:40				ISSTA Technical Papers Test Mimicry to Assess the Exploitability of Library Vulnerabilities 07:40 - 08:00												ISSTA Technical Papers Finding Bugs in Gremlin-Based Graph Database Systems via Randomized Dif ... 08:40 - 09:00				ISSTA Technical Papers RegMiner: Towards Constructing a Large Regression Dataset from Code Evo ... 09:00 - 09:20				ISSTA Technical Papers Unicorn: Detect Runtime Error in Time-Series Databases With Hybrid Inpu ... 09:20 - 09:40																																																																								ISSTA Technical Papers Understanding Device Integration Bugs in Smart Home System 16:20 - 16:40				ISSTA Technical Papers Automated Testing of Image Captioning Systems 16:40 - 17:00				ISSTA Technical Papers LiRTest: Augmenting LiDAR Point Clouds for Automated Testing of Autonom ... 17:00 - 17:20				ISSTA Technical Papers Precise and Efficient Atomicity Violation Detection for Interrupt-drive ... 17:20 - 17:40								ISSTA Technical Papers Finding Bugs in Gremlin-Based Graph Database Systems via Randomized Dif ... 18:00 - 18:20				ISSTA Technical Papers Unicorn: Detect Runtime Error in Time-Series Databases With Hybrid Inpu ... 18:20 - 18:40

Fri 22 Jul
Displayed time zone: Seoul change


Room	0:00			15			30			45			1:00			15			30			45			2:00			15			30			45			3:00			15			30			45			4:00			15			30			45			5:00			15			30			45			6:00			15			30			45			7:00			15			30			45			8:00			15			30			45			9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45			18:00			15			30			45
ISSTA 1	ISSTA Technical Papers Almost Correct Invariants: Synthesizing Inductive Invariants by Fuzzing ... 00:00 - 00:20				ISSTA Technical Papers MDPFuzz: Testing Models Solving Markov Decision Processes 00:20 - 00:40				ISSTA Technical Papers SnapFuzz: High-Throughput Fuzzing of Network Applications 00:40 - 01:00												ISSTA Technical Papers Efficient Greybox Fuzzing of Applications in Linux-based IoT Devices vi ... 01:40 - 02:00				ISSTA Technical Papers TensileFuzz: Facilitating Seed Input Generation in Fuzzing via String C ... 02:00 - 02:20												ISSTA Technical Papers ATR: Template-based Repair for Alloy Specifications 03:00 - 03:20				ISSTA Technical Papers Patch Correctness Assessment in Automated Program Repair Based on the I ... 03:20 - 03:40																																												ISSTA Technical Papers PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation 07:00 - 07:20				ISSTA Technical Papers SLIME: Program-sensitive Energy Allocation for Fuzzing 07:20 - 07:40				ISSTA Technical Papers TensileFuzz: Facilitating Seed Input Generation in Fuzzing via String C ... 07:40 - 08:00												ISSTA Technical Papers eTainter: Detecting Gas-Related Vulnerabilities in Smart Contracts 08:40 - 09:00				ISSTA Technical PapersACM SIGSOFT Distinguished Paper Finding Permission Bugs in Smart Contracts with Role Mining 09:00 - 09:20				ISSTA Technical Papers SmartDagger : A Bytecode-based Static Analysis Approach for Detecting C ... 09:20 - 09:40																																																																				ISSTA Technical PapersACM SIGSOFT Distinguished Paper Finding Permission Bugs in Smart Contracts with Role Mining 15:00 - 15:20				ISSTA Technical Papers Park: Accelerating Smart Contract Vulnerability Detection via Parallel- ... 15:20 - 15:40				ISSTA Technical Papers SmartDagger : A Bytecode-based Static Analysis Approach for Detecting C ... 15:40 - 16:00				ISSTA Technical Papers WASAI: Uncovering Vulnerabilities in Wasm Smart Contracts 16:00 - 16:20								ISSTA Technical Papers An Extensive Study on Pre-trained Models for Program Understanding and ... 16:40 - 17:00				ISSTA Technical Papers Metamorphic Relations via Relaxations: An Approach to Obtain Oracles fo ... 17:00 - 17:20				ISSTA Technical Papers TELL: Log Level Suggestions via Modeling Multi-level Code Block Information 17:20 - 17:40								ISSTA Technical Papers jTrans: Jump-Aware Transformer for Binary Code Similarity Detection 18:00 - 18:20				ISSTA Technical Papers FDG: A Precise Measurement of Fault Diagnosability Gain of Test Cases 18:20 - 18:40				ISSTA Technical Papers Hunting Bugs with Accelerated Optimal Graph Vertex Matching 18:40 - 19:00

Room information: ISSTA 1

Wed 20 Jul
Displayed time zone: Seoul change

Thu 21 Jul
Displayed time zone: Seoul change

Fri 22 Jul
Displayed time zone: Seoul change

Wed 20 Jul
Displayed time zone: Seoul change

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

Thu 21 Jul
Displayed time zone: Seoul change

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

Fri 22 Jul
Displayed time zone: Seoul change

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

Wed 20 Jul
Displayed time zone: Seoul change

Thu 21 Jul
Displayed time zone: Seoul change

Fri 22 Jul
Displayed time zone: Seoul change

Tracks

Room information: ISSTA 1

Program Display Configuration

Wed 20 JulDisplayed time zone: Seoul change

Thu 21 JulDisplayed time zone: Seoul change

Fri 22 JulDisplayed time zone: Seoul change

Wed 20 JulDisplayed time zone: Seoul change

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

Thu 21 JulDisplayed time zone: Seoul change

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

Fri 22 JulDisplayed time zone: Seoul change

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

ISSTA Technical Papers

Wed 20 JulDisplayed time zone: Seoul change

Thu 21 JulDisplayed time zone: Seoul change

Fri 22 JulDisplayed time zone: Seoul change

Wed 20 Jul
Displayed time zone: Seoul change

Thu 21 Jul
Displayed time zone: Seoul change

Fri 22 Jul
Displayed time zone: Seoul change

Wed 20 Jul
Displayed time zone: Seoul change

Thu 21 Jul
Displayed time zone: Seoul change

Fri 22 Jul
Displayed time zone: Seoul change

Wed 20 Jul
Displayed time zone: Seoul change

Thu 21 Jul
Displayed time zone: Seoul change

Fri 22 Jul
Displayed time zone: Seoul change