- 2023
- Daniel Lehmann, Michelle Thalakottur, Frank Tip, Michael Pradel:
That's a Tough Call: Studying the Challenges of Call Graph Construction for WebAssembly. ISSTA 2023: 892-903 - Lei Cui, Jiancong Cui, Yuede Ji, Zhiyu Hao, Lun Li, Zhenquan Ding:
API2Vec: Learning Representations of API Sequences for Malware Detection. ISSTA 2023: 261-273 - Juan C. Alonso, Sergio Segura, Antonio Ruiz-Cortés:
AGORA: Automated Generation of Test Oracles for REST APIs. ISSTA 2023: 1018-1030 - Ziyad Alsaeed, Michal Young:
Finding Short Slow Inputs Faster with Grammar-Based Search. ISSTA 2023: 1068-1079 - Ziyad Alsaeed, Michal Young:
TreeLine and SlackLine: Grammar-Based Performance Fuzzing on Coffee Break. ISSTA 2023: 1507-1510 - Shenglin Bao, Chaofeng Sha, Bihuan Chen, Xin Peng, Wenyun Zhao:
In Defense of Simple Techniques for Neural Network Test Case Selection. ISSTA 2023: 501-513 - Dan Bruce, David Kelly, Héctor D. Menéndez, Earl T. Barr, David Clark:
June: A Type Testability Transformation for Improved ATG Performance. ISSTA 2023: 274-284 - Lei Bu, Qiuping Zhang, Suwan Li, Jinglin Dai, Guangdong Bai, Kai Chen, Xuandong Li:
Security Checking of Trigger-Action-Programming Smart Home Integrations. ISSTA 2023: 639-651 - Dylan Callaghan, Bernd Fischer:
Improving Spectrum-Based Localization of Multiple Faults by Iterative Test Suite Reduction. ISSTA 2023: 1445-1457 - Zhuo Chen, Jie Liu, Yubo Hu, Lei Wu, Yajin Zhou, Yiling He, Xianhao Liao, Ke Wang, Jinku Li, Zhan Qin:
DeUEDroid: Detecting Underground Economy Apps Based on UTG Similarity. ISSTA 2023: 223-235 - Chu Chen, Pinghong Ren, Zhenhua Duan, Cong Tian, Xu Lu, Bin Yu:
SBDT: Search-Based Differential Testing of Certificate Parsers in SSL/TLS Implementations. ISSTA 2023: 967-979 - Simin Chen, Shiyi Wei, Cong Liu, Wei Yang:
DyCL: Dynamic Neural Network Compilation Via Program Rewriting and Graph Optimization. ISSTA 2023: 614-626 - Yang Chen, Alperen Yildiz, Darko Marinov, Reyhaneh Jabbarvand:
Transforming Test Suites into Croissants. ISSTA 2023: 1080-1092 - Kai Cheng, Yaowen Zheng, Tao Liu, Le Guan, Peng Liu, Hong Li, Hongsong Zhu, Kejiang Ye, Limin Sun:
Detecting Vulnerabilities in Linux-Based Embedded Firmware with SSE-Based On-Demand Alias Analysis. ISSTA 2023: 360-372 - Mingfei Cheng, Yuan Zhou, Xiaofei Xie:
BehAVExplor: Behavior Diversity Guided Testing for Autonomous Driving Systems. ISSTA 2023: 488-500 - Michael Chesser, Surya Nepal, Damith C. Ranasinghe:
Icicle: A Re-designed Emulator for Grey-Box Firmware Fuzzing. ISSTA 2023: 76-88 - Yiu Wai Chow, Max Schäfer, Michael Pradel:
Beware of the Unexpected: Bimodal Taint Analysis. ISSTA 2023: 211-222 - Nadia Daoudi, Kevin Allix, Tegawendé F. Bissyandé, Jacques Klein:
Guided Retraining to Enhance the Detection of Difficult Android Malware. ISSTA 2023: 1131-1143 - Yinlin Deng, Chunqiu Steven Xia, Haoran Peng, Chenyuan Yang, Lingming Zhang:
Large Language Models Are Zero-Shot Fuzzers: Fuzzing Deep-Learning Libraries via Large Language Models. ISSTA 2023: 423-435 - Yangruibo Ding, Saikat Chakraborty, Luca Buratti, Saurabh Pujar, Alessandro Morari, Gail E. Kaiser, Baishakhi Ray:
CONCORD: Clone-Aware Contrastive Learning for Source Code. ISSTA 2023: 26-38 - Yihong Dong, Ge Li, Zhi Jin:
CODEP: Grammatical Seq2Seq Model for General-Purpose Code Generation. ISSTA 2023: 188-198 - Mara Downing:
Quantitative Robustness Analysis of Neural Networks. ISSTA 2023: 1527-1531 - Hang Du, Vijay Krishna Palepu, James A. Jones:
To Kill a Mutant: An Empirical Study of Mutation Testing Kills. ISSTA 2023: 715-726 - Max Eisele, Daniel Ebert, Christopher Huth, Andreas Zeller:
Fuzzing Embedded Systems using Debug Interfaces. ISSTA 2023: 1031-1042 - Karine Even-Mendoza, Arindam Sharma, Alastair F. Donaldson, Cristian Cadar:
GrayC: Greybox Fuzzing of Compilers and Analysers for C. ISSTA 2023: 1219-1231 - Zhiyu Fan, Shin Hwei Tan, Abhik Roychoudhury:
Concept-Based Automated Grading of CS-1 Programming Assignments. ISSTA 2023: 199-210 - Yuzhou Fang, Daoyuan Wu, Xiao Yi, Shuai Wang, Yufan Chen, Mengjie Chen, Yang Liu, Lingxiao Jiang:
Beyond "Protected" and "Private": An Empirical Security Analysis of Custom Function Modifiers in Smart Contracts. ISSTA 2023: 1157-1168 - Pengcheng Fang, Zhenhua Zou, Xusheng Xiao, Zhuotao Liu:
iSyn: Semi-automated Smart Contract Synthesis from Legal Financial Agreements. ISSTA 2023: 727-739 - Francisco Ferreira, Sung-Shik Jongmans:
Oven: Safe and Live Communication Protocols in Scala, using Synthetic Behavioural Type Analysis. ISSTA 2023: 1511-1514