ISSTA 2023
32nd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2023)
Powered by
Conference Publishing Consulting

32nd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2023), July 17–21, 2023, Seattle, WA, USA

ISSTA 2023 – Author Index

Contents - Abstracts - Authors

A B C D E F G H I J K L M N O P Q R S T V W X Y Z

Agarwal, Udit ISSTA '23: "CGuard: Scalable and Precise ..."
Aguirre, Nazareno ISSTA '23: "EvoSpex: A Search-Based Tool ..."
Akopian, Noubar ISSTA '23: "RobotBT: Behavior-Tree-Based ..."
Allix, Kevin ISSTA '23: "Guided Retraining to Enhance ..."
Alonso, Juan C. ISSTA '23: "AGORA: Automated Generation ..."
Alsaeed, Ziyad ISSTA '23: "TreeLine and SlackLine: Grammar-Based ..." ISSTA '23: "Finding Short Slow Inputs ..."
Altmayer Pizzorno, Juan ISSTA '23: "SlipCover: Near Zero-Overhead ..."
Arratibel, Maite ISSTA '23: "Applying and Extending the ..."
Arrieta, Aitor ISSTA '23: "Applying and Extending the ..."
Attisano, Isabella ISSTA '23: "Virtual Reality (VR) Automated ..."
Babkin, Petr ISSTA '23: "How Effective Are Neural Networks ..."
Bai, Guangdong ISSTA '23: "Security Checking of Trigger-Action-Programming ..."
Banescu, Sebastian ISSTA '23: "Green Fuzzing: A Saturation-Based ..."
Bao, Shenglin ISSTA '23: "In Defense of Simple Techniques ..."
Barr, Earl T. ISSTA '23: "CodeGrid: A Grid Representation ..." ISSTA '23: "June: A Type Testability Transformation ..."
Berger, Emery D. ISSTA '23: "SlipCover: Near Zero-Overhead ..."
Berger, Thorsten ISSTA '23: "RobotBT: Behavior-Tree-Based ..."
Bissyandé, Tegawendé F. ISSTA '23: "Guided Retraining to Enhance ..." ISSTA '23: "CodeGrid: A Grid Representation ..."
Blincoe, Kelly ISSTA '23: "Understanding Breaking Changes ..."
Böhme, Marcel ISSTA '23: "Green Fuzzing: A Saturation-Based ..."
Bruce, Dan ISSTA '23: "June: A Type Testability Transformation ..."
Bu, Lei ISSTA '23: "Security Checking of Trigger-Action-Programming ..." ISSTA '23: "GenCoG: A DSL-Based Approach ..."
Bultan, Tevfik ISSTA '23: "Rare Path Guided Fuzzing ..." ISSTA '23: "Quantitative Policy Repair ..."
Büning, Julian ISSTA '23: "KDAlloc: The KLEE Deterministic ..."
Buratti, Luca ISSTA '23: "CONCORD: Clone-Aware Contrastive ..."
Busse, Frank ISSTA '23: "KDAlloc: The KLEE Deterministic ..."
Cadar, Cristian ISSTA '23: "KDAlloc: The KLEE Deterministic ..." ISSTA '23: "GrayC: Greybox Fuzzing of ..."
Cai, Xiangrui ISSTA '23: "LiResolver: License Incompatibility ..."
Cai, Yan ISSTA '23: "Building Critical Testing ..."
Callaghan, Dylan ISSTA '23: "Improving Spectrum-Based Localization ..."
Ceccato, Mariano ISSTA '23: "Enhancing REST API Testing ..."
Chakraborty, Saikat ISSTA '23: "CONCORD: Clone-Aware Contrastive ..."
Chao, Huina ISSTA '23: "Splendor: Static Detection ..."
Chen, Bihuan ISSTA '23: "In Defense of Simple Techniques ..."
Chen, Chang ISSTA '23: "Validating Multimedia Content ..."
Chen, Chu ISSTA '23: "SBDT: Search-Based Differential ..."
Chen, Chunyang ISSTA '23: "ModelObfuscator: Obfuscating ..."
Chen, Jiachi ISSTA '23: "DeFiTainter: Detecting Price ..." ISSTA '23: "Toward Automated Detecting ..." ISSTA '23: "Definition and Detection of ..."
Chen, Jianjun ISSTA '23: "1dFuzz: Reproduce 1-Day Vulnerabilities ..."
Chen, Junjie ISSTA '23: "Fuzzing Deep Learning Compilers ..." ISSTA '23: "Vectorizing Program Ingredients ..." ISSTA '23: "Testing the Compiler for a ..." ISSTA '23: "Silent Compiler Bug De-duplication ..."
Chen, Kai ISSTA '23: "Security Checking of Trigger-Action-Programming ..."
Chen, Kaixiang ISSTA '23: "1dFuzz: Reproduce 1-Day Vulnerabilities ..."
Chen, Lin ISSTA '23: "Back Deduction Based Testing ..."
Chen, Mengjie ISSTA '23: "Beyond “Protected” and ..."
Chen, Rui ISSTA '23: "An Empirical Study on Concurrency ..."
Chen, Sen ISSTA '23: "A Comprehensive Study on Quality ..."
Chen, Simin ISSTA '23: "DyCL: Dynamic Neural Network ..."
Chen, Xiangqun ISSTA '23: "Eunomia: Enabling User-Specified ..."
Chen, Xiao ISSTA '23: "ModelObfuscator: Obfuscating ..."
Chen, Yang ISSTA '23: "Transforming Test Suites into ..."
Chen, Yixiang ISSTA '23: "A Comprehensive Study on Quality ..."
Chen, Yufan ISSTA '23: "Beyond “Protected” and ..."
Chen, Yufei ISSTA '23: "CILIATE: Towards Fairer Class-Based ..."
Chen, Yufeng ISSTA '23: "ACETest: Automated Constraint ..."
Chen, Yuting ISSTA '23: "GenCoG: A DSL-Based Approach ..."
Chen, Zhe ISSTA '23: "Catamaran: Low-Overhead Memory ..."
Chen, Zhenpeng ISSTA '23: "Who Judges the Judge: An Empirical ..."
Chen, Zhuo ISSTA '23: "DeUEDroid: Detecting Underground ..."
Cheng, Kai ISSTA '23: "Detecting Vulnerabilities ..."
Cheng, Mingfei ISSTA '23: "BehAVExplor: Behavior Diversity ..."
Cheng, Siyuan ISSTA '23: "Improving Binary Code Similarity ..."
Chesser, Michael ISSTA '23: "Icicle: A Re-designed Emulator ..."
Cheung, Shing-Chi ISSTA '23: "Fuzzing Deep Learning Compilers ..." ISSTA '23: "ConfFix: Repairing Configuration ..." ISSTA '23: "ωTest: WebView-Oriented Testing ..."
Cho, Mingun ISSTA '23: "GPUHarbor: Testing GPU Memory ..."
Choi, Wonkeun ISSTA '23: "A Bayesian Framework for Automated ..."
Chong, Chun Yong ISSTA '23: "Synthesizing Speech Test Cases ..."
Chow, Yiu Wai ISSTA '23: "Beware of the Unexpected: ..."
Christakis, Maria ISSTA '23: "Green Fuzzer Benchmarking ..." ISSTA '23: "Dependency-Aware Metamorphic ..."
Clark, David ISSTA '23: "June: A Type Testability Transformation ..."
Corradini, Davide ISSTA '23: "Enhancing REST API Testing ..."
Cui, Jiancong ISSTA '23: "API2Vec: Learning Representations ..."
Cui, Lei ISSTA '23: "API2Vec: Learning Representations ..."
Dai, Jinglin ISSTA '23: "Security Checking of Trigger-Action-Programming ..."
Daoudi, Nadia ISSTA '23: "Guided Retraining to Enhance ..."
Darmasaputra, Alan ISSTA '23: "Behaviorally Typed State Machines ..."
Davis, Jordan ISSTA '23: "How Effective Are Neural Networks ..."
Deng, Shuiguang ISSTA '23: "Data Constraint Mining for ..."
Deng, Yinlin ISSTA '23: "Large Language Models Are ..."
Di, Peng ISSTA '23: "Hybrid Inlining: A Framework ..."
Dietrich, Jens ISSTA '23: "Understanding Breaking Changes ..."
Ding, Yangruibo ISSTA '23: "CONCORD: Clone-Aware Contrastive ..."
Ding, Yifeng ISSTA '23: "CoopHance: Cooperative Enhancement ..."
Ding, Zhenquan ISSTA '23: "API2Vec: Learning Representations ..."
Donaldson, Alastair F. ISSTA '23: "RustSmith: Random Differential ..." ISSTA '23: "GrayC: Greybox Fuzzing of ..."
Dong, Xuewen ISSTA '23: "Testing Automated Driving ..."
Dong, Yihong ISSTA '23: "CODEP: Grammatical Seq2Seq ..."
Downing, Mara ISSTA '23: "Quantitative Robustness Analysis ..."
Du, Hang ISSTA '23: "To Kill a Mutant: An Empirical ..."
Du, Lun ISSTA '23: "Towards Efficient Fine-Tuning ..."
Duan, Zhenhua ISSTA '23: "SBDT: Search-Based Differential ..."
Ebert, Daniel ISSTA '23: "Fuzzing Embedded Systems using ..."
Eiers, William ISSTA '23: "Quantitative Policy Repair ..."
Eisele, Max ISSTA '23: "Fuzzing Embedded Systems using ..."
Elbaum, Sebastian ISSTA '23: "PhysCov: Physical Test Coverage ..."
Elsner, Daniel ISSTA '23: "Green Fuzzing: A Saturation-Based ..."
Even-Mendoza, Karine ISSTA '23: "GrayC: Greybox Fuzzing of ..."
Fan, Lingling ISSTA '23: "LiResolver: License Incompatibility ..."
Fan, Xingyu ISSTA '23: "Silent Compiler Bug De-duplication ..."
Fan, Zhiyu ISSTA '23: "Concept-Based Automated Grading ..."
Fang, Pengcheng ISSTA '23: "iSyn: Semi-automated Smart ..."
Fang, Yilin ISSTA '23: "Fine-Grained Code Clone Detection ..."
Fang, Yongsheng ISSTA '23: "CydiOS: A Model-Based Testing ..."
Fang, Yuzhou ISSTA '23: "Beyond “Protected” and ..."
Feng, Ruitao ISSTA '23: "A Comprehensive Study on Quality ..."
Feng, Shiwei ISSTA '23: "Improving Binary Code Similarity ..."
Ferreira, Francisco ISSTA '23: "Oven: Safe and Live Communication ..."
Fischer, Bernd ISSTA '23: "Improving Spectrum-Based Localization ..."
Fragoso Santos, José ISSTA '23: "MetaData262: Automatic Test ..."
Frias, Marcelo F. ISSTA '23: "EvoSpex: A Search-Based Tool ..."
Fu, Ruifeng ISSTA '23: "Testing the Compiler for a ..."
Gaboardi, Marco ISSTA '23: "SymRustC: A Hybrid Fuzzer ..."
Gao, Cuiyun ISSTA '23: "What You See Is What You Get? ..."
Gao, Tianchang ISSTA '23: "Vectorizing Program Ingredients ..."
Gao, Xiang ISSTA '23: "ModelObfuscator: Obfuscating ..."
Gao, Xuanqi ISSTA '23: "CILIATE: Towards Fairer Class-Based ..."
Gao, Ya ISSTA '23: "LiResolver: License Incompatibility ..."
Gao, Yaoqing ISSTA '23: "Reducing the Memory Footprint ..."
Gharachorlu, Golnaz ISSTA '23: "Type Batched Program Reduction ..."
Gligoric, Milos ISSTA '23: "Extracting Inline Tests from ..." ISSTA '23: "Pattern-Based Peephole Optimizations ..." ISSTA '23: "More Precise Regression Test ..."
Grundy, John ISSTA '23: "ModelObfuscator: Obfuscating ..."
Gu, Bin ISSTA '23: "An Empirical Study on Concurrency ..."
Gu, Jiazhen ISSTA '23: "Validating Multimedia Content ..."
Guan, Le ISSTA '23: "Detecting Vulnerabilities ..."
Gui, Yujiang ISSTA '23: "Reducing the Memory Footprint ..."
Guo, Anna ISSTA '23: "Extracting Inline Tests from ..."
Guo, Huizhong ISSTA '23: "Fairness Testing for Recommender ..." ISSTA '23: "FairRec: Fairness Testing ..."
Guo, Shengjian ISSTA '23: "Eunomia: Enabling User-Specified ..."
Guo, Xiaochen ISSTA '23: "Precise and Efficient Patch ..."
Guo, Yao ISSTA '23: "Eunomia: Enabling User-Specified ..."
Halfond, William G.J. ISSTA '23: "Automatically Reproducing ..."
Han, Rui ISSTA '23: "Improving Bit-Blasting for ..."
Han, Seungheon ISSTA '23: "Automated Program Repair from ..."
Han, Shi ISSTA '23: "Towards Efficient Fine-Tuning ..."
Han, Yudong ISSTA '23: "Who Judges the Judge: An Empirical ..."
Hao, Sicheng ISSTA '23: "SmartState: Detecting State-Reverting ..."
Hao, Zhiyu ISSTA '23: "API2Vec: Learning Representations ..."
Harman, Mark ISSTA '23: "Who Judges the Judge: An Empirical ..."
Hassan, Foyzul ISSTA '23: "Virtual Reality (VR) Automated ..."
He, Dongjie ISSTA '23: "Reducing the Memory Footprint ..."
He, Jifeng ISSTA '23: "An Empirical Study of Functional ..."
He, Ningyu ISSTA '23: "Eunomia: Enabling User-Specified ..."
He, Pinjia ISSTA '23: "Validating Multimedia Content ..." ISSTA '23: "ROME: Testing Image Captioning ..."
He, Shilin ISSTA '23: "ROME: Testing Image Captioning ..."
He, Yichen ISSTA '23: "COME: Commit Message Generation ..."
He, Yiling ISSTA '23: "DeUEDroid: Detecting Underground ..."
He, Yubo ISSTA '23: "1dFuzz: Reproduce 1-Day Vulnerabilities ..."
Hildebrandt, Carl ISSTA '23: "PhysCov: Physical Test Coverage ..."
Hu, Chunming ISSTA '23: "Detecting Condition-Related ..."
Hu, Jiajun ISSTA '23: "ωTest: WebView-Oriented Testing ..."
Hu, Tiancheng ISSTA '23: "Fine-Grained Code Clone Detection ..."
Hu, Wenbo ISSTA '23: "Splendor: Static Detection ..."
Hu, Yubin ISSTA '23: "Eunomia: Enabling User-Specified ..."
Hu, Yubo ISSTA '23: "DeUEDroid: Detecting Underground ..."
Hu, Yutao ISSTA '23: "Interpreters for GNN-Based ..."
Hu, Yuxi ISSTA '23: "KeenTune: Automated Tuning ..."
Hu, Yuxin ISSTA '23: "Alligator in Vest: A Practical ..."
Hu, Zehong ISSTA '23: "FairRec: Fairness Testing ..."
Hua, Ziyue ISSTA '23: "GDsmith: Detecting Bugs in ..."
Huang, Gang ISSTA '23: "Who Judges the Judge: An Empirical ..."
Huang, Huaxun ISSTA '23: "ConfFix: Repairing Configuration ..."
Huang, Jingyuan ISSTA '23: "Validating Multimedia Content ..."
Huang, Pei ISSTA '23: "Improving Bit-Blasting for ..."
Huang, Sunzhou ISSTA '23: "PExReport-Maven: Creating ..."
Huang, Xiang ISSTA '23: "Back Deduction Based Testing ..."
Huang, Xiaotong ISSTA '23: "Precise and Efficient Patch ..."
Huo, Wei ISSTA '23: "Splendor: Static Detection ..." ISSTA '23: "ACETest: Automated Constraint ..."
Huth, Christopher ISSTA '23: "Fuzzing Embedded Systems using ..."
Iqbal, Nafees ISSTA '23: "Virtual Reality (VR) Automated ..."
Jabbarvand, Reyhaneh ISSTA '23: "Transforming Test Suites into ..."
Jayasuriya, Dhanushka ISSTA '23: "Understanding Breaking Changes ..."
Ji, Rongrong ISSTA '23: "RefBERT: A Two-Stage Pre-trained ..."
Ji, Yuede ISSTA '23: "API2Vec: Learning Representations ..."
Jia, Fuqi ISSTA '23: "Improving Bit-Blasting for ..."
Jia, Haoxiang ISSTA '23: "Precise and Efficient Patch ..."
Jiang, Jiajun ISSTA '23: "Silent Compiler Bug De-duplication ..."
Jiang, Ling ISSTA '23: "Third-Party Library Dependency ..."
Jiang, Lingxiao ISSTA '23: "Beyond “Protected” and ..."
Jiang, Nan ISSTA '23: "How Effective Are Neural Networks ..."
Jiang, Yu ISSTA '23: "CoopHance: Cooperative Enhancement ..."
Jiang, Yunsong ISSTA '23: "An Empirical Study on Concurrency ..."
Jiang, Zigui ISSTA '23: "DeFiTainter: Detecting Price ..."
Jiao, Wenpin ISSTA '23: "GDsmith: Detecting Bugs in ..."
Jin, Hai ISSTA '23: "Interpreters for GNN-Based ..." ISSTA '23: "An Empirical Study on the ..." ISSTA '23: "Precise and Efficient Patch ..." ISSTA '23: "Fine-Grained Code Clone Detection ..."
Jin, Zhi ISSTA '23: "CODEP: Grammatical Seq2Seq ..."
Jones, James A. ISSTA '23: "To Kill a Mutant: An Empirical ..."
Jongmans, Sung-Shik ISSTA '23: "Oven: Safe and Live Communication ..."
Kaboré, Abdoul Kader ISSTA '23: "CodeGrid: A Grid Representation ..."
Kacianka, Severin ISSTA '23: "Green Fuzzing: A Saturation-Based ..."
Kaiser, Gail ISSTA '23: "CONCORD: Clone-Aware Contrastive ..."
Kamm, Matteo ISSTA '23: "Testing Graph Database Engines ..."
Kang, Sungmin ISSTA '23: "A Bayesian Framework for Automated ..."
Kedia, Piyus ISSTA '23: "CGuard: Scalable and Precise ..."
Kelly, David ISSTA '23: "June: A Type Testability Transformation ..."
Khamit, Askar Yeltayuly ISSTA '23: "Automated Program Repair from ..."
Khosravi, M. Mahdi ISSTA '23: "Systematically Producing Test ..."
Kim, Myeongsoo ISSTA '23: "Enhancing REST API Testing ..."
Kim, YoungJae ISSTA '23: "Automated Program Repair from ..."
Klein, Jacques ISSTA '23: "Guided Retraining to Enhance ..." ISSTA '23: "CodeGrid: A Grid Representation ..."
Ko, Steven Y. ISSTA '23: "SymRustC: A Hybrid Fuzzer ..."
Kong, Kelvin Kai Wen ISSTA '23: "Synthesizing Speech Test Cases ..."
Kong, Queping ISSTA '23: "DeFiTainter: Detecting Price ..."
Kuhn, Roland ISSTA '23: "Behaviorally Typed State Machines ..."
Lam, Wing ISSTA '23: "Systematically Producing Test ..."
Lau, Julia Kaiwen ISSTA '23: "Synthesizing Speech Test Cases ..."
Laybourn, Isabella ISSTA '23: "Guiding Greybox Fuzzing with ..."
Legunsen, Owolabi ISSTA '23: "Extracting Inline Tests from ..." ISSTA '23: "More Precise Regression Test ..."
Lehmann, Daniel ISSTA '23: "That’s a Tough Call: Studying ..."
Levine, Reese ISSTA '23: "GPUHarbor: Testing GPU Memory ..."
Li, Albert ISSTA '23: "Rare Path Guided Fuzzing ..."
Li, Ao ISSTA '23: "Guiding Greybox Fuzzing with ..."
Li, Changwen ISSTA '23: "Simulation-Based Validation ..."
Li, Chao ISSTA '23: "An Empirical Study on Concurrency ..."
Li, Chengpeng ISSTA '23: "Systematically Producing Test ..."
Li, Ding ISSTA '23: "Eunomia: Enabling User-Specified ..."
Li, Feng ISSTA '23: "Splendor: Static Detection ..."
Li, Ge ISSTA '23: "CODEP: Grammatical Seq2Seq ..."
Li, Haonan ISSTA '23: "Alligator in Vest: A Practical ..."
Li, Hong ISSTA '23: "Detecting Vulnerabilities ..."
Li, Hui ISSTA '23: "RefBERT: A Two-Stage Pre-trained ..."
Li, Huizhong ISSTA '23: "Detecting State Inconsistency ..."
Li, Jianfeng ISSTA '23: "CydiOS: A Model-Based Testing ..."
Li, Jiaqi ISSTA '23: "ROME: Testing Image Captioning ..."
Li, Jinfeng ISSTA '23: "FairRec: Fairness Testing ..."
Li, Jinku ISSTA '23: "DeUEDroid: Detecting Underground ..."
Li, Kaixuan ISSTA '23: "A Comprehensive Study on Quality ..."
Li, Levi Taiji ISSTA '23: "Automated Generation of Security-Centric ..."
Li, Li ISSTA '23: "ModelObfuscator: Obfuscating ..."
Li, Linlin ISSTA '23: "What You See Is What You Get? ..."
Li, Linyu ISSTA '23: "LiResolver: License Incompatibility ..."
Li, Lun ISSTA '23: "API2Vec: Learning Representations ..."
Li, Ningke ISSTA '23: "Understanding and Tackling ..."
Li, Shanshan ISSTA '23: "CoopHance: Cooperative Enhancement ..."
Li, Suwan ISSTA '23: "Security Checking of Trigger-Action-Programming ..."
Li, Tianlin ISSTA '23: "Latent Imitator: Generating ..."
Li, Wenke ISSTA '23: "Interpreters for GNN-Based ..."
Li, Xuandong ISSTA '23: "Security Checking of Trigger-Action-Programming ..." ISSTA '23: "Catamaran: Low-Overhead Memory ..."
Li, Yanhui ISSTA '23: "Back Deduction Based Testing ..."
Li, Yannan ISSTA '23: "Systematic Testing of the ..."
Li, Yeting ISSTA '23: "ACETest: Automated Constraint ..."
Li, Yue ISSTA '23: "Tai-e: A Developer-Friendly ..."
Li, Yuekang ISSTA '23: "ACETest: Automated Constraint ..."
Li, Zhoujun ISSTA '23: "COME: Commit Message Generation ..."
Li, Zongjie ISSTA '23: "Exploring Missed Optimizations ..."
Li, Zongyang ISSTA '23: "GDsmith: Detecting Bugs in ..."
Liang, Guangtai ISSTA '23: "Eunomia: Enabling User-Specified ..."
Liao, Xianhao ISSTA '23: "DeUEDroid: Detecting Underground ..."
Liao, Zeqin ISSTA '23: "SmartState: Detecting State-Reverting ..."
Lim, Mei Kuan ISSTA '23: "Synthesizing Speech Test Cases ..."
Lin, Wei ISSTA '23: "GDsmith: Detecting Bugs in ..."
Lipp, Stephan ISSTA '23: "Green Fuzzing: A Saturation-Based ..."
Liu, Aishan ISSTA '23: "Latent Imitator: Generating ..."
Liu, Alex X. ISSTA '23: "Hybrid Inlining: A Framework ..."
Liu, Chengwei ISSTA '23: "A Comprehensive Study on Quality ..."
Liu, Cong ISSTA '23: "DyCL: Dynamic Neural Network ..."
Liu, Han ISSTA '23: "A Comprehensive Study on Quality ..."
Liu, Hao ISSTA '23: "RefBERT: A Two-Stage Pre-trained ..."
Liu, Jiangchao ISSTA '23: "Hybrid Inlining: A Framework ..."
Liu, Jie ISSTA '23: "DeUEDroid: Detecting Underground ..."
Liu, Jierui ISSTA '23: "Hybrid Inlining: A Framework ..."
Liu, Kaibo ISSTA '23: "Who Judges the Judge: An Empirical ..."
Liu, Kui ISSTA '23: "Towards More Realistic Evaluation ..."
Liu, Minghao ISSTA '23: "Improving Bit-Blasting for ..."
Liu, Peng ISSTA '23: "Detecting Vulnerabilities ..."
Liu, Si ISSTA '23: "A Tale of Two Approximations: ..."
Liu, Tao ISSTA '23: "Detecting Vulnerabilities ..."
Liu, Tianyi ISSTA '23: "Catamaran: Low-Overhead Memory ..."
Liu, Xianglong ISSTA '23: "Latent Imitator: Generating ..."
Liu, Xiangyu ISSTA '23: "FairRec: Fairness Testing ..."
Liu, Xudong ISSTA '23: "Detecting Condition-Related ..."
Liu, Yang ISSTA '23: "Beyond “Protected” and ..." ISSTA '23: "Detecting Condition-Related ..." ISSTA '23: "A Comprehensive Study on Quality ..."
Liu, Yepang ISSTA '23: "ConfFix: Repairing Configuration ..." ISSTA '23: "What You See Is What You Get? ..." ISSTA '23: "ωTest: WebView-Oriented Testing ..."
Liu, Yu ISSTA '23: "Extracting Inline Tests from ..." ISSTA '23: "More Precise Regression Test ..."
Liu, Zheli ISSTA '23: "LiResolver: License Incompatibility ..."
Liu, Zheng ISSTA '23: "KeenTune: Automated Tuning ..."
Liu, Zhibo ISSTA '23: "Exploring Missed Optimizations ..."
Liu, Zhongxin ISSTA '23: "Towards More Realistic Evaluation ..."
Liu, Zhuotao ISSTA '23: "iSyn: Semi-automated Smart ..."
Lo, David ISSTA '23: "Synthesizing Speech Test Cases ..."
Low, Joshua Chern Wey ISSTA '23: "Synthesizing Speech Test Cases ..."
Lu, Gongzheng ISSTA '23: "NodeRT: Detecting Races in ..."
Lu, Xu ISSTA '23: "SBDT: Search-Based Differential ..."
Luo, Xiapu ISSTA '23: "CydiOS: A Model-Based Testing ..." ISSTA '23: "Understanding and Tackling ..." ISSTA '23: "1dFuzz: Reproduce 1-Day Vulnerabilities ..." ISSTA '23: "Alligator in Vest: A Practical ..."
Lutellier, Thibaud ISSTA '23: "How Effective Are Neural Networks ..."
Lyu, Michael ISSTA '23: "Validating Multimedia Content ..."
Ma, Feifei ISSTA '23: "Improving Bit-Blasting for ..."
Ma, Haoyang ISSTA '23: "Fuzzing Deep Learning Compilers ..."
Ma, Shiqing ISSTA '23: "CILIATE: Towards Fairer Class-Based ..."
Ma, Tao ISSTA '23: "KeenTune: Automated Tuning ..."
Ma, Yun ISSTA '23: "Who Judges the Judge: An Empirical ..."
Ma, Zheyu ISSTA '23: "1dFuzz: Reproduce 1-Day Vulnerabilities ..."
Mansur, Muhammad Numair ISSTA '23: "Dependency-Aware Metamorphic ..."
Mao, Bing ISSTA '23: "OCFI: Make Function Entry ..."
Marinov, Darko ISSTA '23: "Transforming Test Suites into ..."
McKee, Devon ISSTA '23: "GPUHarbor: Testing GPU Memory ..."
Menendez, Hector ISSTA '23: "June: A Type Testability Transformation ..."
Meng, Wei ISSTA '23: "Exploring Missed Optimizations ..."
Miao, Miao ISSTA '23: "ECSTATIC: Automatic Configuration-Aware ..."
Miao, Xinyuan ISSTA '23: "GenCoG: A DSL-Based Approach ..."
Mo, Yifan ISSTA '23: "Toward Automated Detecting ..."
Molina, Facundo ISSTA '23: "EvoSpex: A Search-Based Tool ..."
Morari, Alessandro ISSTA '23: "CONCORD: Clone-Aware Contrastive ..."
Mordahl, Austin ISSTA '23: "ECSTATIC: Automatic Configuration-Aware ..." ISSTA '23: "Automatic Testing and Benchmarking ..."
Morgado, António ISSTA '23: "MetaData262: Automatic Test ..."
Nair, Nicole ISSTA '23: "Guiding Greybox Fuzzing with ..."
Nan, Yuhong ISSTA '23: "Detecting State Inconsistency ..." ISSTA '23: "SmartState: Detecting State-Reverting ..."
Nepal, Surya ISSTA '23: "Icicle: A Re-designed Emulator ..."
Nie, Liming ISSTA '23: "A Comprehensive Study on Quality ..."
Nie, Pengbo ISSTA '23: "GenCoG: A DSL-Based Approach ..."
Nie, Pengyu ISSTA '23: "Extracting Inline Tests from ..." ISSTA '23: "More Precise Regression Test ..."
Nie, Sen ISSTA '23: "Third-Party Library Dependency ..."
Nie, Xu ISSTA '23: "Understanding and Tackling ..."
Ning, Zhenyu ISSTA '23: "Alligator in Vest: A Practical ..."
Nowack, Martin ISSTA '23: "KDAlloc: The KLEE Deterministic ..."
OBrien, Kelton ISSTA '23: "Guiding Greybox Fuzzing with ..."
Omidvar Tehrani, Mohammad ISSTA '23: "SymRustC: A Hybrid Fuzzer ..."
Orso, Alessandro ISSTA '23: "Enhancing REST API Testing ..."
Ou, Samuel ISSTA '23: "Understanding Breaking Changes ..."
Ounjai, Jiradet ISSTA '23: "Green Fuzzer Benchmarking ..."
Padhye, Rohan ISSTA '23: "Guiding Greybox Fuzzing with ..."
Palepu, Vijay Krishna ISSTA '23: "To Kill a Mutant: An Empirical ..."
Pan, Yu ISSTA '23: "Automated Generation of Security-Centric ..."
Pang, Chengbin ISSTA '23: "OCFI: Make Function Entry ..."
Pasqua, Michele ISSTA '23: "Enhancing REST API Testing ..."
Peldszus, Sven ISSTA '23: "RobotBT: Behavior-Tree-Based ..."
Peng, Haoran ISSTA '23: "Large Language Models Are ..."
Peng, Junru ISSTA '23: "Interpreters for GNN-Based ..."
Peng, Xin ISSTA '23: "In Defense of Simple Techniques ..."
Pham, Hung Viet ISSTA '23: "How Effective Are Neural Networks ..."
Ponzio, Pablo ISSTA '23: "EvoSpex: A Search-Based Tool ..."
Pradel, Michael ISSTA '23: "Beware of the Unexpected: ..." ISSTA '23: "That’s a Tough Call: Studying ..."
Pretschner, Alexander ISSTA '23: "Green Fuzzing: A Saturation-Based ..."
Pu, Geguang ISSTA '23: "An Empirical Study of Functional ..."
Pujar, Saurabh ISSTA '23: "CONCORD: Clone-Aware Contrastive ..."
Purandare, Rahul ISSTA '23: "CGuard: Scalable and Precise ..."
Qian, Chenxiong ISSTA '23: "CydiOS: A Model-Based Testing ..."
Qiang, Weizhong ISSTA '23: "An Empirical Study on the ..."
Qin, Xue ISSTA '23: "Virtual Reality (VR) Automated ..."
Qin, Zhan ISSTA '23: "DeUEDroid: Detecting Underground ..."
Quinn, Andrew ISSTA '23: "GPUHarbor: Testing GPU Memory ..."
Ramos, Frederico ISSTA '23: "MetaData262: Automatic Test ..."
Ranasinghe, Damith C. ISSTA '23: "Icicle: A Re-designed Emulator ..."
Ray, Baishakhi ISSTA '23: "CONCORD: Clone-Aware Contrastive ..."
Reis, Diogo Costa ISSTA '23: "MetaData262: Automatic Test ..."
Ren, Kunlun ISSTA '23: "An Empirical Study on the ..."
Ren, Luyao ISSTA '23: "GDsmith: Detecting Bugs in ..."
Ren, Pinghong ISSTA '23: "SBDT: Search-Based Differential ..."
Riccio, Vincenzo ISSTA '23: "DeepAtash: Focused Test Generation ..."
Rigger, Manuel ISSTA '23: "Testing Graph Database Engines ..."
Rishabh ISSTA '23: "CGuard: Scalable and Precise ..."
Roth, Ori ISSTA '23: "Type Automata ..."
Roychoudhury, Abhik ISSTA '23: "Concept-Based Automated Grading ..."
Ruiz-Cortés, Antonio ISSTA '23: "AGORA: Automated Generation ..."
Rzig, Dhia Elhaq ISSTA '23: "Virtual Reality (VR) Automated ..."
Sagonas, Konstantinos ISSTA '23: "EDHOC-Fuzzer: An EDHOC Protocol ..."
Saha, Seemanta ISSTA '23: "Rare Path Guided Fuzzing ..."
Sankaran, Ganesh ISSTA '23: "Rare Path Guided Fuzzing ..." ISSTA '23: "Quantitative Policy Repair ..."
Sanna, Rafaello ISSTA '23: "Guiding Greybox Fuzzing with ..."
Sarker, Laboni ISSTA '23: "Quantitative Symbolic Similarity ..." ISSTA '23: "Rare Path Guided Fuzzing ..."
Sarro, Federica ISSTA '23: "Who Judges the Judge: An Empirical ..."
Schäfer, Max ISSTA '23: "Beware of the Unexpected: ..."
Schemmel, Daniel ISSTA '23: "KDAlloc: The KLEE Deterministic ..."
Schumi, Richard ISSTA '23: "Semantic-Based Neural Network ..."
Segura, Sergio ISSTA '23: "AGORA: Automated Generation ..."
Sen, Koushik ISSTA '23: "ItyFuzz: Snapshot-Based Fuzzer ..."
Sha, Chaofeng ISSTA '23: "In Defense of Simple Techniques ..."
Shafiuzzaman, Md ISSTA '23: "Rare Path Guided Fuzzing ..."
Shah, Sameena ISSTA '23: "How Effective Are Neural Networks ..."
Sharma, Arindam ISSTA '23: "GrayC: Greybox Fuzzing of ..."
Sharma, Mayank ISSTA '23: "RustSmith: Random Differential ..."
Shen, Chao ISSTA '23: "CILIATE: Towards Fairer Class-Based ..."
Shen, Guangyu ISSTA '23: "Improving Binary Code Similarity ..."
Shen, Qingchao ISSTA '23: "Fuzzing Deep Learning Compilers ..."
Shen, Yulong ISSTA '23: "Testing Automated Driving ..."
Shi, August ISSTA '23: "Systematically Producing Test ..."
Shi, Ensheng ISSTA '23: "Towards Efficient Fine-Tuning ..."
Shi, Heyuan ISSTA '23: "KeenTune: Automated Tuning ..."
Shi, Jingyi ISSTA '23: "ACETest: Automated Constraint ..."
Shi, Qingkai ISSTA '23: "Improving Binary Code Similarity ..."
Shi, Wenxuan ISSTA '23: "Alligator in Vest: A Practical ..."
Shi, Xiaohai ISSTA '23: "KeenTune: Automated Tuning ..."
Shou, Chaofan ISSTA '23: "Rare Path Guided Fuzzing ..." ISSTA '23: "ItyFuzz: Snapshot-Based Fuzzer ..."
Shrestha, Sohil Lal ISSTA '23: "Harnessing Large Language ..."
Sifakis, Joseph ISSTA '23: "Simulation-Based Validation ..."
Sinha, Saurabh ISSTA '23: "Enhancing REST API Testing ..."
Soles, Dakota ISSTA '23: "ECSTATIC: Automatic Configuration-Aware ..."
Song, Houbing ISSTA '23: "KeenTune: Automated Tuning ..."
Song, Wei ISSTA '23: "DDLDroid: A Static Analyzer ..." ISSTA '23: "DDLDroid: Efficiently Detecting ..."
Sorensen, Tyler ISSTA '23: "GPUHarbor: Testing GPU Memory ..."
Su, He ISSTA '23: "Splendor: Static Detection ..."
Su, Hui ISSTA '23: "ACETest: Automated Constraint ..."
Su, Ting ISSTA '23: "An Empirical Study of Functional ..."
Su, Zhendong ISSTA '23: "An Empirical Study of Functional ..." ISSTA '23: "Testing Graph Database Engines ..."
Su, Zian ISSTA '23: "Improving Binary Code Similarity ..."
Sumner, Nick ISSTA '23: "Type Batched Program Reduction ..."
Sun, Chengnian ISSTA '23: "CoopHance: Cooperative Enhancement ..."
Sun, Hailong ISSTA '23: "Detecting Condition-Related ..."
Sun, Hongbin ISSTA '23: "Towards Efficient Fine-Tuning ..."
Sun, Jiaguang ISSTA '23: "CoopHance: Cooperative Enhancement ..."
Sun, Jingling ISSTA '23: "An Empirical Study of Functional ..."
Sun, Jun ISSTA '23: "Semantic-Based Neural Network ..." ISSTA '23: "Silent Compiler Bug De-duplication ..." ISSTA '23: "Testing Automated Driving ..."
Sun, Limin ISSTA '23: "Detecting Vulnerabilities ..."
Sun, Qing ISSTA '23: "Splendor: Static Detection ..."
Sun, Yang ISSTA '23: "Testing Automated Driving ..."
Sun, Yujie ISSTA '23: "Splendor: Static Detection ..."
Sun, Zewen ISSTA '23: "Catamaran: Low-Overhead Memory ..."
Tan, Lin ISSTA '23: "How Effective Are Neural Networks ..."
Tan, Per Hoong ISSTA '23: "Synthesizing Speech Test Cases ..."
Tan, Shangyin ISSTA '23: "ItyFuzz: Snapshot-Based Fuzzer ..."
Tan, Shin Hwei ISSTA '23: "Concept-Based Automated Grading ..."
Tan, Tian ISSTA '23: "Tai-e: A Developer-Friendly ..."
Tang, Qiyi ISSTA '23: "Third-Party Library Dependency ..."
Tao, Guanhong ISSTA '23: "Improving Binary Code Similarity ..."
Terragni, Valerio ISSTA '23: "Understanding Breaking Changes ..."
Thalakottur, Michelle ISSTA '23: "That’s a Tough Call: Studying ..."
Thimmaiah, Aditya ISSTA '23: "Pattern-Based Peephole Optimizations ..."
Tian, Cong ISSTA '23: "SBDT: Search-Based Differential ..."
Tian, Yongqiang ISSTA '23: "Fuzzing Deep Learning Compilers ..." ISSTA '23: "CoopHance: Cooperative Enhancement ..."
Tip, Frank ISSTA '23: "That’s a Tough Call: Studying ..."
Tonella, Paolo ISSTA '23: "DeepAtash: Focused Test Generation ..."
Trigo, Miguel ISSTA '23: "MetaData262: Automatic Test ..."
Tuong, Frédéric ISSTA '23: "SymRustC: A Hybrid Fuzzer ..."
Typaldos, Thanasis ISSTA '23: "EDHOC-Fuzzer: An EDHOC Protocol ..."
Tzoref-Brill, Rachel ISSTA '23: "Enhancing REST API Testing ..."
Valle, Pablo ISSTA '23: "Applying and Extending the ..."
Vikram, Vasudev ISSTA '23: "Guiding Greybox Fuzzing with ..."
Von Stein, Meriel ISSTA '23: "PhysCov: Physical Test Coverage ..."
Wan, Chengcheng ISSTA '23: "GenCoG: A DSL-Based Approach ..."
Wang, Boxiang ISSTA '23: "An Empirical Study on Concurrency ..."
Wang, Chao ISSTA '23: "Systematic Testing of the ..."
Wang, Dongxia ISSTA '23: "FairRec: Fairness Testing ..."
Wang, Haoyu ISSTA '23: "CydiOS: A Model-Based Testing ..." ISSTA '23: "Eunomia: Enabling User-Specified ..." ISSTA '23: "Understanding and Tackling ..."
Wang, Ji ISSTA '23: "Loop Invariant Inference through ..."
Wang, Jikai ISSTA '23: "Eunomia: Enabling User-Specified ..."
Wang, Jingbo ISSTA '23: "Systematic Testing of the ..."
Wang, Jingyi ISSTA '23: "FairRec: Fairness Testing ..."
Wang, Jue ISSTA '23: "An Empirical Study of Functional ..."
Wang, Juhong ISSTA '23: "RefBERT: A Two-Stage Pre-trained ..."
Wang, Jun ISSTA '23: "Back Deduction Based Testing ..."
Wang, Kailong ISSTA '23: "Understanding and Tackling ..."
Wang, Kaiyi ISSTA '23: "COME: Commit Message Generation ..."
Wang, Ke ISSTA '23: "DeUEDroid: Detecting Underground ..."
Wang, Linzhang ISSTA '23: "OCFI: Make Function Entry ..."
Wang, Liran ISSTA '23: "COME: Commit Message Generation ..."
Wang, Qiang ISSTA '23: "Simulation-Based Validation ..."
Wang, Qinglong ISSTA '23: "KeenTune: Automated Tuning ..."
Wang, Ruifeng ISSTA '23: "What You See Is What You Get? ..."
Wang, Runzhe ISSTA '23: "KeenTune: Automated Tuning ..."
Wang, Shangguang ISSTA '23: "Understanding and Tackling ..."
Wang, Shiwei ISSTA '23: "CILIATE: Towards Fairer Class-Based ..."
Wang, Shuai ISSTA '23: "Beyond “Protected” and ..." ISSTA '23: "Exploring Missed Optimizations ..."
Wang, Sinan ISSTA '23: "What You See Is What You Get? ..."
Wang, Suyuan ISSTA '23: "Interpreters for GNN-Based ..."
Wang, Tianxiao ISSTA '23: "Data Constraint Mining for ..."
Wang, Ting ISSTA '23: "Loop Invariant Inference through ..."
Wang, Wenxuan ISSTA '23: "Validating Multimedia Content ..."
Wang, Xiaoyin ISSTA '23: "PExReport-Maven: Creating ..."
Wang, Xu ISSTA '23: "Detecting Condition-Related ..."
Wang, Yanlin ISSTA '23: "DeFiTainter: Detecting Price ..." ISSTA '23: "Toward Automated Detecting ..." ISSTA '23: "Towards Efficient Fine-Tuning ..." ISSTA '23: "RefBERT: A Two-Stage Pre-trained ..."
Wang, Ying ISSTA '23: "What You See Is What You Get? ..."
Wang, Zan ISSTA '23: "Testing the Compiler for a ..."
Wang, Zhixuan ISSTA '23: "An Empirical Study on Concurrency ..."
Wang, Zihan ISSTA '23: "GenCoG: A DSL-Based Approach ..."
Wei, Lili ISSTA '23: "ωTest: WebView-Oriented Testing ..."
Wei, Shiyi ISSTA '23: "ECSTATIC: Automatic Configuration-Aware ..." ISSTA '23: "DyCL: Dynamic Neural Network ..."
Wei, Zhao ISSTA '23: "RefBERT: A Two-Stage Pre-trained ..."
Wen, He ISSTA '23: "An Empirical Study of Functional ..."
Wen, Ming ISSTA '23: "Precise and Efficient Patch ..." ISSTA '23: "ConfFix: Repairing Configuration ..."
Winn, Robert ISSTA '23: "Automatically Reproducing ..."
Wu, Daoyuan ISSTA '23: "Beyond “Protected” and ..."
Wu, Diyu ISSTA '23: "Hybrid Inlining: A Framework ..."
Wu, Dongpeng ISSTA '23: "Detecting State Inconsistency ..."
Wu, Jing ISSTA '23: "ModelObfuscator: Obfuscating ..."
Wu, Jinjie ISSTA '23: "Data Constraint Mining for ..."
Wu, Lei ISSTA '23: "DeUEDroid: Detecting Underground ..."
Wu, Shi ISSTA '23: "Third-Party Library Dependency ..."
Wu, Shuohan ISSTA '23: "CydiOS: A Model-Based Testing ..."
Wu, Weibin ISSTA '23: "Validating Multimedia Content ..."
Wu, Yi ISSTA '23: "How Effective Are Neural Networks ..."
Wu, Yiting ISSTA '23: "A Tale of Two Approximations: ..."
Wu, Yueming ISSTA '23: "Interpreters for GNN-Based ..." ISSTA '23: "An Empirical Study on the ..." ISSTA '23: "Fine-Grained Code Clone Detection ..."
Wüstholz, Valentin ISSTA '23: "Green Fuzzer Benchmarking ..." ISSTA '23: "Dependency-Aware Metamorphic ..."
Xia, Chunqiu Steven ISSTA '23: "Large Language Models Are ..."
Xia, Xin ISSTA '23: "Towards More Realistic Evaluation ..."
Xiao, Dongwei ISSTA '23: "Exploring Missed Optimizations ..."
Xiao, Xusheng ISSTA '23: "iSyn: Semi-automated Smart ..."
Xiao, Yang ISSTA '23: "ACETest: Automated Constraint ..."
Xiao, Yisong ISSTA '23: "Latent Imitator: Generating ..."
Xie, Tao ISSTA '23: "GDsmith: Detecting Bugs in ..."
Xie, Xiaofei ISSTA '23: "BehAVExplor: Behavior Diversity ..."
Xie, Yong ISSTA '23: "1dFuzz: Reproduce 1-Day Vulnerabilities ..."
Xie, Zifan ISSTA '23: "Precise and Efficient Patch ..."
Xiong, Yiheng ISSTA '23: "An Empirical Study of Functional ..."
Xu, Chi ISSTA '23: "ConfFix: Repairing Configuration ..."
Xu, Lei ISSTA '23: "NodeRT: Detecting Races in ..."
Xu, Lili ISSTA '23: "Splendor: Static Detection ..."
Xu, Mengqian ISSTA '23: "An Empirical Study of Functional ..."
Xu, Sihan ISSTA '23: "LiResolver: License Incompatibility ..."
Xu, Xiangzhe ISSTA '23: "Improving Binary Code Similarity ..."
Xu, Xuelan ISSTA '23: "OCFI: Make Function Entry ..."
Xu, Yong ISSTA '23: "RefBERT: A Two-Stage Pre-trained ..."
Xu, Zhengzi ISSTA '23: "A Comprehensive Study on Quality ..."
Xu, Zhichao ISSTA '23: "Automated Generation of Security-Centric ..."
Xu, Zijing ISSTA '23: "Fine-Grained Code Clone Detection ..."
Xue, Hui ISSTA '23: "FairRec: Fairness Testing ..."
Xue, Jingling ISSTA '23: "Reducing the Memory Footprint ..." ISSTA '23: "Hybrid Inlining: A Framework ..."
Xue, Zhiyi ISSTA '23: "A Tale of Two Approximations: ..."
Yan, Rongjie ISSTA '23: "Simulation-Based Validation ..."
Yang, Chen ISSTA '23: "Silent Compiler Bug De-duplication ..."
Yang, Chenyuan ISSTA '23: "Large Language Models Are ..."
Yang, Mengfei ISSTA '23: "An Empirical Study on Concurrency ..."
Yang, Shuo ISSTA '23: "Definition and Detection of ..."
Yang, Songtao ISSTA '23: "1dFuzz: Reproduce 1-Day Vulnerabilities ..."
Yang, Wei ISSTA '23: "DyCL: Dynamic Neural Network ..."
Yang, Xiaohu ISSTA '23: "Towards More Realistic Evaluation ..."
Yang, Yixing ISSTA '23: "ROME: Testing Image Captioning ..."
Yang, Yunhe ISSTA '23: "Automated Generation of Security-Centric ..."
Yang, Zhou ISSTA '23: "Synthesizing Speech Test Cases ..."
Yang, Zijiang ISSTA '23: "Testing Automated Driving ..."
Ye, Haojie ISSTA '23: "Testing the Compiler for a ..."
Ye, Kejiang ISSTA '23: "Detecting Vulnerabilities ..."
Ye, Mingxi ISSTA '23: "Detecting State Inconsistency ..."
Ye, Yapeng ISSTA '23: "Improving Binary Code Similarity ..."
Yi, Jooyong ISSTA '23: "Automated Program Repair from ..."
Yi, Xiao ISSTA '23: "Beyond “Protected” and ..."
Yildiz, Alperen ISSTA '23: "Transforming Test Suites into ..."
Yin, Jianwei ISSTA '23: "Data Constraint Mining for ..."
Yong, Julian Hao ISSTA '23: "Synthesizing Speech Test Cases ..."
Yong, Zi Qian ISSTA '23: "Synthesizing Speech Test Cases ..."
Yoo, Shin ISSTA '23: "A Bayesian Framework for Automated ..."
Young, Michal ISSTA '23: "TreeLine and SlackLine: Grammar-Based ..." ISSTA '23: "Finding Short Slow Inputs ..."
Yu, Bin ISSTA '23: "SBDT: Search-Based Differential ..."
Yu, Boxi ISSTA '23: "ROME: Testing Image Captioning ..."
Yu, Chendong ISSTA '23: "ACETest: Automated Constraint ..."
Yu, Dongsong ISSTA '23: "ACETest: Automated Constraint ..."
Yu, Pingshi ISSTA '23: "RustSmith: Random Differential ..." ISSTA '23: "Reasoning about MLIR Semantics ..."
Yu, Shiwen ISSTA '23: "Loop Invariant Inference through ..."
Yu, Tingting ISSTA '23: "An Empirical Study on Concurrency ..." ISSTA '23: "Automatically Reproducing ..."
Yuan, Bin ISSTA '23: "Fine-Grained Code Clone Detection ..."
Yuan, Hengchen ISSTA '23: "Third-Party Library Dependency ..."
Zang, Zhiqiang ISSTA '23: "Pattern-Based Peephole Optimizations ..."
Zeller, Andreas ISSTA '23: "Fuzzing Embedded Systems using ..."
Zhai, Juan ISSTA '23: "CILIATE: Towards Fairer Class-Based ..."
Zhan, Xian ISSTA '23: "What You See Is What You Get? ..."
Zhang, Chao ISSTA '23: "1dFuzz: Reproduce 1-Day Vulnerabilities ..."
Zhang, Chengyu ISSTA '23: "Testing Graph Database Engines ..."
Zhang, Dongmei ISSTA '23: "Towards Efficient Fine-Tuning ..."
Zhang, Fengwei ISSTA '23: "Alligator in Vest: A Practical ..."
Zhang, Hang ISSTA '23: "COME: Commit Message Generation ..."
Zhang, Hongyu ISSTA '23: "Detecting Condition-Related ..." ISSTA '23: "Towards Efficient Fine-Tuning ..."
Zhang, Jian ISSTA '23: "Detecting Condition-Related ..." ISSTA '23: "Improving Bit-Blasting for ..." ISSTA '23: "Simulation-Based Validation ..."
Zhang, Jianping ISSTA '23: "Validating Multimedia Content ..."
Zhang, Jie M. ISSTA '23: "Who Judges the Judge: An Empirical ..."
Zhang, Jiyang ISSTA '23: "More Precise Regression Test ..."
Zhang, Lingming ISSTA '23: "Large Language Models Are ..." ISSTA '23: "Vectorizing Program Ingredients ..."
Zhang, Lu ISSTA '23: "GDsmith: Detecting Bugs in ..."
Zhang, Min ISSTA '23: "A Tale of Two Approximations: ..."
Zhang, Mu ISSTA '23: "Automated Generation of Security-Centric ..."
Zhang, Qiuping ISSTA '23: "Security Checking of Trigger-Action-Programming ..."
Zhang, Quan ISSTA '23: "CoopHance: Cooperative Enhancement ..."
Zhang, Rong ISSTA '23: "FairRec: Fairness Testing ..."
Zhang, Tiantai ISSTA '23: "OCFI: Make Function Entry ..."
Zhang, Weifeng ISSTA '23: "NodeRT: Detecting Races in ..."
Zhang, Xiangyu ISSTA '23: "Improving Binary Code Similarity ..." ISSTA '23: "NodeRT: Detecting Races in ..."
Zhang, Xiaodong ISSTA '23: "Testing Automated Driving ..."
Zhang, Xiaofang ISSTA '23: "Back Deduction Based Testing ..."
Zhang, Xudong ISSTA '23: "Building Critical Testing ..."
Zhang, Yiming ISSTA '23: "Alligator in Vest: A Practical ..."
Zhang, Yiyu ISSTA '23: "Catamaran: Low-Overhead Memory ..."
Zhang, Yupeng ISSTA '23: "COME: Commit Message Generation ..."
Zhang, Yuqun ISSTA '23: "Third-Party Library Dependency ..." ISSTA '23: "Vectorizing Program Ingredients ..."
Zhang, Zenong ISSTA '23: "ECSTATIC: Automatic Configuration-Aware ..."
Zhang, Zhaodi ISSTA '23: "A Tale of Two Approximations: ..."
Zhang, Zhaoxu ISSTA '23: "Automatically Reproducing ..."
Zhang, Zhuo ISSTA '23: "Improving Binary Code Similarity ..."
Zhao, Jianjun ISSTA '23: "GenCoG: A DSL-Based Approach ..."
Zhao, Kaifa ISSTA '23: "CydiOS: A Model-Based Testing ..."
Zhao, Wei ISSTA '23: "Testing Automated Driving ..."
Zhao, Wenyun ISSTA '23: "In Defense of Simple Techniques ..."
Zhao, Yingquan ISSTA '23: "Vectorizing Program Ingredients ..." ISSTA '23: "Testing the Compiler for a ..."
Zhao, Yu ISSTA '23: "Automatically Reproducing ..."
Zhao, Zhehao ISSTA '23: "Eunomia: Enabling User-Specified ..."
Zheng, Hengjie ISSTA '23: "Hybrid Inlining: A Framework ..."
Zheng, Yaowen ISSTA '23: "Detecting Vulnerabilities ..."
Zheng, Zibin ISSTA '23: "DeFiTainter: Detecting Price ..." ISSTA '23: "Toward Automated Detecting ..." ISSTA '23: "Detecting State Inconsistency ..." ISSTA '23: "Definition and Detection of ..." ISSTA '23: "SmartState: Detecting State-Reverting ..."
Zhi, Chen ISSTA '23: "Data Constraint Mining for ..."
Zhong, Zhiqing ISSTA '23: "ROME: Testing Image Captioning ..."
Zhou, Hao ISSTA '23: "CydiOS: A Model-Based Testing ..."
Zhou, Jingyao ISSTA '23: "NodeRT: Detecting Races in ..."
Zhou, Mingyi ISSTA '23: "ModelObfuscator: Obfuscating ..."
Zhou, Xiaoqun ISSTA '23: "Data Constraint Mining for ..."
Zhou, Yajin ISSTA '23: "DeUEDroid: Detecting Underground ..."
Zhou, Yi ISSTA '23: "An Empirical Study on the ..."
Zhou, Yuan ISSTA '23: "BehAVExplor: Behavior Diversity ..."
Zhou, Yuhao ISSTA '23: "DDLDroid: A Static Analyzer ..." ISSTA '23: "DDLDroid: Efficiently Detecting ..."
Zhou, Yuming ISSTA '23: "Back Deduction Based Testing ..."
Zhu, Hongsong ISSTA '23: "Detecting Vulnerabilities ..."
Zohdinasab, Tahereh ISSTA '23: "DeepAtash: Focused Test Generation ..."
Zou, Deqing ISSTA '23: "Interpreters for GNN-Based ..." ISSTA '23: "An Empirical Study on the ..." ISSTA '23: "Precise and Efficient Patch ..." ISSTA '23: "Fine-Grained Code Clone Detection ..."
Zou, Zhenhua ISSTA '23: "iSyn: Semi-automated Smart ..."
Zuo, Zhiqiang ISSTA '23: "Catamaran: Low-Overhead Memory ..."

676 authors

proc time: 110.36