ISSTA 2024
Mon 16 - Fri 20 September 2024 Vienna, Austria
co-located with ISSTA/ECOOP 2024

This program is tentative and subject to change.

Wed 18 Sep 2024 14:10 - 14:30 at EI 10 Fritz Paschke - Domain-Specific Testing

Assembler is a critical component of the compiler toolchain, which has been less tested than the other components. Unfortunately, current grammar-based fuzzing techniques suffer from several challenges when testing assemblers. First, each different assembler accepts different grammar rules and syntaxes, and there are no existing assembly grammar specifications. Second, not every assembler is open-source, which makes it difficult to extract grammar rules from the source code. While existing black-box grammar inference approaches are applicable to such closed-source assemblers, they suffer from the scalability issue, which renders them impractical for testing assemblers. To address these challenges, we propose a novel way to test assemblers by automatically inferring their grammar rules with only a few queries to the target assemblers by leveraging their error messages. The key insight is that assembly error messages often deliver useful information to infer the underlying grammar rules. We have implemented our technique in a tool named AsFuzzer, and evaluated it on 4 real-world assemblers including Clang-integrated assembler (Clang), GNU assembler (GAS), Intel’s assembler (ICC), and Microsoft macro assembler (MASM). With AsFuzzer, we have successfully found 558 unique bugs and reported them to the developers.

This program is tentative and subject to change.

Wed 18 Sep

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

13:30 - 14:50
Domain-Specific TestingTechnical Papers at EI 10 Fritz Paschke
13:30
20m
Talk
UPBEAT: Test Input Checks of Q# Quantum Libraries
Technical Papers
Tianmin Hu Northwest University, Guixin Ye Northwest University, Zhanyong Tang Northwest University, Shin Hwei Tan Concordia University, Huanting Wang University of Leeds, UK, Meng Li Hefei University of Technology, Zheng Wang University of Leeds
DOI
13:50
20m
Talk
Towards More Complete Constraints for Deep Learning Library Testing via Complementary Set Guided Refinement
Technical Papers
Gwihwan Go Tsinghua University, Chijin Zhou Tsinghua University, Quan Zhang Tsinghua University, Xiazijian Zou Central South University, Heyuan Shi Central South University, Yu Jiang Tsinghua University
14:10
20m
Talk
AsFuzzer: Differential Testing of Assemblers with Error-Driven Grammar Inference
Technical Papers
Hyungseok Kim The Affiliated Institute of ETRI, Soomin Kim KAIST, Jungwoo Lee KAIST, Sang Kil Cha KAIST
14:30
20m
Talk
Ma11y: A Mutation Framework for Web Accessibility Testing
Technical Papers
Mahan Tafreshipour University of California, Irvine, Anmol Vilas Deshpande University of California at Irvine, Forough Mehralian University of California at Irvine, Iftekhar Ahmed University of California, Irvine, Sam Malek University of California at Irvine
DOI