Room C - ASE 2023

VenueEuropean Convention Center Luxembourg (ECCL)

Room nameRoom C

Floor0

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect 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

Tue 12 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	08:30 - 09:00	Opening Remarks Keynotes at Room C

09:00 - 10:00	KeynoteKeynotes at Room C

09:00 60m Talk		Automating Software Evolution in the Linux Kernel Keynotes Julia Lawall Inria

10:30 - 12:00	Testing AI Systems 1NIER Track / Research Papers at Room C Chair(s): Leonardo Mariani University of Milano-Bicocca

10:30 12m Talk		Nuances are the Key: Unlocking ChatGPT to Find Failure-Inducing Tests with Differential Prompting Research Papers Li Tsz On The Hong Kong University of Science and Technology, Wenxi Zong Northeastern University, Yibo Wang Northeastern University, Haoye Tian University of Luxembourg, Ying Wang Northeastern University, Shing-Chi Cheung Hong Kong University of Science and Technology, Jeffrey Kramer Imperial College London Pre-print
10:42 12m Talk		SOCRATEST- Towards Autonomous Testing Agents via Conversational Large Language Models NIER Track Robert Feldt Chalmers University of Technology, Sweden, Sungmin Kang KAIST, Juyeon Yoon Korea Advanced Institute of Science and Technology, Shin Yoo KAIST Pre-print File Attached
10:54 12m Research paper		Semantic Data Augmentation for Deep Learning Testing using Generative AI NIER Track sondess missaoui University of York, Simos Gerasimou University of York, Nicholas Matragkas Université Paris-Saclay, CEA, List. File Attached
11:06 12m Talk		Robin: A Novel Method to Produce Robust Interpreters for Deep Learning-Based Code Classifiers Research Papers Zhen Li Huazhong University of Science and Technology, Ruqian Zhang Huazhong University of Science and Technology, Deqing Zou Huazhong University of Science and Technology, Ning Wang Huazhong University of Science and Technology, Yating Li Huazhong University of Science and Technology, Shouhuai Xu University of Colorado Colorado Springs, Chen Chen University of Central Florida, Hai Jin Huazhong University of Science and Technology, Yating Li Huazhong University of Science and Technology Pre-print
11:18 12m Talk		The Devil is in the Tails: How Long-Tailed Code Distributions Impact Large Language Models Research Papers Xin Zhou Singapore Management University, Singapore, Kisub Kim Singapore Management University, Singapore, Bowen Xu North Carolina State University, Jiakun Liu Singapore Management University, DongGyun Han Royal Holloway, University of London, David Lo Singapore Management University Pre-print
11:30 12m Talk		CertPri: Certifiable Prioritization for Deep Neural Networks via Movement Cost in Feature SpaceRecorded talk Research Papers haibin zheng Zhejiang University of Technology, Jinyin Chen College of Information Engineering, Zhejiang University of Technology, Hangzhou 310023, China, Haibo Jin Zhejiang University of Techonology Pre-print Media Attached

13:30 - 15:00	Testing AI Systems 2NIER Track / Journal-first Papers / Research Papers at Room C Chair(s): Lwin Khin Shar Singapore Management University

13:30 12m Talk		ATOM: Automated Black-Box Testing of Multi-Label Image Classification Systems Research Papers Shengyou Hu Nanjing University, Huayao Wu Nanjing University, Peng Wang Fudan University, Jing Chang Guangdong OPPO Mobile Telecommunications Corp.,Ltd., Yongjun Tu Guangdong OPPO Mobile Telecommunications Corp.,Ltd., Xiu Jiang Guangdong OPPO Mobile Telecommunications Corp.,Ltd., Xintao Niu Nanjing University, Changhai Nie Nanjing University Pre-print Media Attached File Attached
13:42 12m Talk		Automating Bias Testing of LLMs NIER Track Sergio Morales Universitat Oberta de Catalunya, Robert Clarisó Universitat Oberta de Catalunya, Jordi Cabot Luxembourg Institute of Science and Technology Pre-print File Attached
13:54 12m Talk		MUTEN: Mutant-Based Ensembles for Boosting Gradient-Based Adversarial Attack NIER Track Qiang Hu University of Luxembourg, Yuejun GUo Luxembourg Institute of Science and Technology, Maxime Cordy University of Luxembourg, Luxembourg, Mike Papadakis University of Luxembourg, Luxembourg, Yves Le Traon University of Luxembourg, Luxembourg File Attached
14:06 12m Research paper		Generative Model-Based Testing on Decision-Making Policies Research Papers Zhuo Li Kyushu University, Xiongfei Wu Kyushu University, Derui Zhu Technical University of Munich, Mingfei Cheng Singapore Management University, Siyuan Chen Kyushu University, Fuyuan Zhang Kyushu University, Xiaofei Xie Singapore Management University, Lei Ma University of Alberta, Jianjun Zhao Kyushu University File Attached
14:18 12m Talk		Simulator-based Explanation and Debugging of Hazard-triggering Events in DNN-based Safety-critical Systems Journal-first Papers Hazem FAHMY University of Luxembourg, Fabrizio Pastore University of Luxembourg, Lionel Briand University of Luxembourg; University of Ottawa, Thomas Stifter IEE S.A. Link to publication DOI Pre-print File Attached
14:30 12m Talk		Are We Ready to Embrace Generative AI for Software Q&A? NIER Track Bowen Xu North Carolina State University, Thanh-Dat Nguyen University of Melbourne, Le-Cong Thanh The University of Melbourne, Thong Hoang CSIRO's Data61, Jiakun Liu Singapore Management University, Kisub Kim Singapore Management University, Singapore, Chen GONG University of Virginia, Changan Niu Software Institute, Nanjing University, Chenyu Wang Singapore Management University, Xuan-Bach D. Le University of Melbourne, David Lo Singapore Management University

15:30 - 17:00	Testing AI Systems 3Journal-first Papers / Research Papers / Industry Showcase (Papers) / NIER Track at Room C Chair(s): Mike Papadakis University of Luxembourg, Luxembourg

15:30 12m Research paper		Causality-Aided Trade-off Analysis for Machine Learning Fairness Research Papers Zhenlan Ji The Hong Kong University of Science and Technology, Pingchuan Ma HKUST, Shuai Wang Hong Kong University of Science and Technology, Yanhui Li Nanjing University Pre-print
15:42 12m Talk		Towards Self-Adaptive Machine Learning-Enabled Systems Through QoS-Aware Model Switching NIER Track Shubham Kulkarni IIIT Hyderabad, Arya Marda IIIT Hyderabad, Karthik Vaidhyanathan IIIT Hyderabad Pre-print
15:54 12m Talk		Challenges of Accurate and Efficient AutoML Industry Showcase (Papers) Swarnava Dey TCS Research, Avik Ghose TCS Research, Soumik Das Tata Consultancy Services Ltd. File Attached
16:06 12m Talk		Cell2Doc: ML Pipeline for Generating Documentation in Computational Notebooks Research Papers Tamal Mondal IIT Hyderabad, Scott Barnett Deakin University, Akash Lal Microsoft Research, Jyothi Vedurada IIT Hyderabad Pre-print Media Attached
16:18 12m Talk		Evaluating Pre-Trained Models for User Feedback Analysis in Software Engineering: A Study on Classification of App-Reviews Journal-first Papers Mohammad Abdul Hadi University of British Columbia, Fatemeh Hendijani Fard University of British Columbia File Attached
16:30 12m Talk		Evolve the Model universe of a System UniverseRecorded talk NIER Track Tao Yue Beihang University, Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University Media Attached

Wed 13 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:30 - 09:00	MIP awardsMost Influential Papers (MIP) at Room C Chair(s): Myra Cohen Iowa State University

08:30 12m Talk		SMT-Based Bounded Model Checking for Embedded ANSI-C Software Most Influential Papers (MIP) Lucas C. Cordeiro University of Manchester, UK and Federal University of Amazonas, Brazil, Bernd Fischer Stellenbosch University, Joao Marques-Silva IRIT, CNRS, Toulouse Link to publication File Attached
08:42 12m Talk		Spectrum-Based Multiple Fault Localization Most Influential Papers (MIP) Rui Abreu Faculty of Engineering, University of Porto, Peter Zoeteweij , Arjan J.C. van Gemund

09:00 - 10:00	KeynoteKeynotes at Room C

09:00 60m Talk		DIDACT: Large sequence models for software development activities Keynotes Danny Tarlow

10:30 - 12:00	Program Repair 1Tool Demonstrations / NIER Track / Journal-first Papers / Research Papers at Room C Chair(s): Arie van Deursen Delft University of Technology

10:30 12m Talk		Adonis: Practical and Efficient Control Flow Recovery through OS-Level Traces Journal-first Papers Xuanzhe Liu Peking University, Chengxu Yang Peking University, Ding Li Peking University, Yuhan Zhou Peking University, Shaofei Li Peking University, Jiali Chen Peking University, Zhenpeng Chen University College London
10:42 12m Talk		BUGSC++: A Highly Usable Real World Defect Benchmark for C/C++ Tool Demonstrations Gabin An KAIST, Minhyuk Kwon Suresoft Technologies, Kyunghwa Choi Suresoft Technologies, Jooyong Yi UNIST (Ulsan National Institute of Science and Technology), Shin Yoo KAIST Link to publication Pre-print File Attached
10:54 12m Talk		Better patching using LLM prompting, via Self-Consistency NIER Track Toufique Ahmed University of California at Davis, Prem Devanbu University of California at Davis Pre-print
11:06 12m Talk		The Plastic Surgery Hypothesis in the Era of Large Language Models Research Papers Chunqiu Steven Xia University of Illinois at Urbana-Champaign, Yifeng Ding University of Illinois at Urbana-Champaign, Lingming Zhang University of Illinois at Urbana-Champaign Pre-print
11:18 12m Research paper		GAMMA: Revisiting Template-based Automated Program Repair via Mask Prediction Research Papers Quanjun Zhang Nanjing University, Chunrong Fang Nanjing University, Tongke Zhang Nanjing University, Bowen Yu Nanjing University, Weisong Sun Nanjing University, Zhenyu Chen Nanjing University Pre-print Media Attached
11:30 12m Talk		ExpressAPR: Efficient Patch Validation for Java Automated Program Repair Systems Tool Demonstrations Yuan-An Xiao Peking University, Chenyang Yang Peking University, Bo Wang Beijing Jiaotong University, Yingfei Xiong Peking University Media Attached File Attached

13:30 - 15:00	Program Verification 1Research Papers / NIER Track / Tool Demonstrations at Room C Chair(s): Nico Rosner Amazon Web Services

13:30 12m Talk		CPA-DF: A Tool for Configurable Interval Analysis to Boost Program Verification Tool Demonstrations Dirk Beyer LMU Munich, Po-Chun Chien LMU Munich, Nian-Ze Lee LMU Munich Pre-print Media Attached File Attached
13:42 12m Talk		Demystifying Template-based Invariant Generation for Bit-Vector Programs Research Papers Peisen Yao Zhejing University, Jingyu Ke Shanghai Jiao Tong University, Jiahui Sun Zhejiang University, Hongfei Fu Shanghai Jiao Tong University, Rongxin Wu Xiamen University, Kui Ren Zhejiang University
13:54 12m Talk		PSMT: Satisfiability Modulo Theories Meets Probability Distribution NIER Track Fuqi Jia Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Rui Han Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Xutong Ma State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China, Baoquan Cui Institute of Software at Chinese Academy of Sciences, China, Minghao Liu Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Pei Huang Stanford University, Feifei Ma Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Jian Zhang Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences Pre-print File Attached
14:06 12m Talk		EndWatch: A Practical Method for Detecting Non-Termination in Real-World Software Research Papers Yao Zhang Tianjin University, Xiaofei Xie Singapore Management University, Yi Li Nanyang Technological University, Sen Chen Tianjin University, Cen Zhang Nanyang Technological University, Xiaohong Li Tianjin University Pre-print File Attached
14:18 12m Talk		Symbolic Fixpoint Algorithms for Logical LTL Games Research Papers Stanly Samuel Indian Institute of Science, India, Deepak D'Souza IISc Bangalore, Raghavan Komondoor Indian Institute of Science, India Pre-print Media Attached File Attached
14:30 12m Talk		SAT-verifiable LTL Satisfiability Checking via Graph Representation LearningRecorded talk NIER Track Weilin Luo Sun Yat-Sen University, Yuhang Zheng Sun Yat-Sen University, Rongzhen Ye Sun Yat-Sen University, Hai Wan School of Data and Computer Science, Sun Yat-sen University, Jianfeng Du Guangdong University of Foreign Studies, Pingjia Liang Sun Yat-Sen University, Polong Chen Sun Yat-Sen University Media Attached

15:30 - 17:00	Software Testing for Specialized Systems 1Research Papers / Journal-first Papers / NIER Track at Room C Chair(s): Fabrizio Pastore University of Luxembourg

15:30 12m Talk		DCLink: Bridging Data Constraint Changes and Implementations in FinTech Systems Research Papers Wensheng Tang Hong Kong University of Science and Technology, Chengpeng Wang Hong Kong University of Science and Technology, Peisen Yao Zhejing University, Rongxin Wu Xiamen University, Xianjin Fu Ant Group, Gang Fan Ant Group, Charles Zhang Hong Kong University of Science and Technology File Attached
15:42 12m Talk		Systematically Detecting Packet Validation Vulnerabilities in Embedded Network Stacks Research Papers Paschal Amusuo Purdue University, Ricardo Andrés Calvo Méndez Universidad Nacional de Colombia, Zhongwei Xu Xi'an JiaoTong University, Aravind Machiry Purdue University, James C. Davis Purdue University Pre-print Media Attached File Attached
15:54 12m Talk		WADIFF: A Differential Testing Framework for WebAssembly Runtimes Research Papers Shiyao Zhou The Hong Kong Polytechnic University, Muhui Jiang The Hong Kong Polytechnic University, Weimin Chen The Hong Kong Polytechnic University, Hao Zhou Hong Kong Polytechnic University, Haoyu Wang Huazhong University of Science and Technology, Xiapu Luo Hong Kong Polytechnic University File Attached
16:06 12m Talk		T-Evos: A Large-Scale Longitudinal Study on CI Test Execution and Failure Journal-first Papers An Ran Chen University of Alberta, Tse-Hsun (Peter) Chen Concordia University, Shaowei Wang University of Manitoba Pre-print
16:18 12m Talk		VRGuide: Efficient Testing of Virtual Reality Scenes via Dynamic Cut Coverage Research Papers Xiaoyin Wang University of Texas at San Antonio, Tahmid Rafi University of Texas at San Antonio, Na Meng Virginia Tech File Attached
16:30 12m Talk		PURLTL: Mining LTL Specification from Imperfect Traces in TestingRecorded talk NIER Track Bo Peng Sun Yat-Sen University, Pingjia Liang Sun Yat-Sen University, Tingchen Han Sun Yat-Sen University, Weilin Luo Sun Yat-Sen University, Jianfeng Du Guangdong University of Foreign Studies, Hai Wan School of Data and Computer Science, Sun Yat-sen University, Rongzhen Ye Sun Yat-Sen University, Yuhang Zheng Sun Yat-Sen University Media Attached

Thu 14 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:30 - 09:00	MIP awards and ASE 2024Most Influential Papers (MIP) / Keynotes at Room C Chair(s): Massimiliano Di Penta University of Sannio, Italy

08:30 15m Talk		Automatically documenting program changes Most Influential Papers (MIP) Ray Buse Google, Westley Weimer University of Michigan File Attached
08:45 12m Talk		ASE 2024 Teaser Keynotes

09:00 - 10:00	KeynoteKeynotes at Room C

09:00 60m Talk		Fault Localization: Research Opportunities and Challenges Keynotes Dan Hao Peking University

10:30 - 12:00	Software Testing for Specialized Systems 2Research Papers / Tool Demonstrations at Room C Chair(s): Zishuo Ding University of Waterloo

10:30 12m Talk		Bridging the Gap between Academia and Industry in Machine Learning Software Defect Prediction: Thirteen Considerations Research Papers Szymon Stradowski Nokia & Wrocław University of Science and Technology, Lech Madeyski Wroclaw University of Science and Technology Link to publication DOI Pre-print Media Attached
10:42 12m Talk		Identify and Update Test Cases when Production Code Changes: A Transformer-based Approach Research Papers Xing Hu Zhejiang University, Zhuang Liu Zhejiang University, Xin Xia Huawei Technologies, Zhongxin Liu Zhejiang University, Tongtong Xu Huawei, Xiaohu Yang Zhejiang University
10:54 12m Talk		Revisiting and Improving Retrieval-Augmented Deep Assertion Generation Research Papers Weifeng Sun , Hongyan Li Chongqing University, Meng Yan Chongqing University, Yan Lei Chongqing University, Hongyu Zhang Chongqing University, Hongyu Zhang Chongqing University
11:06 12m Talk		Provengo: A Tool Suite for Scenario Driven Model-Based Testing Tool Demonstrations Michael Bar Sinai Provengo, Achiya Elyasaf Ben-Gurion University of the Negev, Gera Weiss Ben-Gurion University of the Negev, ‪Yeshayahu Weiss‬‏ Ben-Gurion University of the Negev Pre-print File Attached
11:18 12m Talk		QuraTest: Integrating Quantum Specific Features in Quantum Program Testing Research Papers Jiaming Ye Kyushu University, Shangzhou Xia Kyushu University, Fuyuan Zhang Kyushu University, Paolo Arcaini National Institute of Informatics , Lei Ma University of Alberta, Jianjun Zhao Kyushu University, Fuyuki Ishikawa National Institute of Informatics File Attached
11:30 12m Talk		QuCAT: A Combinatorial Testing Tool for Quantum Software Tool Demonstrations Xinyi Wang Simula Research Laboratory, Paolo Arcaini National Institute of Informatics , Tao Yue Beihang University, Shaukat Ali Simula Research Laboratory and Oslo Metropolitan University Pre-print File Attached
11:42 12m Talk		LEAP: Efficient and Automated Test Method for NLP SoftwareRecorded talk Research Papers Mingxuan Xiao Hohai University, Yan Xiao National University of Singapore, Hai Dong RMIT University, Shunhui Ji Hohai University, Pengcheng Zhang Hohai University Media Attached

13:30 - 15:00	Testing AI Systems 4Research Papers / NIER Track at Room C

13:30 12m Talk		Mutation-based Fault Localization of Deep Neural Networks Research Papers Ali Ghanbari Iowa State University, Deepak-George Thomas Dept. of Computer Science, Iowa State University, Muhammad Arbab Arshad Dept. of Computer Science, Iowa State University, Hridesh Rajan Iowa State University Pre-print
13:42 12m Talk		Fault Localization for Buggy Deep Learning Framework Conversions in Image Recognition NIER Track Nikolaos Louloudakis University of Edinburgh, Perry Gibson University of Glasgow, José Cano University of Glasgow, Ajitha Rajan University of Edinburgh Pre-print File Attached
13:54 12m Talk		Towards Safe Automated Refactoring of Imperative Deep Learning Programs to Graph Execution NIER Track Raffi Khatchadourian City University of New York (CUNY) Hunter College, Tatiana Castro Vélez City University of New York (CUNY) Graduate Center, Mehdi Bagherzadeh Oakland University, Nan Jia City University of New York (CUNY) Graduate Center, Anita Raja City University of New York (CUNY) Hunter College Pre-print Media Attached
14:06 12m Talk		AutoConf : Automated Configuration of Unsupervised Learning Systems using Metamorphic Testing and Bayesian Optimization Research Papers Lwin Khin Shar Singapore Management University, Arda Goknil SINTEF Digital, Erik Johannes Husom SINTEF Digital, Sagar Sen , Yan Naing Tun Singapore Management University, Kisub Kim Singapore Management University, Singapore File Attached
14:18 12m Talk		An Intentional Forgetting-Driven Self-Healing Method For Deep Reinforcement Learning SystemsRecorded talk Research Papers Ahmed Haj Yahmed École Polytechnique de Montréal, Rached Bouchoucha Polytechnique Montréal, Houssem Ben Braiek Polytechnique Montréal, Foutse Khomh Polytechnique Montréal Pre-print Media Attached
14:30 12m Talk		A Majority Invariant Approach to Patch Robustness Certification for Deep Learning ModelsRecorded talk NIER Track Qilin Zhou City University of Hong Kong, Zhengyuan Wei City University of Hong Kong, Hong Kong, Haipeng Wang City University of Hong Kong, Wing-Kwong Chan City University of Hong Kong, Hong Kong Pre-print Media Attached

15:30 - 17:00	Code Generation 3Research Papers / Journal-first Papers at Room C Chair(s): David Lo Singapore Management University

15:30 12m Talk		Improving code extraction from coding screencasts using a code-aware encoder-decoder model Research Papers Abdulkarim Malkadi Florida State University, USA - Jazan University, KSA, Ahmad Tayeb Florida State University, USA, Sonia Haiduc Florida State University File Attached
15:42 12m Talk		InfeRE: Step-by-Step Regex Generation via Chain of Inference Research Papers Shuai Zhang School of Software, Shanghai Jiao Tong University, Xiaodong Gu Shanghai Jiao Tong University, Beijun Shen Shanghai Jiao Tong University, Yuting Chen Shanghai Jiao Tong University Pre-print File Attached
15:54 12m Talk		MELT: Mining Effective Lightweight Transformations from Pull Requests Research Papers Daniel Ramos Carnegie Mellon University, and INESC-ID, Hailie Mitchell Carnegie Mellon University, Ines Lynce INESC-ID/IST, Universidade de Lisboa, Vasco Manquinho INESC-ID; Universidade de Lisboa, Ruben Martins Carnegie Mellon University, Claire Le Goues Carnegie Mellon University Pre-print File Attached
16:06 12m Talk		On the Evaluation of Neural Code Translation: Taxonomy and Benchmark Research Papers Mingsheng Jiao Shanghai Jiao Tong University, Tingrui Yu Shanghai Jiao Tong University, Xuan Li Shanghai Jiao Tong University, Guan Jie Qiu Shanghai Jiao Tong University, Xiaodong Gu Shanghai Jiao Tong University, Beijun Shen Shanghai Jiao Tong University Pre-print File Attached
16:18 12m Talk		Out of the BLEU: How should we assess quality of the Code Generation models? Journal-first Papers Mikhail Evtikhiev JetBrains Research, Egor Bogomolov JetBrains Research, Yaroslav Sokolov JetBrains, Timofey Bryksin JetBrains Research Link to publication DOI Pre-print File Attached
16:30 12m Talk		Pluggable Type Inference for Free Research Papers Martin Kellogg New Jersey Institute of Technology, Daniel Daskiewicz New Jersey Institute of Technology, Loi Ngo Duc Nguyen New Jersey Institute of Technology, Muyeed Ahmed New Jersey Institute of Technology, Michael D. Ernst University of Washington Link to publication Pre-print File Attached

Tue 12 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	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
Room C							Keynotes Opening Remarks						Keynotes Keynote																		NIER Track + Research Papers Testing AI Systems 1																																				NIER Track + Journal-first Papers + Research Papers Testing AI Systems 2																								Journal-first Papers + Research Papers + Industry Showcase (Papers) + NIER Track Testing AI Systems 3

Wed 13 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	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
Room C							Most Influential Papers (MIP) MIP awards						Keynotes Keynote																		Tool Demonstrations + NIER Track + Journal-first Papers + Research Papers Program Repair 1																																				Research Papers + NIER Track + Tool Demonstrations Program Verification 1																								Research Papers + Journal-first Papers + NIER Track Software Testing for Specialized Systems 1

Thu 14 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	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
Room C							Most Influential Papers (MIP) + Keynotes MIP awards and ASE 2024						Keynotes Keynote																		Research Papers + Tool Demonstrations Software Testing for Specialized Systems 2																																				Research Papers + NIER Track Testing AI Systems 4																								Research Papers + Journal-first Papers Code Generation 3

Tue 12 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	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
Room C	ASE Keynotes Automating Software Evolution in the Linux Kernel 09:00 - 10:00																		ASE Research Papers Nuances are the Key: Unlocking ChatGPT to Find Failure-Inducing Tests w ... 10:30 - 10:42		ASE NIER Track SOCRATEST- Towards Autonomous Testing Agents via Conversational Large L ... 10:42 - 10:54			ASE NIER Track Semantic Data Augmentation for Deep Learning Testing using Generative AI 10:54 - 11:06		ASE Research Papers Robin: A Novel Method to Produce Robust Interpreters for Deep Learning- ... 11:06 - 11:18			ASE Research Papers The Devil is in the Tails: How Long-Tailed Code Distributions Impact La ... 11:18 - 11:30		ASE Research PapersRecorded talk CertPri: Certifiable Prioritization for Deep Neural Networks via Moveme ... 11:30 - 11:42																								ASE Research Papers ATOM: Automated Black-Box Testing of Multi-Label Image Classification S ... 13:30 - 13:42		ASE NIER Track Automating Bias Testing of LLMs 13:42 - 13:54			ASE NIER Track MUTEN: Mutant-Based Ensembles for Boosting Gradient-Based Adversarial A ... 13:54 - 14:06		ASE Research Papers Generative Model-Based Testing on Decision-Making Policies 14:06 - 14:18			ASE Journal-first Papers Simulator-based Explanation and Debugging of Hazard-triggering Events i ... 14:18 - 14:30		ASE NIER Track Are We Ready to Embrace Generative AI for Software Q&A? 14:30 - 14:42												ASE Research Papers Causality-Aided Trade-off Analysis for Machine Learning Fairness 15:30 - 15:42		ASE NIER Track Towards Self-Adaptive Machine Learning-Enabled Systems Through QoS-Awar ... 15:42 - 15:54			ASE Industry Showcase (Papers) Challenges of Accurate and Efficient AutoML 15:54 - 16:06		ASE Research Papers Cell2Doc: ML Pipeline for Generating Documentation in Computational Not ... 16:06 - 16:18			ASE Journal-first Papers Evaluating Pre-Trained Models for User Feedback Analysis in Software En ... 16:18 - 16:30		ASE NIER TrackRecorded talk Evolve the Model universe of a System Universe 16:30 - 16:42

Wed 13 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	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
Room C							ASE Most Influential Papers (MIP) SMT-Based Bounded Model Checking for Embedded ANSI-C Software 08:30 - 08:42		ASE Most Influential Papers (MIP) Spectrum-Based Multiple Fault Localization 08:42 - 08:54				ASE Keynotes DIDACT: Large sequence models for software development activities 09:00 - 10:00																		ASE Journal-first Papers Adonis: Practical and Efficient Control Flow Recovery through OS-Level ... 10:30 - 10:42		ASE Tool Demonstrations BUGSC++: A Highly Usable Real World Defect Benchmark for C/C++ 10:42 - 10:54			ASE NIER Track Better patching using LLM prompting, via Self-Consistency 10:54 - 11:06		ASE Research Papers The Plastic Surgery Hypothesis in the Era of Large Language Models 11:06 - 11:18			ASE Research Papers GAMMA: Revisiting Template-based Automated Program Repair via Mask Pred ... 11:18 - 11:30		ASE Tool Demonstrations ExpressAPR: Efficient Patch Validation for Java Automated Program Repai ... 11:30 - 11:42																								ASE Tool Demonstrations CPA-DF: A Tool for Configurable Interval Analysis to Boost Program Veri ... 13:30 - 13:42		ASE Research Papers Demystifying Template-based Invariant Generation for Bit-Vector Programs 13:42 - 13:54			ASE NIER Track PSMT: Satisfiability Modulo Theories Meets Probability Distribution 13:54 - 14:06		ASE Research Papers EndWatch: A Practical Method for Detecting Non-Termination in Real-Worl ... 14:06 - 14:18			ASE Research Papers Symbolic Fixpoint Algorithms for Logical LTL Games 14:18 - 14:30		ASE NIER TrackRecorded talk SAT-verifiable LTL Satisfiability Checking via Graph Representation Lea ... 14:30 - 14:42												ASE Research Papers DCLink: Bridging Data Constraint Changes and Implementations in FinTech ... 15:30 - 15:42		ASE Research Papers Systematically Detecting Packet Validation Vulnerabilities in Embedded ... 15:42 - 15:54			ASE Research Papers WADIFF: A Differential Testing Framework for WebAssembly Runtimes 15:54 - 16:06		ASE Journal-first Papers T-Evos: A Large-Scale Longitudinal Study on CI Test Execution and Failure 16:06 - 16:18			ASE Research Papers VRGuide: Efficient Testing of Virtual Reality Scenes via Dynamic Cut Co ... 16:18 - 16:30		ASE NIER TrackRecorded talk PURLTL: Mining LTL Specification from Imperfect Traces in Testing 16:30 - 16:42

Thu 14 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change


Room	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
Room C							ASE Most Influential Papers (MIP) Automatically documenting program changes 08:30 - 08:45			ASE Keynotes ASE 2024 Teaser 08:45 - 08:57			ASE Keynotes Fault Localization: Research Opportunities and Challenges 09:00 - 10:00																		ASE Research Papers Bridging the Gap between Academia and Industry in Machine Learning Soft ... 10:30 - 10:42 Identify and Update Test Cases when Production Code Changes: A Transfor ... 10:42 - 10:54					ASE Research Papers Revisiting and Improving Retrieval-Augmented Deep Assertion Generation 10:54 - 11:06		ASE Tool Demonstrations Provengo: A Tool Suite for Scenario Driven Model-Based Testing 11:06 - 11:18			ASE Research Papers QuraTest: Integrating Quantum Specific Features in Quantum Program Testing 11:18 - 11:30		ASE Tool Demonstrations QuCAT: A Combinatorial Testing Tool for Quantum Software 11:30 - 11:42		ASE Research PapersRecorded talk LEAP: Efficient and Automated Test Method for NLP Software 11:42 - 11:54																						ASE Research Papers Mutation-based Fault Localization of Deep Neural Networks 13:30 - 13:42		ASE NIER Track Fault Localization for Buggy Deep Learning Framework Conversions in Ima ... 13:42 - 13:54			ASE NIER Track Towards Safe Automated Refactoring of Imperative Deep Learning Programs ... 13:54 - 14:06		ASE Research Papers AutoConf : Automated Configuration of Unsupervised Learning Systems usi ... 14:06 - 14:18			ASE Research PapersRecorded talk An Intentional Forgetting-Driven Self-Healing Method For Deep Reinforce ... 14:18 - 14:30		ASE NIER TrackRecorded talk A Majority Invariant Approach to Patch Robustness Certification for Dee ... 14:30 - 14:42												ASE Research Papers Improving code extraction from coding screencasts using a code-aware en ... 15:30 - 15:42		ASE Research Papers InfeRE: Step-by-Step Regex Generation via Chain of Inference 15:42 - 15:54			ASE Research Papers MELT: Mining Effective Lightweight Transformations from Pull Requests 15:54 - 16:06		ASE Research Papers On the Evaluation of Neural Code Translation: Taxonomy and Benchmark 16:06 - 16:18			ASE Journal-first Papers Out of the BLEU: How should we assess quality of the Code Generation mo ... 16:18 - 16:30		ASE Research Papers Pluggable Type Inference for Free 16:30 - 16:42

Room information: Room C

Tue 12 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 13 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 14 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 12 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Keynotes

Keynotes

NIER Track + Research Papers

NIER Track + Journal-first Papers + Research Papers

Journal-first Papers + Research Papers + Industry Showcase (Papers) + NIER Track

Wed 13 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Most Influential Papers (MIP)

Keynotes

Tool Demonstrations + NIER Track + Journal-first Papers + Research Papers

Research Papers + NIER Track + Tool Demonstrations

Research Papers + Journal-first Papers + NIER Track

Thu 14 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Most Influential Papers (MIP) + Keynotes

Keynotes

Research Papers + Tool Demonstrations

Research Papers + NIER Track

Research Papers + Journal-first Papers

Tue 12 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 13 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 14 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tracks

Room information: Room C

Program Display Configuration

Tue 12 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 13 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 14 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 12 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Keynotes

Keynotes

NIER Track + Research Papers

NIER Track + Journal-first Papers + Research Papers

Journal-first Papers + Research Papers + Industry Showcase (Papers) + NIER Track

Wed 13 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Most Influential Papers (MIP)

Keynotes

Tool Demonstrations + NIER Track + Journal-first Papers + Research Papers

Research Papers + NIER Track + Tool Demonstrations

Research Papers + Journal-first Papers + NIER Track

Thu 14 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Most Influential Papers (MIP) + Keynotes

Keynotes

Research Papers + Tool Demonstrations

Research Papers + NIER Track

Research Papers + Journal-first Papers

Tue 12 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 13 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 14 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 12 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 13 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 14 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 12 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 13 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 14 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 12 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 13 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 14 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change