SANER 2024 (series) / Short Papers and Posters Track /
On the Hunt for Invalid Objects: Exploring the Object State Space with Program Mutants
Thu 14 Mar 2024 16:16 - 16:24 at KURU - Short Papers and Posters Chair(s): Luca Pascarella
Fri 15 Mar 2024 10:21 - 10:28 at KURU - Program Analysis Chair(s): Xiaozhou Li
Fri 15 Mar 2024 10:21 - 10:28 at KURU - Program Analysis Chair(s): Xiaozhou Li
Thu 14 MarDisplayed time zone: Athens change
Thu 14 Mar
Displayed time zone: Athens change
16:00 - 17:00 | |||
16:00 8mTalk | Engineering Formality and Software Risk in Debian Python Packages Short Papers and Posters Track Matthew Gaughan Northwestern University, Kaylea Champion University of Washington, Sohyeon Hwang Northwestern University Pre-print | ||
16:08 8mTalk | LogPM: Character-based Log Parser Benchmark Short Papers and Posters Track Shayan Hashemi , Jesse Nyyssölä University of Helsinki, Mika Mäntylä University of Helsinki and University of Oulu | ||
16:16 8mTalk | On the Hunt for Invalid Objects: Exploring the Object State Space with Program Mutants Short Papers and Posters Track | ||
16:24 8mTalk | OppropBERL: A GNN and BERT-style Reinforcement Learning-based Type Inference System Short Papers and Posters Track | ||
16:32 8mTalk | Debloating Feature-Rich Closed-Source Software Short Papers and Posters Track Zhen Huang DePaul University | ||
16:40 8mTalk | Web API Change-Proneness Prediction Short Papers and Posters Track Rediana Koçi Universitat Politècnica de Catalunya, Xavier Franch Universitat Politècnica de Catalunya, Petar Jovanovic Universitat Politècnica De Catalunya - Barcelona Tech, Alberto Abello Universitat Politècnica de Catalunya | ||
16:48 8mTalk | Towards Efficient Program Repair with APR Tools Based on Genetic Algorithms Short Papers and Posters Track | ||
Fri 15 MarDisplayed time zone: Athens change
Fri 15 Mar
Displayed time zone: Athens change
09:00 - 10:30 | Program AnalysisShort Papers and Posters Track / Research Papers / Early Research Achievement (ERA) Track at KURU Chair(s): Xiaozhou Li University of Oulu | ||
09:00 7mTalk | Comparing Execution Trace Using Merkle-Tree to Detect Backward Incompatibilities Early Research Achievement (ERA) Track Atsuhito Yamaoka Nara Institute of Science and Technology, Teyon Son Nara Institute of Science and Technology, Kazumasa Shimari Nara Institute of Science and Technology, Takashi Ishio Future University Hakodate, Kenichi Matsumoto Nara Institute of Science and Technology | ||
09:07 7mTalk | Towards Inter-service Data Flow Analysis of Serverless Applications Early Research Achievement (ERA) Track Giuseppe Raffa Royal Holloway, University of London, Jorge Blasco Universidad Politécnica de Madrid, Dan O'Keeffe Royal Holloway University of London, Santanu Dash Royal Holloway, University of London | ||
09:14 15mTalk | Exploring Strategies for Guiding Symbolic Analysis with Machine Learning Prediction Research Papers Mingyue Yang University of Toronto, Canada, David Lie University of Toronto, Canada, Nicolas Papernot University of Toronto, Canada | ||
09:29 15mTalk | ReIFunc: Identifying Recurring Inline Functions in Binary Code Research Papers Wei Lin Institute of Information Engineering, Chinese Academy of Sciences, Qingli Guo Institute of Information Engineering, Chinese Academy of Sciences, DongSong Yu Zhongguancun Laboratory, Jiawei Yin Institute of Information Engineering, Chinese Academy of Sciences, Qi Gong Key Laboratory of Network Assessment Technology, Institute of Information Engineering, Chinese Academy of Sciences, China, Xiaorui Gong Institute of Information Engineering, Chinese Academy of Science | ||
09:44 15mTalk | Reducing False Positives of Static Bug Detectors through Code Representation Learning Research Papers Yixin Yang Beihang University, Ming Wen Huazhong University of Science and Technology, Xiang Gao Beihang University, Yuting Zhang Huazhong University of Science and Technology, Hailong Sun Beihang University | ||
09:59 15mTalk | Supporting Error Chains in Static Analysis for Precise Evaluation Results and Enhanced Usability Research Papers Anna-Katharina Wickert TU Darmstadt, Germany, Michael Schlichtig Heinz Nixdorf Institut and Paderborn University, Marvin Vogel Uni Hamburg, Lukas Winter unaffiliated, Mira Mezini TU Darmstadt, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM Pre-print Media Attached | ||
10:14 7mTalk | LogPM: Character-based Log Parser Benchmark Short Papers and Posters Track Shayan Hashemi , Jesse Nyyssölä University of Helsinki, Mika Mäntylä University of Helsinki and University of Oulu | ||
10:21 7mTalk | On the Hunt for Invalid Objects: Exploring the Object State Space with Program Mutants Short Papers and Posters Track | ||