| |
Abreu, Rui
|
ISSTA '22: "Maestro: A Platform for Benchmarking ..."
Maestro: A Platform for Benchmarking Automatic Program Repair Tools on Software Vulnerabilities
Eduard Pinconschi, Quang-Cuong Bui, Rui Abreu, Pedro Adão, and Riccardo Scandariato
(INESC-ID, Portugal; University of Porto, Portugal; Hamburg University of Technology, Germany; IST-ULisboa, Portugal; Instituto de Telecomunicações, Portugal)
@InProceedings{ISSTA22p818,
author = {Eduard Pinconschi and Quang-Cuong Bui and Rui Abreu and Pedro Adão and Riccardo Scandariato},
title = {Maestro: A Platform for Benchmarking Automatic Program Repair Tools on Software Vulnerabilities},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {818-817},
doi = {10.1145/3533767.3543291},
year = {2022},
}
 Publisher's Version
Article: issta22demo-p26-p doi:10.1145/3533767.3543291
ISSTA '22: "QMutPy: A Mutation Testing ..."
QMutPy: A Mutation Testing Tool for Quantum Algorithms and Applications in Qiskit
Daniel Fortunato, José Campos, and Rui Abreu
(University of Porto, Portugal; INESC-ID, Portugal; LASIGE, Portugal)
@InProceedings{ISSTA22p826,
author = {Daniel Fortunato and José Campos and Rui Abreu},
title = {QMutPy: A Mutation Testing Tool for Quantum Algorithms and Applications in Qiskit},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {826-825},
doi = {10.1145/3533767.3543296},
year = {2022},
}
Publisher's Version
Article: issta22demo-p84-p doi:10.1145/3533767.3543296
|
| |
Adão, Pedro |
ISSTA '22: "Maestro: A Platform for Benchmarking ..."
Maestro: A Platform for Benchmarking Automatic Program Repair Tools on Software Vulnerabilities
Eduard Pinconschi, Quang-Cuong Bui, Rui Abreu, Pedro Adão, and Riccardo Scandariato
(INESC-ID, Portugal; University of Porto, Portugal; Hamburg University of Technology, Germany; IST-ULisboa, Portugal; Instituto de Telecomunicações, Portugal)
@InProceedings{ISSTA22p818,
author = {Eduard Pinconschi and Quang-Cuong Bui and Rui Abreu and Pedro Adão and Riccardo Scandariato},
title = {Maestro: A Platform for Benchmarking Automatic Program Repair Tools on Software Vulnerabilities},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {818-817},
doi = {10.1145/3533767.3543291},
year = {2022},
}
Publisher's Version
Article: issta22demo-p26-p doi:10.1145/3533767.3543291
|
| |
Aguirre, Nazareno |
ISSTA '22: "ATR: Template-Based Repair ..."
ATR: Template-Based Repair for Alloy Specifications
Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Nazareno Aguirre, Marcelo F. Frias, and Hamid Bagheri
(University of Nebraska-Lincoln, USA; George Mason University, USA; University of Rio Cuarto, Argentina; CONICET, Argentina; Buenos Aires Institute of Technology, Argentina)
@InProceedings{ISSTA22p690,
author = {Guolong Zheng and ThanhVu Nguyen and Simón Gutiérrez Brida and Germán Regis and Nazareno Aguirre and Marcelo F. Frias and Hamid Bagheri},
title = {ATR: Template-Based Repair for Alloy Specifications},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {690-689},
doi = {10.1145/3533767.3534369},
year = {2022},
}
Publisher's Version
Article: issta22main-p25-p doi:10.1145/3533767.3534369
|
| |
Aleti, Aldeida |
ISSTA '22: "Human-in-the-Loop Oracle Learning ..."
Human-in-the-Loop Oracle Learning for Semantic Bugs in String Processing Programs
Charaka Geethal Kapugama, Van-Thuan Pham, Aldeida Aleti, and Marcel Böhme
(Monash University, Australia; University of Melbourne, Australia; MPI-SP, Germany)
@InProceedings{ISSTA22p222,
author = {Charaka Geethal Kapugama and Van-Thuan Pham and Aldeida Aleti and Marcel Böhme},
title = {Human-in-the-Loop Oracle Learning for Semantic Bugs in String Processing Programs},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {222-221},
doi = {10.1145/3533767.3534406},
year = {2022},
}
Publisher's Version
 Published Artifact
Artifacts Available
Artifacts Functional
Article: issta22main-p481-p doi:10.1145/3533767.3534406
|
| |
An, Gabin |
ISSTA '22: "FDG: A Precise Measurement ..."
FDG: A Precise Measurement of Fault Diagnosability Gain of Test Cases
Gabin An and Shin Yoo
(KAIST, South Korea)
@InProceedings{ISSTA22p14,
author = {Gabin An and Shin Yoo},
title = {FDG: A Precise Measurement of Fault Diagnosability Gain of Test Cases},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {14-13},
doi = {10.1145/3533767.3534370},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: issta22main-p47-p doi:10.1145/3533767.3534370
|
| |
Andronidis, Anastasios |
ISSTA '22: "SnapFuzz: High-Throughput ..."
SnapFuzz: High-Throughput Fuzzing of Network Applications
Anastasios Andronidis and Cristian Cadar
(Imperial College London, UK)
@InProceedings{ISSTA22p352,
author = {Anastasios Andronidis and Cristian Cadar},
title = {SnapFuzz: High-Throughput Fuzzing of Network Applications},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {352-351},
doi = {10.1145/3533767.3534376},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: issta22main-p88-p doi:10.1145/3533767.3534376
|
| |
Artho, Cyrille |
ISSTA '22: "Finding Permission Bugs in ..."
Finding Permission Bugs in Smart Contracts with Role Mining
Ye Liu, Yi Li, Shang-Wei Lin, and Cyrille Artho
(Nanyang Technological University, Singapore; KTH, Sweden)
@InProceedings{ISSTA22p742,
author = {Ye Liu and Yi Li and Shang-Wei Lin and Cyrille Artho},
title = {Finding Permission Bugs in Smart Contracts with Role Mining},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {742-741},
doi = {10.1145/3533767.3534372},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Article: issta22main-p54-p doi:10.1145/3533767.3534372
|
| |
Bagheri, Hamid
|
ISSTA '22: "ATR: Template-Based Repair ..."
ATR: Template-Based Repair for Alloy Specifications
Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Nazareno Aguirre, Marcelo F. Frias, and Hamid Bagheri
(University of Nebraska-Lincoln, USA; George Mason University, USA; University of Rio Cuarto, Argentina; CONICET, Argentina; Buenos Aires Institute of Technology, Argentina)
@InProceedings{ISSTA22p690,
author = {Guolong Zheng and ThanhVu Nguyen and Simón Gutiérrez Brida and Germán Regis and Nazareno Aguirre and Marcelo F. Frias and Hamid Bagheri},
title = {ATR: Template-Based Repair for Alloy Specifications},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {690-689},
doi = {10.1145/3533767.3534369},
year = {2022},
}
Publisher's Version
Article: issta22main-p25-p doi:10.1145/3533767.3534369
ISSTA '22: "Combining Solution Reuse and ..."
Combining Solution Reuse and Bound Tightening for Efficient Analysis of Evolving Systems
Clay Stevens and Hamid Bagheri
(University of Nebraska-Lincoln, USA)
@InProceedings{ISSTA22p92,
author = {Clay Stevens and Hamid Bagheri},
title = {Combining Solution Reuse and Bound Tightening for Efficient Analysis of Evolving Systems},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {92-91},
doi = {10.1145/3533767.3534399},
year = {2022},
}
Publisher's Version
Article: issta22main-p333-p doi:10.1145/3533767.3534399
|
| |
Banescu, Sebastian |
ISSTA '22: "An Empirical Study on the ..."
An Empirical Study on the Effectiveness of Static C Code Analyzers for Vulnerability Detection
Stephan Lipp, Sebastian Banescu, and Alexander Pretschner
(TU Munich, Germany)
@InProceedings{ISSTA22p560,
author = {Stephan Lipp and Sebastian Banescu and Alexander Pretschner},
title = {An Empirical Study on the Effectiveness of Static C Code Analyzers for Vulnerability Detection},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {560-559},
doi = {10.1145/3533767.3534380},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: issta22main-p109-p doi:10.1145/3533767.3534380
|
| |
Baudart, Guillaume |
ISSTA '22: "The Raise of Machine Learning ..."
The Raise of Machine Learning Hyperparameter Constraints in Python Code
Ingkarat Rak-amnouykit, Ana Milanova, Guillaume Baudart, Martin Hirzel, and Julian Dolby
(Rensselaer Polytechnic Institute, USA; Inria, France; ENS-PSL University, France; IBM Research, USA)
@InProceedings{ISSTA22p599,
author = {Ingkarat Rak-amnouykit and Ana Milanova and Guillaume Baudart and Martin Hirzel and Julian Dolby},
title = {The Raise of Machine Learning Hyperparameter Constraints in Python Code},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {599-598},
doi = {10.1145/3533767.3534400},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: issta22main-p336-p doi:10.1145/3533767.3534400
|
| |
Bell, Jonathan |
ISSTA '22: "On the Use of Mutation Analysis ..."
On the Use of Mutation Analysis for Evaluating Student Test Suite Quality
James Perretta, Andrew DeOrio, Arjun Guha, and Jonathan Bell
(Northeastern University, USA; University of Michigan, USA)
@InProceedings{ISSTA22p274,
author = {James Perretta and Andrew DeOrio and Arjun Guha and Jonathan Bell},
title = {On the Use of Mutation Analysis for Evaluating Student Test Suite Quality},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {274-273},
doi = {10.1145/3533767.3534217},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: issta22main-p23-p doi:10.1145/3533767.3534217
|
| |
Beyah, Raheem |
ISSTA '22: "SLIME: Program-Sensitive Energy ..."
SLIME: Program-Sensitive Energy Allocation for Fuzzing
Chenyang Lyu, Hong Liang, Shouling Ji, Xuhong Zhang, Binbin Zhao, Meng Han, Yun Li, Zhe Wang, Wenhai Wang, and Raheem Beyah
(Zhejiang University, China; Georgia Institute of Technology, USA; Huawei Technologies, China; Institute of Computing Technology at Chinese Academy of Sciences, China)
@InProceedings{ISSTA22p378,
author = {Chenyang Lyu and Hong Liang and Shouling Ji and Xuhong Zhang and Binbin Zhao and Meng Han and Yun Li and Zhe Wang and Wenhai Wang and Raheem Beyah},
title = {SLIME: Program-Sensitive Energy Allocation for Fuzzing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {378-377},
doi = {10.1145/3533767.3534385},
year = {2022},
}
Publisher's Version
Article: issta22main-p134-p doi:10.1145/3533767.3534385
ISSTA '22: "A Large-Scale Empirical Analysis ..."
A Large-Scale Empirical Analysis of the Vulnerabilities Introduced by Third-Party Components in IoT Firmware
Binbin Zhao, Shouling Ji, Jiacheng Xu, Yuan Tian, Qiuyang Wei, Qinying Wang, Chenyang Lyu, Xuhong Zhang, Changting Lin, Jingzheng Wu, and Raheem Beyah
(Zhejiang University, China; Georgia Institute of Technology, USA; University of Virginia, USA; Institute of Software at Chinese Academy of Sciences, China)
@InProceedings{ISSTA22p456,
author = {Binbin Zhao and Shouling Ji and Jiacheng Xu and Yuan Tian and Qiuyang Wei and Qinying Wang and Chenyang Lyu and Xuhong Zhang and Changting Lin and Jingzheng Wu and Raheem Beyah},
title = {A Large-Scale Empirical Analysis of the Vulnerabilities Introduced by Third-Party Components in IoT Firmware},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {456-455},
doi = {10.1145/3533767.3534366},
year = {2022},
}
Publisher's Version
Article: issta22main-p13-p doi:10.1145/3533767.3534366
|
| |
Bodden, Eric |
ISSTA '22: "A Large-Scale Study of Usability ..."
A Large-Scale Study of Usability Criteria Addressed by Static Analysis Tools
Marcus Nachtigall, Michael Schlichtig, and Eric Bodden
(Paderborn University, Germany; Fraunhofer IEM, Germany)
@InProceedings{ISSTA22p547,
author = {Marcus Nachtigall and Michael Schlichtig and Eric Bodden},
title = {A Large-Scale Study of Usability Criteria Addressed by Static Analysis Tools},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {547-546},
doi = {10.1145/3533767.3534374},
year = {2022},
}
Publisher's Version
Archive submitted (36 kB)
Article: issta22main-p71-p doi:10.1145/3533767.3534374
|
| |
Bodea, Alexandru |
ISSTA '22: "Pytest-Smell: A Smell Detection ..."
Pytest-Smell: A Smell Detection Tool for Python Unit Tests
Alexandru Bodea
(Babeș-Bolyai University, Romania)
@InProceedings{ISSTA22p822,
author = {Alexandru Bodea},
title = {Pytest-Smell: A Smell Detection Tool for Python Unit Tests},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {822-821},
doi = {10.1145/3533767.3543290},
year = {2022},
}
Publisher's Version
Article: issta22demo-p23-p doi:10.1145/3533767.3543290
|
| |
Böhme, Marcel |
ISSTA '22: "Human-in-the-Loop Oracle Learning ..."
Human-in-the-Loop Oracle Learning for Semantic Bugs in String Processing Programs
Charaka Geethal Kapugama, Van-Thuan Pham, Aldeida Aleti, and Marcel Böhme
(Monash University, Australia; University of Melbourne, Australia; MPI-SP, Germany)
@InProceedings{ISSTA22p222,
author = {Charaka Geethal Kapugama and Van-Thuan Pham and Aldeida Aleti and Marcel Böhme},
title = {Human-in-the-Loop Oracle Learning for Semantic Bugs in String Processing Programs},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {222-221},
doi = {10.1145/3533767.3534406},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: issta22main-p481-p doi:10.1145/3533767.3534406
|
| |
Brauße, Franz |
ISSTA '22: "ESBMC-CHERI: Towards Verification ..."
ESBMC-CHERI: Towards Verification of C Programs for CHERI Platforms with ESBMC
Franz Brauße, Fedor Shmarov, Rafael Menezes, Mikhail R. Gadelha, Konstantin Korovin, Giles Reger, and Lucas C. Cordeiro
(University of Manchester, UK; Igalia, Brazil)
@InProceedings{ISSTA22p802,
author = {Franz Brauße and Fedor Shmarov and Rafael Menezes and Mikhail R. Gadelha and Konstantin Korovin and Giles Reger and Lucas C. Cordeiro},
title = {ESBMC-CHERI: Towards Verification of C Programs for CHERI Platforms with ESBMC},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {802-801},
doi = {10.1145/3533767.3543289},
year = {2022},
}
Publisher's Version
Article: issta22demo-p21-p doi:10.1145/3533767.3543289
|
| |
Briand, Lionel C. |
ISSTA '22: "ATUA: An Update-Driven App ..."
ATUA: An Update-Driven App Testing Tool
Chanh-Duc Ngo, Fabrizio Pastore, and Lionel C. Briand
(University of Luxembourg, Luxembourg; University of Ottawa, Canada)
@InProceedings{ISSTA22p794,
author = {Chanh-Duc Ngo and Fabrizio Pastore and Lionel C. Briand},
title = {ATUA: An Update-Driven App Testing Tool},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {794-793},
doi = {10.1145/3533767.3543293},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: issta22demo-p60-p doi:10.1145/3533767.3543293
|
| |
Brida, Simón Gutiérrez |
ISSTA '22: "ATR: Template-Based Repair ..."
ATR: Template-Based Repair for Alloy Specifications
Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Nazareno Aguirre, Marcelo F. Frias, and Hamid Bagheri
(University of Nebraska-Lincoln, USA; George Mason University, USA; University of Rio Cuarto, Argentina; CONICET, Argentina; Buenos Aires Institute of Technology, Argentina)
@InProceedings{ISSTA22p690,
author = {Guolong Zheng and ThanhVu Nguyen and Simón Gutiérrez Brida and Germán Regis and Nazareno Aguirre and Marcelo F. Frias and Hamid Bagheri},
title = {ATR: Template-Based Repair for Alloy Specifications},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {690-689},
doi = {10.1145/3533767.3534369},
year = {2022},
}
Publisher's Version
Article: issta22main-p25-p doi:10.1145/3533767.3534369
|
| |
Bui, Quang-Cuong |
ISSTA '22: "Maestro: A Platform for Benchmarking ..."
Maestro: A Platform for Benchmarking Automatic Program Repair Tools on Software Vulnerabilities
Eduard Pinconschi, Quang-Cuong Bui, Rui Abreu, Pedro Adão, and Riccardo Scandariato
(INESC-ID, Portugal; University of Porto, Portugal; Hamburg University of Technology, Germany; IST-ULisboa, Portugal; Instituto de Telecomunicações, Portugal)
@InProceedings{ISSTA22p818,
author = {Eduard Pinconschi and Quang-Cuong Bui and Rui Abreu and Pedro Adão and Riccardo Scandariato},
title = {Maestro: A Platform for Benchmarking Automatic Program Repair Tools on Software Vulnerabilities},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {818-817},
doi = {10.1145/3533767.3543291},
year = {2022},
}
Publisher's Version
Article: issta22demo-p26-p doi:10.1145/3533767.3543291
|
| |
Busse, Frank |
ISSTA '22: "Combining Static Analysis ..."
Combining Static Analysis Error Traces with Dynamic Symbolic Execution (Experience Paper)
Frank Busse, Pritam Gharat, Cristian Cadar, and Alastair F. Donaldson
(Imperial College London, UK)
@InProceedings{ISSTA22p586,
author = {Frank Busse and Pritam Gharat and Cristian Cadar and Alastair F. Donaldson},
title = {Combining Static Analysis Error Traces with Dynamic Symbolic Execution (Experience Paper)},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {586-585},
doi = {10.1145/3533767.3534384},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: issta22main-p132-p doi:10.1145/3533767.3534384
|
| |
Cadar, Cristian
|
ISSTA '22: "SnapFuzz: High-Throughput ..."
SnapFuzz: High-Throughput Fuzzing of Network Applications
Anastasios Andronidis and Cristian Cadar
(Imperial College London, UK)
@InProceedings{ISSTA22p352,
author = {Anastasios Andronidis and Cristian Cadar},
title = {SnapFuzz: High-Throughput Fuzzing of Network Applications},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {352-351},
doi = {10.1145/3533767.3534376},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: issta22main-p88-p doi:10.1145/3533767.3534376
ISSTA '22: "Combining Static Analysis ..."
Combining Static Analysis Error Traces with Dynamic Symbolic Execution (Experience Paper)
Frank Busse, Pritam Gharat, Cristian Cadar, and Alastair F. Donaldson
(Imperial College London, UK)
@InProceedings{ISSTA22p586,
author = {Frank Busse and Pritam Gharat and Cristian Cadar and Alastair F. Donaldson},
title = {Combining Static Analysis Error Traces with Dynamic Symbolic Execution (Experience Paper)},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {586-585},
doi = {10.1145/3533767.3534384},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: issta22main-p132-p doi:10.1145/3533767.3534384
|
| |
Cai, Haipeng |
ISSTA '22: "Automatically Detecting API-Induced ..."
Automatically Detecting API-Induced Compatibility Issues in Android Apps: A Comparative Analysis (Replicability Study)
Pei Liu, Yanjie Zhao, Haipeng Cai, Mattia Fazzini, John Grundy, and Li Li
(Monash University, Australia; Washington State University, USA; University of Minnesota, USA)
@InProceedings{ISSTA22p638,
author = {Pei Liu and Yanjie Zhao and Haipeng Cai and Mattia Fazzini and John Grundy and Li Li},
title = {Automatically Detecting API-Induced Compatibility Issues in Android Apps: A Comparative Analysis (Replicability Study)},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {638-637},
doi = {10.1145/3533767.3534407},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: issta22main-p486-p doi:10.1145/3533767.3534407
ISSTA '22: "NCScope: Hardware-Assisted ..."
NCScope: Hardware-Assisted Analyzer for Native Code in Android Apps
Hao Zhou, Shuohan Wu, Xiapu Luo, Ting Wang, Yajin Zhou, Chao Zhang, and Haipeng Cai
(Hong Kong Polytechnic University, China; Pennsylvania State University, USA; Zhejiang University, China; Tsinghua University, China; Beijing National Research Center for Information Science and Technology, China; Washington State University, USA)
@InProceedings{ISSTA22p651,
author = {Hao Zhou and Shuohan Wu and Xiapu Luo and Ting Wang and Yajin Zhou and Chao Zhang and Haipeng Cai},
title = {NCScope: Hardware-Assisted Analyzer for Native Code in Android Apps},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {651-650},
doi = {10.1145/3533767.3534410},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: issta22main-p552-p doi:10.1145/3533767.3534410
ISSTA '22: "WASAI: Uncovering Vulnerabilities ..."
WASAI: Uncovering Vulnerabilities in Wasm Smart Contracts
Weimin Chen, Zihan Sun, Haoyu Wang, Xiapu Luo, Haipeng Cai, and Lei Wu
(Hong Kong Polytechnic University, China; Beijing University of Posts and Telecommunications, China; Huazhong University of Science and Technology, China; Washington State University, USA; Zhejiang University, China)
@InProceedings{ISSTA22p729,
author = {Weimin Chen and Zihan Sun and Haoyu Wang and Xiapu Luo and Haipeng Cai and Lei Wu},
title = {WASAI: Uncovering Vulnerabilities in Wasm Smart Contracts},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {729-728},
doi = {10.1145/3533767.3534218},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: issta22main-p27-p doi:10.1145/3533767.3534218
|
| |
Campos, José |
ISSTA '22: "QMutPy: A Mutation Testing ..."
QMutPy: A Mutation Testing Tool for Quantum Algorithms and Applications in Qiskit
Daniel Fortunato, José Campos, and Rui Abreu
(University of Porto, Portugal; INESC-ID, Portugal; LASIGE, Portugal)
@InProceedings{ISSTA22p826,
author = {Daniel Fortunato and José Campos and Rui Abreu},
title = {QMutPy: A Mutation Testing Tool for Quantum Algorithms and Applications in Qiskit},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {826-825},
doi = {10.1145/3533767.3543296},
year = {2022},
}
Publisher's Version
Article: issta22demo-p84-p doi:10.1145/3533767.3543296
|
| |
Cannavacciuolo, Cecilio |
ISSTA '22: "Automatic Generation of Smoke ..."
Automatic Generation of Smoke Test Suites for Kubernetes
Cecilio Cannavacciuolo and Leonardo Mariani
(Anoki, Italy; University of Milano-Bicocca, Italy)
@InProceedings{ISSTA22p798,
author = {Cecilio Cannavacciuolo and Leonardo Mariani},
title = {Automatic Generation of Smoke Test Suites for Kubernetes},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {798-797},
doi = {10.1145/3533767.3543298},
year = {2022},
}
Publisher's Version
Article: issta22demo-p96-p doi:10.1145/3533767.3543298
|
| |
Cavalcante, Helena |
ISSTA '22: "ESBMC-Jimple: Verifying Kotlin ..."
ESBMC-Jimple: Verifying Kotlin Programs via Jimple Intermediate Representation
Rafael Menezes, Daniel Moura, Helena Cavalcante, Rosiane de Freitas, and Lucas C. Cordeiro
(University of Manchester, UK; Federal University of Amazonas, Brazil)
@InProceedings{ISSTA22p806,
author = {Rafael Menezes and Daniel Moura and Helena Cavalcante and Rosiane de Freitas and Lucas C. Cordeiro},
title = {ESBMC-Jimple: Verifying Kotlin Programs via Jimple Intermediate Representation},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {806-805},
doi = {10.1145/3533767.3543294},
year = {2022},
}
Publisher's Version
Article: issta22demo-p68-p doi:10.1145/3533767.3543294
|
| |
Chen, Muxi |
ISSTA '22: "HybridRepair: Towards Annotation-Efficient ..."
HybridRepair: Towards Annotation-Efficient Repair for Deep Learning Models
Yu Li, Muxi Chen, and Qiang Xu
(Chinese University of Hong Kong, China)
@InProceedings{ISSTA22p235,
author = {Yu Li and Muxi Chen and Qiang Xu},
title = {HybridRepair: Towards Annotation-Efficient Repair for Deep Learning Models},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {235-234},
doi = {10.1145/3533767.3534408},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: issta22main-p498-p doi:10.1145/3533767.3534408
|
| |
Chen, Rui |
ISSTA '22: "SpecChecker-ISA: A Data Sharing ..."
SpecChecker-ISA: A Data Sharing Analyzer for Interrupt-Driven Embedded Software
Boxiang Wang, Rui Chen, Chao Li, Tingting Yu, Dongdong Gao, and Mengfei Yang
(Xidian University, China; Beijing Sunwise Information Technology, China; Beijing Institute of Control Engineering, China; China Academy of Space Technology, China)
@InProceedings{ISSTA22p830,
author = {Boxiang Wang and Rui Chen and Chao Li and Tingting Yu and Dongdong Gao and Mengfei Yang},
title = {SpecChecker-ISA: A Data Sharing Analyzer for Interrupt-Driven Embedded Software},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {830-829},
doi = {10.1145/3533767.3543295},
year = {2022},
}
Publisher's Version
Article: issta22demo-p78-p doi:10.1145/3533767.3543295
ISSTA '22: "Precise and Efficient Atomicity ..."
Precise and Efficient Atomicity Violation Detection for Interrupt-Driven Programs via Staged Path Pruning
Chao Li, Rui Chen, Boxiang Wang, Tingting Yu, Dongdong Gao, and Mengfei Yang
(Beijing Institute of Control Engineering, China; Beijing Sunwise Information Technology, China; Xidian University, China; China Academy of Space Technology, China)
@InProceedings{ISSTA22p521,
author = {Chao Li and Rui Chen and Boxiang Wang and Tingting Yu and Dongdong Gao and Mengfei Yang},
title = {Precise and Efficient Atomicity Violation Detection for Interrupt-Driven Programs via Staged Path Pruning},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {521-520},
doi = {10.1145/3533767.3534412},
year = {2022},
}
Publisher's Version
Article: issta22main-p645-p doi:10.1145/3533767.3534412
|
| |
Chen, Wei |
ISSTA '22: "Understanding Device Integration ..."
Understanding Device Integration Bugs in Smart Home System
Tao Wang, Kangkang Zhang, Wei Chen, Wensheng Dou, Jiaxin Zhu, Jun Wei, and Tao Huang
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Nanjing Institute of Software Technology, China)
@InProceedings{ISSTA22p443,
author = {Tao Wang and Kangkang Zhang and Wei Chen and Wensheng Dou and Jiaxin Zhu and Jun Wei and Tao Huang},
title = {Understanding Device Integration Bugs in Smart Home System},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {443-442},
doi = {10.1145/3533767.3534365},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: issta22main-p2-p doi:10.1145/3533767.3534365
|
| |
Chen, Weimin |
ISSTA '22: "WASAI: Uncovering Vulnerabilities ..."
WASAI: Uncovering Vulnerabilities in Wasm Smart Contracts
Weimin Chen, Zihan Sun, Haoyu Wang, Xiapu Luo, Haipeng Cai, and Lei Wu
(Hong Kong Polytechnic University, China; Beijing University of Posts and Telecommunications, China; Huazhong University of Science and Technology, China; Washington State University, USA; Zhejiang University, China)
@InProceedings{ISSTA22p729,
author = {Weimin Chen and Zihan Sun and Haoyu Wang and Xiapu Luo and Haipeng Cai and Lei Wu},
title = {WASAI: Uncovering Vulnerabilities in Wasm Smart Contracts},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {729-728},
doi = {10.1145/3533767.3534218},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: issta22main-p27-p doi:10.1145/3533767.3534218
|
| |
Chen, Xiao |
ISSTA '22: "SmartDagger: A Bytecode-Based ..."
SmartDagger: A Bytecode-Based Static Analysis Approach for Detecting Cross-Contract Vulnerability
Zeqin Liao, Zibin Zheng, Xiao Chen, and Yuhong Nan
(Sun Yat-sen University, China)
@InProceedings{ISSTA22p781,
author = {Zeqin Liao and Zibin Zheng and Xiao Chen and Yuhong Nan},
title = {SmartDagger: A Bytecode-Based Static Analysis Approach for Detecting Cross-Contract Vulnerability},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {781-780},
doi = {10.1145/3533767.3534222},
year = {2022},
}
Publisher's Version
Article: issta22main-p283-p doi:10.1145/3533767.3534222
|
| |
Chen, Zhenyu |
ISSTA '22: "UniRLTest: Universal Platform-Independent ..."
UniRLTest: Universal Platform-Independent Testing with Reinforcement Learning via Image Understanding
Ziqian Zhang, Yulei Liu, Shengcheng Yu, Xin Li, Yexiao Yun, Chunrong Fang, and Zhenyu Chen
(Nanjing University, China)
@InProceedings{ISSTA22p834,
author = {Ziqian Zhang and Yulei Liu and Shengcheng Yu and Xin Li and Yexiao Yun and Chunrong Fang and Zhenyu Chen},
title = {UniRLTest: Universal Platform-Independent Testing with Reinforcement Learning via Image Understanding},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {834-833},
doi = {10.1145/3533767.3543292},
year = {2022},
}
Publisher's Version
Article: issta22demo-p40-p doi:10.1145/3533767.3543292
ISSTA '22: "ASRTest: Automated Testing ..."
ASRTest: Automated Testing for Deep-Neural-Network-Driven Speech Recognition Systems
Pin Ji, Yang Feng, Jia Liu, Zhihong Zhao, and Zhenyu Chen
(Nanjing University, China)
@InProceedings{ISSTA22p196,
author = {Pin Ji and Yang Feng and Jia Liu and Zhihong Zhao and Zhenyu Chen},
title = {ASRTest: Automated Testing for Deep-Neural-Network-Driven Speech Recognition Systems},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {196-195},
doi = {10.1145/3533767.3534391},
year = {2022},
}
Publisher's Version
Article: issta22main-p231-p doi:10.1145/3533767.3534391
ISSTA '22: "LiRTest: Augmenting LiDAR ..."
LiRTest: Augmenting LiDAR Point Clouds for Automated Testing of Autonomous Driving Systems
An Guo, Yang Feng, and Zhenyu Chen
(Nanjing University, China)
@InProceedings{ISSTA22p495,
author = {An Guo and Yang Feng and Zhenyu Chen},
title = {LiRTest: Augmenting LiDAR Point Clouds for Automated Testing of Autonomous Driving Systems},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {495-494},
doi = {10.1145/3533767.3534397},
year = {2022},
}
Publisher's Version
Article: issta22main-p302-p doi:10.1145/3533767.3534397
|
| |
Cheng, Xiao |
ISSTA '22: "Path-Sensitive Code Embedding ..."
Path-Sensitive Code Embedding via Contrastive Learning for Software Vulnerability Detection
Xiao Cheng, Guanqin Zhang, Haoyu Wang, and Yulei Sui
(University of Technology Sydney, Australia; Huazhong University of Science and Technology, China)
@InProceedings{ISSTA22p534,
author = {Xiao Cheng and Guanqin Zhang and Haoyu Wang and Yulei Sui},
title = {Path-Sensitive Code Embedding via Contrastive Learning for Software Vulnerability Detection},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {534-533},
doi = {10.1145/3533767.3534371},
year = {2022},
}
Publisher's Version
Article: issta22main-p51-p doi:10.1145/3533767.3534371
|
| |
Christakis, Maria |
ISSTA '22: "Metamorphic Relations via ..."
Metamorphic Relations via Relaxations: An Approach to Obtain Oracles for Action-Policy Testing
Hasan Ferit Eniser, Timo P. Gros, Valentin Wüstholz, Jörg Hoffmann, and Maria Christakis
(MPI-SWS, Germany; Saarland University, Germany; ConsenSys, Germany; DFKI, Germany)
@InProceedings{ISSTA22p53,
author = {Hasan Ferit Eniser and Timo P. Gros and Valentin Wüstholz and Jörg Hoffmann and Maria Christakis},
title = {Metamorphic Relations via Relaxations: An Approach to Obtain Oracles for Action-Policy Testing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {53-52},
doi = {10.1145/3533767.3534392},
year = {2022},
}
Publisher's Version
Article: issta22main-p239-p doi:10.1145/3533767.3534392
|
| |
Cordeiro, Lucas C. |
ISSTA '22: "ESBMC-CHERI: Towards Verification ..."
ESBMC-CHERI: Towards Verification of C Programs for CHERI Platforms with ESBMC
Franz Brauße, Fedor Shmarov, Rafael Menezes, Mikhail R. Gadelha, Konstantin Korovin, Giles Reger, and Lucas C. Cordeiro
(University of Manchester, UK; Igalia, Brazil)
@InProceedings{ISSTA22p802,
author = {Franz Brauße and Fedor Shmarov and Rafael Menezes and Mikhail R. Gadelha and Konstantin Korovin and Giles Reger and Lucas C. Cordeiro},
title = {ESBMC-CHERI: Towards Verification of C Programs for CHERI Platforms with ESBMC},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {802-801},
doi = {10.1145/3533767.3543289},
year = {2022},
}
Publisher's Version
Article: issta22demo-p21-p doi:10.1145/3533767.3543289
ISSTA '22: "ESBMC-Jimple: Verifying Kotlin ..."
ESBMC-Jimple: Verifying Kotlin Programs via Jimple Intermediate Representation
Rafael Menezes, Daniel Moura, Helena Cavalcante, Rosiane de Freitas, and Lucas C. Cordeiro
(University of Manchester, UK; Federal University of Amazonas, Brazil)
@InProceedings{ISSTA22p806,
author = {Rafael Menezes and Daniel Moura and Helena Cavalcante and Rosiane de Freitas and Lucas C. Cordeiro},
title = {ESBMC-Jimple: Verifying Kotlin Programs via Jimple Intermediate Representation},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {806-805},
doi = {10.1145/3533767.3543294},
year = {2022},
}
Publisher's Version
Article: issta22demo-p68-p doi:10.1145/3533767.3543294
|
| |
De Freitas, Rosiane
|
ISSTA '22: "ESBMC-Jimple: Verifying Kotlin ..."
ESBMC-Jimple: Verifying Kotlin Programs via Jimple Intermediate Representation
Rafael Menezes, Daniel Moura, Helena Cavalcante, Rosiane de Freitas, and Lucas C. Cordeiro
(University of Manchester, UK; Federal University of Amazonas, Brazil)
@InProceedings{ISSTA22p806,
author = {Rafael Menezes and Daniel Moura and Helena Cavalcante and Rosiane de Freitas and Lucas C. Cordeiro},
title = {ESBMC-Jimple: Verifying Kotlin Programs via Jimple Intermediate Representation},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {806-805},
doi = {10.1145/3533767.3543294},
year = {2022},
}
Publisher's Version
Article: issta22demo-p68-p doi:10.1145/3533767.3543294
|
| |
DeOrio, Andrew |
ISSTA '22: "On the Use of Mutation Analysis ..."
On the Use of Mutation Analysis for Evaluating Student Test Suite Quality
James Perretta, Andrew DeOrio, Arjun Guha, and Jonathan Bell
(Northeastern University, USA; University of Michigan, USA)
@InProceedings{ISSTA22p274,
author = {James Perretta and Andrew DeOrio and Arjun Guha and Jonathan Bell},
title = {On the Use of Mutation Analysis for Evaluating Student Test Suite Quality},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {274-273},
doi = {10.1145/3533767.3534217},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: issta22main-p23-p doi:10.1145/3533767.3534217
|
| |
Dolby, Julian |
ISSTA '22: "The Raise of Machine Learning ..."
The Raise of Machine Learning Hyperparameter Constraints in Python Code
Ingkarat Rak-amnouykit, Ana Milanova, Guillaume Baudart, Martin Hirzel, and Julian Dolby
(Rensselaer Polytechnic Institute, USA; Inria, France; ENS-PSL University, France; IBM Research, USA)
@InProceedings{ISSTA22p599,
author = {Ingkarat Rak-amnouykit and Ana Milanova and Guillaume Baudart and Martin Hirzel and Julian Dolby},
title = {The Raise of Machine Learning Hyperparameter Constraints in Python Code},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {599-598},
doi = {10.1145/3533767.3534400},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: issta22main-p336-p doi:10.1145/3533767.3534400
|
| |
Donaldson, Alastair F. |
ISSTA '22: "Combining Static Analysis ..."
Combining Static Analysis Error Traces with Dynamic Symbolic Execution (Experience Paper)
Frank Busse, Pritam Gharat, Cristian Cadar, and Alastair F. Donaldson
(Imperial College London, UK)
@InProceedings{ISSTA22p586,
author = {Frank Busse and Pritam Gharat and Cristian Cadar and Alastair F. Donaldson},
title = {Combining Static Analysis Error Traces with Dynamic Symbolic Execution (Experience Paper)},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {586-585},
doi = {10.1145/3533767.3534384},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: issta22main-p132-p doi:10.1145/3533767.3534384
|
| |
Dong, Jin Song |
ISSTA '22: "RegMiner: Towards Constructing ..."
RegMiner: Towards Constructing a Large Regression Dataset from Code Evolution History
Xuezhi Song, Yun Lin, Siang Hwee Ng, Yijian Wu, Xin Peng, Jin Song Dong, and Hong Mei
(Fudan University, China; Shanghai Jiao Tong University, China; National University of Singapore, Singapore; Peking University, China)
@InProceedings{ISSTA22p326,
author = {Xuezhi Song and Yun Lin and Siang Hwee Ng and Yijian Wu and Xin Peng and Jin Song Dong and Hong Mei},
title = {RegMiner: Towards Constructing a Large Regression Dataset from Code Evolution History},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {326-325},
doi = {10.1145/3533767.3534224},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: issta22main-p553-p doi:10.1145/3533767.3534224
|
| |
Dong, Zhen |
ISSTA '22: "iFixDataloss: A Tool for Detecting ..."
iFixDataloss: A Tool for Detecting and Fixing Data Loss Issues in Android Apps
Wunan Guo, Zhen Dong, Liwei Shen, Wei Tian, Ting Su, and Xin Peng
(Fudan University, China; East China Normal University, China)
@InProceedings{ISSTA22p814,
author = {Wunan Guo and Zhen Dong and Liwei Shen and Wei Tian and Ting Su and Xin Peng},
title = {iFixDataloss: A Tool for Detecting and Fixing Data Loss Issues in Android Apps},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {814-813},
doi = {10.1145/3533767.3543297},
year = {2022},
}
Publisher's Version
Article: issta22demo-p93-p doi:10.1145/3533767.3543297
ISSTA '22: "Detecting and Fixing Data ..."
Detecting and Fixing Data Loss Issues in Android Apps
Wunan Guo, Zhen Dong, Liwei Shen, Wei Tian, Ting Su, and Xin Peng
(Fudan University, China; East China Normal University, China)
@InProceedings{ISSTA22p625,
author = {Wunan Guo and Zhen Dong and Liwei Shen and Wei Tian and Ting Su and Xin Peng},
title = {Detecting and Fixing Data Loss Issues in Android Apps},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {625-624},
doi = {10.1145/3533767.3534402},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Article: issta22main-p430-p doi:10.1145/3533767.3534402
|
| |
Dou, Wensheng |
ISSTA '22: "Finding Bugs in Gremlin-Based ..."
Finding Bugs in Gremlin-Based Graph Database Systems via Randomized Differential Testing
Yingying Zheng, Wensheng Dou, Yicheng Wang, Zheng Qin, Lei Tang, Yu Gao, Dong Wang, Wei Wang, and Jun Wei
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China)
@InProceedings{ISSTA22p313,
author = {Yingying Zheng and Wensheng Dou and Yicheng Wang and Zheng Qin and Lei Tang and Yu Gao and Dong Wang and Wei Wang and Jun Wei},
title = {Finding Bugs in Gremlin-Based Graph Database Systems via Randomized Differential Testing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {313-312},
doi = {10.1145/3533767.3534409},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Article: issta22main-p513-p doi:10.1145/3533767.3534409
ISSTA '22: "Understanding Device Integration ..."
Understanding Device Integration Bugs in Smart Home System
Tao Wang, Kangkang Zhang, Wei Chen, Wensheng Dou, Jiaxin Zhu, Jun Wei, and Tao Huang
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Nanjing Institute of Software Technology, China)
@InProceedings{ISSTA22p443,
author = {Tao Wang and Kangkang Zhang and Wei Chen and Wensheng Dou and Jiaxin Zhu and Jun Wei and Tao Huang},
title = {Understanding Device Integration Bugs in Smart Home System},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {443-442},
doi = {10.1145/3533767.3534365},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: issta22main-p2-p doi:10.1145/3533767.3534365
|
| |
Duck, Gregory J. |
ISSTA '22: "Program Vulnerability Repair ..."
Program Vulnerability Repair via Inductive Inference
Yuntong Zhang, Xiang Gao, Gregory J. Duck, and Abhik Roychoudhury
(National University of Singapore, Singapore; Beihang University, China)
@InProceedings{ISSTA22p716,
author = {Yuntong Zhang and Xiang Gao and Gregory J. Duck and Abhik Roychoudhury},
title = {Program Vulnerability Repair via Inductive Inference},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {716-715},
doi = {10.1145/3533767.3534387},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Article: issta22main-p179-p doi:10.1145/3533767.3534387
|
| |
Eniser, Hasan Ferit
|
ISSTA '22: "Metamorphic Relations via ..."
Metamorphic Relations via Relaxations: An Approach to Obtain Oracles for Action-Policy Testing
Hasan Ferit Eniser, Timo P. Gros, Valentin Wüstholz, Jörg Hoffmann, and Maria Christakis
(MPI-SWS, Germany; Saarland University, Germany; ConsenSys, Germany; DFKI, Germany)
@InProceedings{ISSTA22p53,
author = {Hasan Ferit Eniser and Timo P. Gros and Valentin Wüstholz and Jörg Hoffmann and Maria Christakis},
title = {Metamorphic Relations via Relaxations: An Approach to Obtain Oracles for Action-Policy Testing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {53-52},
doi = {10.1145/3533767.3534392},
year = {2022},
}
Publisher's Version
Article: issta22main-p239-p doi:10.1145/3533767.3534392
|
| |
Fan, Ming
|
ISSTA '22: "One Step Further: Evaluating ..."
One Step Further: Evaluating Interpreters using Metamorphic Testing
Ming Fan, Jiali Wei, Wuxia Jin, Zhou Xu, Wenying Wei, and Ting Liu
(Xi'an Jiaotong University, China; Chongqing University, China)
@InProceedings{ISSTA22p339,
author = {Ming Fan and Jiali Wei and Wuxia Jin and Zhou Xu and Wenying Wei and Ting Liu},
title = {One Step Further: Evaluating Interpreters using Metamorphic Testing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {339-338},
doi = {10.1145/3533767.3534225},
year = {2022},
}
Publisher's Version
Article: issta22main-p612-p doi:10.1145/3533767.3534225
|
| |
Fang, Chunrong |
ISSTA '22: "UniRLTest: Universal Platform-Independent ..."
UniRLTest: Universal Platform-Independent Testing with Reinforcement Learning via Image Understanding
Ziqian Zhang, Yulei Liu, Shengcheng Yu, Xin Li, Yexiao Yun, Chunrong Fang, and Zhenyu Chen
(Nanjing University, China)
@InProceedings{ISSTA22p834,
author = {Ziqian Zhang and Yulei Liu and Shengcheng Yu and Xin Li and Yexiao Yun and Chunrong Fang and Zhenyu Chen},
title = {UniRLTest: Universal Platform-Independent Testing with Reinforcement Learning via Image Understanding},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {834-833},
doi = {10.1145/3533767.3543292},
year = {2022},
}
Publisher's Version
Article: issta22demo-p40-p doi:10.1145/3533767.3543292
ISSTA '22: "CIRCLE: Continual Repair across ..."
CIRCLE: Continual Repair across Programming Languages
Wei Yuan, Quanjun Zhang, Tieke He, Chunrong Fang, Nguyen Quoc Viet Hung, Xiaodong Hao, and Hongzhi Yin
(University of Queensland, Australia; Nanjing University, China; Griffith University, Australia)
@InProceedings{ISSTA22p703,
author = {Wei Yuan and Quanjun Zhang and Tieke He and Chunrong Fang and Nguyen Quoc Viet Hung and Xiaodong Hao and Hongzhi Yin},
title = {CIRCLE: Continual Repair across Programming Languages},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {703-702},
doi = {10.1145/3533767.3534219},
year = {2022},
}
Publisher's Version
Article: issta22main-p107-p doi:10.1145/3533767.3534219
|
| |
Fazzini, Mattia |
ISSTA '22: "Automatically Detecting API-Induced ..."
Automatically Detecting API-Induced Compatibility Issues in Android Apps: A Comparative Analysis (Replicability Study)
Pei Liu, Yanjie Zhao, Haipeng Cai, Mattia Fazzini, John Grundy, and Li Li
(Monash University, Australia; Washington State University, USA; University of Minnesota, USA)
@InProceedings{ISSTA22p638,
author = {Pei Liu and Yanjie Zhao and Haipeng Cai and Mattia Fazzini and John Grundy and Li Li},
title = {Automatically Detecting API-Induced Compatibility Issues in Android Apps: A Comparative Analysis (Replicability Study)},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {638-637},
doi = {10.1145/3533767.3534407},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: issta22main-p486-p doi:10.1145/3533767.3534407
|
| |
Feng, Yang |
ISSTA '22: "ASRTest: Automated Testing ..."
ASRTest: Automated Testing for Deep-Neural-Network-Driven Speech Recognition Systems
Pin Ji, Yang Feng, Jia Liu, Zhihong Zhao, and Zhenyu Chen
(Nanjing University, China)
@InProceedings{ISSTA22p196,
author = {Pin Ji and Yang Feng and Jia Liu and Zhihong Zhao and Zhenyu Chen},
title = {ASRTest: Automated Testing for Deep-Neural-Network-Driven Speech Recognition Systems},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {196-195},
doi = {10.1145/3533767.3534391},
year = {2022},
}
Publisher's Version
Article: issta22main-p231-p doi:10.1145/3533767.3534391
ISSTA '22: "LiRTest: Augmenting LiDAR ..."
LiRTest: Augmenting LiDAR Point Clouds for Automated Testing of Autonomous Driving Systems
An Guo, Yang Feng, and Zhenyu Chen
(Nanjing University, China)
@InProceedings{ISSTA22p495,
author = {An Guo and Yang Feng and Zhenyu Chen},
title = {LiRTest: Augmenting LiDAR Point Clouds for Automated Testing of Autonomous Driving Systems},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {495-494},
doi = {10.1145/3533767.3534397},
year = {2022},
}
Publisher's Version
Article: issta22main-p302-p doi:10.1145/3533767.3534397
|
| |
Fortunato, Daniel |
ISSTA '22: "QMutPy: A Mutation Testing ..."
QMutPy: A Mutation Testing Tool for Quantum Algorithms and Applications in Qiskit
Daniel Fortunato, José Campos, and Rui Abreu
(University of Porto, Portugal; INESC-ID, Portugal; LASIGE, Portugal)
@InProceedings{ISSTA22p826,
author = {Daniel Fortunato and José Campos and Rui Abreu},
title = {QMutPy: A Mutation Testing Tool for Quantum Algorithms and Applications in Qiskit},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {826-825},
doi = {10.1145/3533767.3543296},
year = {2022},
}
Publisher's Version
Article: issta22demo-p84-p doi:10.1145/3533767.3543296
|
| |
Franz, Michael |
ISSTA '22: "Improving Cross-Platform Binary ..."
Improving Cross-Platform Binary Analysis using Representation Learning via Graph Alignment
Geunwoo Kim, Sanghyun Hong, Michael Franz, and Dokyung Song
(University of California at Irvine, USA; Oregon State University, USA; Yonsei University, South Korea)
@InProceedings{ISSTA22p157,
author = {Geunwoo Kim and Sanghyun Hong and Michael Franz and Dokyung Song},
title = {Improving Cross-Platform Binary Analysis using Representation Learning via Graph Alignment},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {157-156},
doi = {10.1145/3533767.3534383},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Article: issta22main-p130-p doi:10.1145/3533767.3534383
|
| |
Frias, Marcelo F. |
ISSTA '22: "ATR: Template-Based Repair ..."
ATR: Template-Based Repair for Alloy Specifications
Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Nazareno Aguirre, Marcelo F. Frias, and Hamid Bagheri
(University of Nebraska-Lincoln, USA; George Mason University, USA; University of Rio Cuarto, Argentina; CONICET, Argentina; Buenos Aires Institute of Technology, Argentina)
@InProceedings{ISSTA22p690,
author = {Guolong Zheng and ThanhVu Nguyen and Simón Gutiérrez Brida and Germán Regis and Nazareno Aguirre and Marcelo F. Frias and Hamid Bagheri},
title = {ATR: Template-Based Repair for Alloy Specifications},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {690-689},
doi = {10.1145/3533767.3534369},
year = {2022},
}
Publisher's Version
Article: issta22main-p25-p doi:10.1145/3533767.3534369
|
| |
Gadelha, Mikhail R.
|
ISSTA '22: "ESBMC-CHERI: Towards Verification ..."
ESBMC-CHERI: Towards Verification of C Programs for CHERI Platforms with ESBMC
Franz Brauße, Fedor Shmarov, Rafael Menezes, Mikhail R. Gadelha, Konstantin Korovin, Giles Reger, and Lucas C. Cordeiro
(University of Manchester, UK; Igalia, Brazil)
@InProceedings{ISSTA22p802,
author = {Franz Brauße and Fedor Shmarov and Rafael Menezes and Mikhail R. Gadelha and Konstantin Korovin and Giles Reger and Lucas C. Cordeiro},
title = {ESBMC-CHERI: Towards Verification of C Programs for CHERI Platforms with ESBMC},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {802-801},
doi = {10.1145/3533767.3543289},
year = {2022},
}
Publisher's Version
Article: issta22demo-p21-p doi:10.1145/3533767.3543289
|
| |
Gao, Dongdong |
ISSTA '22: "SpecChecker-ISA: A Data Sharing ..."
SpecChecker-ISA: A Data Sharing Analyzer for Interrupt-Driven Embedded Software
Boxiang Wang, Rui Chen, Chao Li, Tingting Yu, Dongdong Gao, and Mengfei Yang
(Xidian University, China; Beijing Sunwise Information Technology, China; Beijing Institute of Control Engineering, China; China Academy of Space Technology, China)
@InProceedings{ISSTA22p830,
author = {Boxiang Wang and Rui Chen and Chao Li and Tingting Yu and Dongdong Gao and Mengfei Yang},
title = {SpecChecker-ISA: A Data Sharing Analyzer for Interrupt-Driven Embedded Software},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {830-829},
doi = {10.1145/3533767.3543295},
year = {2022},
}
Publisher's Version
Article: issta22demo-p78-p doi:10.1145/3533767.3543295
ISSTA '22: "Precise and Efficient Atomicity ..."
Precise and Efficient Atomicity Violation Detection for Interrupt-Driven Programs via Staged Path Pruning
Chao Li, Rui Chen, Boxiang Wang, Tingting Yu, Dongdong Gao, and Mengfei Yang
(Beijing Institute of Control Engineering, China; Beijing Sunwise Information Technology, China; Xidian University, China; China Academy of Space Technology, China)
@InProceedings{ISSTA22p521,
author = {Chao Li and Rui Chen and Boxiang Wang and Tingting Yu and Dongdong Gao and Mengfei Yang},
title = {Precise and Efficient Atomicity Violation Detection for Interrupt-Driven Programs via Staged Path Pruning},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {521-520},
doi = {10.1145/3533767.3534412},
year = {2022},
}
Publisher's Version
Article: issta22main-p645-p doi:10.1145/3533767.3534412
|
| |
Gao, Xiang |
ISSTA '22: "Program Vulnerability Repair ..."
Program Vulnerability Repair via Inductive Inference
Yuntong Zhang, Xiang Gao, Gregory J. Duck, and Abhik Roychoudhury
(National University of Singapore, Singapore; Beihang University, China)
@InProceedings{ISSTA22p716,
author = {Yuntong Zhang and Xiang Gao and Gregory J. Duck and Abhik Roychoudhury},
title = {Program Vulnerability Repair via Inductive Inference},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {716-715},
doi = {10.1145/3533767.3534387},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Article: issta22main-p179-p doi:10.1145/3533767.3534387
|
| |
Gao, Yu |
ISSTA '22: "Finding Bugs in Gremlin-Based ..."
Finding Bugs in Gremlin-Based Graph Database Systems via Randomized Differential Testing
Yingying Zheng, Wensheng Dou, Yicheng Wang, Zheng Qin, Lei Tang, Yu Gao, Dong Wang, Wei Wang, and Jun Wei
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China)
@InProceedings{ISSTA22p313,
author = {Yingying Zheng and Wensheng Dou and Yicheng Wang and Zheng Qin and Lei Tang and Yu Gao and Dong Wang and Wei Wang and Jun Wei},
title = {Finding Bugs in Gremlin-Based Graph Database Systems via Randomized Differential Testing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {313-312},
doi = {10.1145/3533767.3534409},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Article: issta22main-p513-p doi:10.1145/3533767.3534409
|
| |
Gao, Zeyu |
ISSTA '22: "jTrans: Jump-Aware Transformer ..."
jTrans: Jump-Aware Transformer for Binary Code Similarity Detection
Hao Wang, Wenjie Qu, Gilad Katz, Wenyu Zhu, Zeyu Gao, Han Qiu, Jianwei Zhuge, and Chao Zhang
(Tsinghua University, China; Beijing National Research Center for Information Science and Technology, China; Huazhong University of Science and Technology, China; Ben-Gurion University of the Negev, Israel; University of Science and Technology of China, China)
@InProceedings{ISSTA22p1,
author = {Hao Wang and Wenjie Qu and Gilad Katz and Wenyu Zhu and Zeyu Gao and Han Qiu and Jianwei Zhuge and Chao Zhang},
title = {jTrans: Jump-Aware Transformer for Binary Code Similarity Detection},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3533767.3534367},
year = {2022},
}
Publisher's Version
Article: issta22main-p20-p doi:10.1145/3533767.3534367
|
| |
Ghaleb, Asem |
ISSTA '22: "eTainter: Detecting Gas-Related ..."
eTainter: Detecting Gas-Related Vulnerabilities in Smart Contracts
Asem Ghaleb, Julia Rubin, and Karthik Pattabiraman
(University of British Columbia, Canada)
@InProceedings{ISSTA22p755,
author = {Asem Ghaleb and Julia Rubin and Karthik Pattabiraman},
title = {eTainter: Detecting Gas-Related Vulnerabilities in Smart Contracts},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {755-754},
doi = {10.1145/3533767.3534378},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Article: issta22main-p98-p doi:10.1145/3533767.3534378
|
| |
Ghanbari, Ali |
ISSTA '22: "Faster Mutation Analysis with ..."
Faster Mutation Analysis with MeMu
Ali Ghanbari and Andrian Marcus
(Iowa State University, USA; University of Texas at Dallas, USA)
@InProceedings{ISSTA22p810,
author = {Ali Ghanbari and Andrian Marcus},
title = {Faster Mutation Analysis with MeMu},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {810-809},
doi = {10.1145/3533767.3543288},
year = {2022},
}
Publisher's Version
Article: issta22demo-p12-p doi:10.1145/3533767.3543288
ISSTA '22: "Patch Correctness Assessment ..."
Patch Correctness Assessment in Automated Program Repair Based on the Impact of Patches on Production and Test Code
Ali Ghanbari and Andrian Marcus
(Iowa State University, USA; University of Texas at Dallas, USA)
@InProceedings{ISSTA22p677,
author = {Ali Ghanbari and Andrian Marcus},
title = {Patch Correctness Assessment in Automated Program Repair Based on the Impact of Patches on Production and Test Code},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {677-676},
doi = {10.1145/3533767.3534368},
year = {2022},
}
Publisher's Version
Article: issta22main-p22-p doi:10.1145/3533767.3534368
|
| |
Gharat, Pritam |
ISSTA '22: "Combining Static Analysis ..."
Combining Static Analysis Error Traces with Dynamic Symbolic Execution (Experience Paper)
Frank Busse, Pritam Gharat, Cristian Cadar, and Alastair F. Donaldson
(Imperial College London, UK)
@InProceedings{ISSTA22p586,
author = {Frank Busse and Pritam Gharat and Cristian Cadar and Alastair F. Donaldson},
title = {Combining Static Analysis Error Traces with Dynamic Symbolic Execution (Experience Paper)},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {586-585},
doi = {10.1145/3533767.3534384},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: issta22main-p132-p doi:10.1145/3533767.3534384
|
| |
Godfrey, Michael W. |
ISSTA '22: "DocTer: Documentation-Guided ..."
DocTer: Documentation-Guided Fuzzing for Testing Deep Learning API Functions
Danning Xie, Yitong Li, Mijung Kim, Hung Viet Pham, Lin Tan, Xiangyu Zhang, and Michael W. Godfrey
(Purdue University, USA; University of Waterloo, Canada; Ulsan National Institute of Science and Technology, South Korea)
@InProceedings{ISSTA22p183,
author = {Danning Xie and Yitong Li and Mijung Kim and Hung Viet Pham and Lin Tan and Xiangyu Zhang and Michael W. Godfrey},
title = {DocTer: Documentation-Guided Fuzzing for Testing Deep Learning API Functions},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {183-182},
doi = {10.1145/3533767.3534220},
year = {2022},
}
Publisher's Version
Article: issta22main-p174-p doi:10.1145/3533767.3534220
|
| |
Gong, Yuanjun |
ISSTA '22: "Hunting Bugs with Accelerated ..."
Hunting Bugs with Accelerated Optimal Graph Vertex Matching
Xiaohui Zhang, Yuanjun Gong, Bin Liang, Jianjun Huang, Wei You, Wenchang Shi, and Jian Zhang
(Renmin University of China, China; University of Chinese Academy of Sciences, China)
@InProceedings{ISSTA22p66,
author = {Xiaohui Zhang and Yuanjun Gong and Bin Liang and Jianjun Huang and Wei You and Wenchang Shi and Jian Zhang},
title = {Hunting Bugs with Accelerated Optimal Graph Vertex Matching},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {66-65},
doi = {10.1145/3533767.3534393},
year = {2022},
}
Publisher's Version
Article: issta22main-p245-p doi:10.1145/3533767.3534393
|
| |
Gros, Timo P. |
ISSTA '22: "Metamorphic Relations via ..."
Metamorphic Relations via Relaxations: An Approach to Obtain Oracles for Action-Policy Testing
Hasan Ferit Eniser, Timo P. Gros, Valentin Wüstholz, Jörg Hoffmann, and Maria Christakis
(MPI-SWS, Germany; Saarland University, Germany; ConsenSys, Germany; DFKI, Germany)
@InProceedings{ISSTA22p53,
author = {Hasan Ferit Eniser and Timo P. Gros and Valentin Wüstholz and Jörg Hoffmann and Maria Christakis},
title = {Metamorphic Relations via Relaxations: An Approach to Obtain Oracles for Action-Policy Testing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {53-52},
doi = {10.1145/3533767.3534392},
year = {2022},
}
Publisher's Version
Article: issta22main-p239-p doi:10.1145/3533767.3534392
|
| |
Grundy, John |
ISSTA '22: "Automatically Detecting API-Induced ..."
Automatically Detecting API-Induced Compatibility Issues in Android Apps: A Comparative Analysis (Replicability Study)
Pei Liu, Yanjie Zhao, Haipeng Cai, Mattia Fazzini, John Grundy, and Li Li
(Monash University, Australia; Washington State University, USA; University of Minnesota, USA)
@InProceedings{ISSTA22p638,
author = {Pei Liu and Yanjie Zhao and Haipeng Cai and Mattia Fazzini and John Grundy and Li Li},
title = {Automatically Detecting API-Induced Compatibility Issues in Android Apps: A Comparative Analysis (Replicability Study)},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {638-637},
doi = {10.1145/3533767.3534407},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: issta22main-p486-p doi:10.1145/3533767.3534407
|
| |
Guha, Arjun |
ISSTA '22: "On the Use of Mutation Analysis ..."
On the Use of Mutation Analysis for Evaluating Student Test Suite Quality
James Perretta, Andrew DeOrio, Arjun Guha, and Jonathan Bell
(Northeastern University, USA; University of Michigan, USA)
@InProceedings{ISSTA22p274,
author = {James Perretta and Andrew DeOrio and Arjun Guha and Jonathan Bell},
title = {On the Use of Mutation Analysis for Evaluating Student Test Suite Quality},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {274-273},
doi = {10.1145/3533767.3534217},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: issta22main-p23-p doi:10.1145/3533767.3534217
|
| |
Guo, An |
ISSTA '22: "LiRTest: Augmenting LiDAR ..."
LiRTest: Augmenting LiDAR Point Clouds for Automated Testing of Autonomous Driving Systems
An Guo, Yang Feng, and Zhenyu Chen
(Nanjing University, China)
@InProceedings{ISSTA22p495,
author = {An Guo and Yang Feng and Zhenyu Chen},
title = {LiRTest: Augmenting LiDAR Point Clouds for Automated Testing of Autonomous Driving Systems},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {495-494},
doi = {10.1145/3533767.3534397},
year = {2022},
}
Publisher's Version
Article: issta22main-p302-p doi:10.1145/3533767.3534397
|
| |
Guo, Shengjian |
ISSTA '22: "Detecting Multi-sensor Fusion ..."
Detecting Multi-sensor Fusion Errors in Advanced Driver-Assistance Systems
Ziyuan Zhong, Zhisheng Hu, Shengjian Guo, Xinyang Zhang, Zhenyu Zhong, and Baishakhi Ray
(Columbia University, USA; Baidu Security, USA)
@InProceedings{ISSTA22p508,
author = {Ziyuan Zhong and Zhisheng Hu and Shengjian Guo and Xinyang Zhang and Zhenyu Zhong and Baishakhi Ray},
title = {Detecting Multi-sensor Fusion Errors in Advanced Driver-Assistance Systems},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {508-507},
doi = {10.1145/3533767.3534223},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: issta22main-p337-p doi:10.1145/3533767.3534223
|
| |
Guo, Wunan |
ISSTA '22: "iFixDataloss: A Tool for Detecting ..."
iFixDataloss: A Tool for Detecting and Fixing Data Loss Issues in Android Apps
Wunan Guo, Zhen Dong, Liwei Shen, Wei Tian, Ting Su, and Xin Peng
(Fudan University, China; East China Normal University, China)
@InProceedings{ISSTA22p814,
author = {Wunan Guo and Zhen Dong and Liwei Shen and Wei Tian and Ting Su and Xin Peng},
title = {iFixDataloss: A Tool for Detecting and Fixing Data Loss Issues in Android Apps},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {814-813},
doi = {10.1145/3533767.3543297},
year = {2022},
}
Publisher's Version
Article: issta22demo-p93-p doi:10.1145/3533767.3543297
ISSTA '22: "Detecting and Fixing Data ..."
Detecting and Fixing Data Loss Issues in Android Apps
Wunan Guo, Zhen Dong, Liwei Shen, Wei Tian, Ting Su, and Xin Peng
(Fudan University, China; East China Normal University, China)
@InProceedings{ISSTA22p625,
author = {Wunan Guo and Zhen Dong and Liwei Shen and Wei Tian and Ting Su and Xin Peng},
title = {Detecting and Fixing Data Loss Issues in Android Apps},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {625-624},
doi = {10.1145/3533767.3534402},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Article: issta22main-p430-p doi:10.1145/3533767.3534402
|
| |
Han, Meng
|
ISSTA '22: "SLIME: Program-Sensitive Energy ..."
SLIME: Program-Sensitive Energy Allocation for Fuzzing
Chenyang Lyu, Hong Liang, Shouling Ji, Xuhong Zhang, Binbin Zhao, Meng Han, Yun Li, Zhe Wang, Wenhai Wang, and Raheem Beyah
(Zhejiang University, China; Georgia Institute of Technology, USA; Huawei Technologies, China; Institute of Computing Technology at Chinese Academy of Sciences, China)
@InProceedings{ISSTA22p378,
author = {Chenyang Lyu and Hong Liang and Shouling Ji and Xuhong Zhang and Binbin Zhao and Meng Han and Yun Li and Zhe Wang and Wenhai Wang and Raheem Beyah},
title = {SLIME: Program-Sensitive Energy Allocation for Fuzzing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {378-377},
doi = {10.1145/3533767.3534385},
year = {2022},
}
Publisher's Version
Article: issta22main-p134-p doi:10.1145/3533767.3534385
|
| |
Hao, Xiaodong |
ISSTA '22: "CIRCLE: Continual Repair across ..."
CIRCLE: Continual Repair across Programming Languages
Wei Yuan, Quanjun Zhang, Tieke He, Chunrong Fang, Nguyen Quoc Viet Hung, Xiaodong Hao, and Hongzhi Yin
(University of Queensland, Australia; Nanjing University, China; Griffith University, Australia)
@InProceedings{ISSTA22p703,
author = {Wei Yuan and Quanjun Zhang and Tieke He and Chunrong Fang and Nguyen Quoc Viet Hung and Xiaodong Hao and Hongzhi Yin},
title = {CIRCLE: Continual Repair across Programming Languages},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {703-702},
doi = {10.1145/3533767.3534219},
year = {2022},
}
Publisher's Version
Article: issta22main-p107-p doi:10.1145/3533767.3534219
|
| |
He, Pinjia |
ISSTA '22: "AEON: A Method for Automatic ..."
AEON: A Method for Automatic Evaluation of NLP Test Cases
Jen-tse Huang, Jianping Zhang, Wenxuan Wang, Pinjia He, Yuxin Su, and Michael R. Lyu
(Chinese University of Hong Kong, China; Chinese University of Hong Kong at Shenzhen, China; Sun Yat-sen University, China)
@InProceedings{ISSTA22p209,
author = {Jen-tse Huang and Jianping Zhang and Wenxuan Wang and Pinjia He and Yuxin Su and Michael R. Lyu},
title = {AEON: A Method for Automatic Evaluation of NLP Test Cases},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {209-208},
doi = {10.1145/3533767.3534394},
year = {2022},
}
Publisher's Version
Article: issta22main-p254-p doi:10.1145/3533767.3534394
ISSTA '22: "Automated Testing of Image ..."
Automated Testing of Image Captioning Systems
Boxi Yu, Zhiqing Zhong, Xinran Qin, Jiayi Yao, Yuancheng Wang, and Pinjia He
(Chinese University of Hong Kong at Shenzhen, China; South China University of Technology, China)
@InProceedings{ISSTA22p482,
author = {Boxi Yu and Zhiqing Zhong and Xinran Qin and Jiayi Yao and Yuancheng Wang and Pinjia He},
title = {Automated Testing of Image Captioning Systems},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {482-481},
doi = {10.1145/3533767.3534389},
year = {2022},
}
Publisher's Version
Archive submitted (410 kB)
Article: issta22main-p196-p doi:10.1145/3533767.3534389
|
| |
He, Tieke |
ISSTA '22: "CIRCLE: Continual Repair across ..."
CIRCLE: Continual Repair across Programming Languages
Wei Yuan, Quanjun Zhang, Tieke He, Chunrong Fang, Nguyen Quoc Viet Hung, Xiaodong Hao, and Hongzhi Yin
(University of Queensland, Australia; Nanjing University, China; Griffith University, Australia)
@InProceedings{ISSTA22p703,
author = {Wei Yuan and Quanjun Zhang and Tieke He and Chunrong Fang and Nguyen Quoc Viet Hung and Xiaodong Hao and Hongzhi Yin},
title = {CIRCLE: Continual Repair across Programming Languages},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {703-702},
doi = {10.1145/3533767.3534219},
year = {2022},
}
Publisher's Version
Article: issta22main-p107-p doi:10.1145/3533767.3534219
|
| |
Hirzel, Martin |
ISSTA '22: "The Raise of Machine Learning ..."
The Raise of Machine Learning Hyperparameter Constraints in Python Code
Ingkarat Rak-amnouykit, Ana Milanova, Guillaume Baudart, Martin Hirzel, and Julian Dolby
(Rensselaer Polytechnic Institute, USA; Inria, France; ENS-PSL University, France; IBM Research, USA)
@InProceedings{ISSTA22p599,
author = {Ingkarat Rak-amnouykit and Ana Milanova and Guillaume Baudart and Martin Hirzel and Julian Dolby},
title = {The Raise of Machine Learning Hyperparameter Constraints in Python Code},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {599-598},
doi = {10.1145/3533767.3534400},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: issta22main-p336-p doi:10.1145/3533767.3534400
|
| |
Hoffmann, Jörg |
ISSTA '22: "Metamorphic Relations via ..."
Metamorphic Relations via Relaxations: An Approach to Obtain Oracles for Action-Policy Testing
Hasan Ferit Eniser, Timo P. Gros, Valentin Wüstholz, Jörg Hoffmann, and Maria Christakis
(MPI-SWS, Germany; Saarland University, Germany; ConsenSys, Germany; DFKI, Germany)
@InProceedings{ISSTA22p53,
author = {Hasan Ferit Eniser and Timo P. Gros and Valentin Wüstholz and Jörg Hoffmann and Maria Christakis},
title = {Metamorphic Relations via Relaxations: An Approach to Obtain Oracles for Action-Policy Testing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {53-52},
doi = {10.1145/3533767.3534392},
year = {2022},
}
Publisher's Version
Article: issta22main-p239-p doi:10.1145/3533767.3534392
|
| |
Hong, Sanghyun |
ISSTA '22: "Improving Cross-Platform Binary ..."
Improving Cross-Platform Binary Analysis using Representation Learning via Graph Alignment
Geunwoo Kim, Sanghyun Hong, Michael Franz, and Dokyung Song
(University of California at Irvine, USA; Oregon State University, USA; Yonsei University, South Korea)
@InProceedings{ISSTA22p157,
author = {Geunwoo Kim and Sanghyun Hong and Michael Franz and Dokyung Song},
title = {Improving Cross-Platform Binary Analysis using Representation Learning via Graph Alignment},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {157-156},
doi = {10.1145/3533767.3534383},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Article: issta22main-p130-p doi:10.1145/3533767.3534383
|
| |
Hu, Zhisheng |
ISSTA '22: "Detecting Multi-sensor Fusion ..."
Detecting Multi-sensor Fusion Errors in Advanced Driver-Assistance Systems
Ziyuan Zhong, Zhisheng Hu, Shengjian Guo, Xinyang Zhang, Zhenyu Zhong, and Baishakhi Ray
(Columbia University, USA; Baidu Security, USA)
@InProceedings{ISSTA22p508,
author = {Ziyuan Zhong and Zhisheng Hu and Shengjian Guo and Xinyang Zhang and Zhenyu Zhong and Baishakhi Ray},
title = {Detecting Multi-sensor Fusion Errors in Advanced Driver-Assistance Systems},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {508-507},
doi = {10.1145/3533767.3534223},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: issta22main-p337-p doi:10.1145/3533767.3534223
|
| |
Huang, Jen-tse |
ISSTA '22: "AEON: A Method for Automatic ..."
AEON: A Method for Automatic Evaluation of NLP Test Cases
Jen-tse Huang, Jianping Zhang, Wenxuan Wang, Pinjia He, Yuxin Su, and Michael R. Lyu
(Chinese University of Hong Kong, China; Chinese University of Hong Kong at Shenzhen, China; Sun Yat-sen University, China)
@InProceedings{ISSTA22p209,
author = {Jen-tse Huang and Jianping Zhang and Wenxuan Wang and Pinjia He and Yuxin Su and Michael R. Lyu},
title = {AEON: A Method for Automatic Evaluation of NLP Test Cases},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {209-208},
doi = {10.1145/3533767.3534394},
year = {2022},
}
Publisher's Version
Article: issta22main-p254-p doi:10.1145/3533767.3534394
|
| |
Huang, Jianjun |
ISSTA '22: "Hunting Bugs with Accelerated ..."
Hunting Bugs with Accelerated Optimal Graph Vertex Matching
Xiaohui Zhang, Yuanjun Gong, Bin Liang, Jianjun Huang, Wei You, Wenchang Shi, and Jian Zhang
(Renmin University of China, China; University of Chinese Academy of Sciences, China)
@InProceedings{ISSTA22p66,
author = {Xiaohui Zhang and Yuanjun Gong and Bin Liang and Jianjun Huang and Wei You and Wenchang Shi and Jian Zhang},
title = {Hunting Bugs with Accelerated Optimal Graph Vertex Matching},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {66-65},
doi = {10.1145/3533767.3534393},
year = {2022},
}
Publisher's Version
Article: issta22main-p245-p doi:10.1145/3533767.3534393
|
| |
Huang, Pei |
ISSTA '22: "𝜀-Weakened Robustness ..."
𝜀-Weakened Robustness of Deep Neural Networks
Pei Huang, Yuting Yang, Minghao Liu, Fuqi Jia, Feifei Ma, and Jian Zhang
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China)
@InProceedings{ISSTA22p131,
author = {Pei Huang and Yuting Yang and Minghao Liu and Fuqi Jia and Feifei Ma and Jian Zhang},
title = {<i>𝜀</i>-Weakened Robustness of Deep Neural Networks},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {131-130},
doi = {10.1145/3533767.3534373},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: issta22main-p58-p doi:10.1145/3533767.3534373
|
| |
Huang, Tao |
ISSTA '22: "Understanding Device Integration ..."
Understanding Device Integration Bugs in Smart Home System
Tao Wang, Kangkang Zhang, Wei Chen, Wensheng Dou, Jiaxin Zhu, Jun Wei, and Tao Huang
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Nanjing Institute of Software Technology, China)
@InProceedings{ISSTA22p443,
author = {Tao Wang and Kangkang Zhang and Wei Chen and Wensheng Dou and Jiaxin Zhu and Jun Wei and Tao Huang},
title = {Understanding Device Integration Bugs in Smart Home System},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {443-442},
doi = {10.1145/3533767.3534365},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: issta22main-p2-p doi:10.1145/3533767.3534365
|
| |
Hung, Nguyen Quoc Viet |
ISSTA '22: "CIRCLE: Continual Repair across ..."
CIRCLE: Continual Repair across Programming Languages
Wei Yuan, Quanjun Zhang, Tieke He, Chunrong Fang, Nguyen Quoc Viet Hung, Xiaodong Hao, and Hongzhi Yin
(University of Queensland, Australia; Nanjing University, China; Griffith University, Australia)
@InProceedings{ISSTA22p703,
author = {Wei Yuan and Quanjun Zhang and Tieke He and Chunrong Fang and Nguyen Quoc Viet Hung and Xiaodong Hao and Hongzhi Yin},
title = {CIRCLE: Continual Repair across Programming Languages},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {703-702},
doi = {10.1145/3533767.3534219},
year = {2022},
}
Publisher's Version
Article: issta22main-p107-p doi:10.1145/3533767.3534219
|
| |
Irfan, Ahmed
|
ISSTA '22: "Testing Dafny (Experience ..."
Testing Dafny (Experience Paper)
Ahmed Irfan, Sorawee Porncharoenwase, Zvonimir Rakamarić, Neha Rungta, and Emina Torlak
(Amazon Web Services, USA; University of Washington, USA)
@InProceedings{ISSTA22p573,
author = {Ahmed Irfan and Sorawee Porncharoenwase and Zvonimir Rakamarić and Neha Rungta and Emina Torlak},
title = {Testing Dafny (Experience Paper)},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {573-572},
doi = {10.1145/3533767.3534382},
year = {2022},
}
Publisher's Version
Article: issta22main-p123-p doi:10.1145/3533767.3534382
|
| |
Ji, Kaihang
|
ISSTA '22: "TeLL: Log Level Suggestions ..."
TeLL: Log Level Suggestions via Modeling Multi-level Code Block Information
Jiahao Liu, Jun Zeng, Xiang Wang, Kaihang Ji, and Zhenkai Liang
(National University of Singapore, Singapore; University of Science and Technology of China, China)
@InProceedings{ISSTA22p27,
author = {Jiahao Liu and Jun Zeng and Xiang Wang and Kaihang Ji and Zhenkai Liang},
title = {TeLL: Log Level Suggestions via Modeling Multi-level Code Block Information},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {27-26},
doi = {10.1145/3533767.3534379},
year = {2022},
}
Publisher's Version
Article: issta22main-p99-p doi:10.1145/3533767.3534379
|
| |
Ji, Pin |
ISSTA '22: "ASRTest: Automated Testing ..."
ASRTest: Automated Testing for Deep-Neural-Network-Driven Speech Recognition Systems
Pin Ji, Yang Feng, Jia Liu, Zhihong Zhao, and Zhenyu Chen
(Nanjing University, China)
@InProceedings{ISSTA22p196,
author = {Pin Ji and Yang Feng and Jia Liu and Zhihong Zhao and Zhenyu Chen},
title = {ASRTest: Automated Testing for Deep-Neural-Network-Driven Speech Recognition Systems},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {196-195},
doi = {10.1145/3533767.3534391},
year = {2022},
}
Publisher's Version
Article: issta22main-p231-p doi:10.1145/3533767.3534391
|
| |
Ji, Shouling |
ISSTA '22: "SLIME: Program-Sensitive Energy ..."
SLIME: Program-Sensitive Energy Allocation for Fuzzing
Chenyang Lyu, Hong Liang, Shouling Ji, Xuhong Zhang, Binbin Zhao, Meng Han, Yun Li, Zhe Wang, Wenhai Wang, and Raheem Beyah
(Zhejiang University, China; Georgia Institute of Technology, USA; Huawei Technologies, China; Institute of Computing Technology at Chinese Academy of Sciences, China)
@InProceedings{ISSTA22p378,
author = {Chenyang Lyu and Hong Liang and Shouling Ji and Xuhong Zhang and Binbin Zhao and Meng Han and Yun Li and Zhe Wang and Wenhai Wang and Raheem Beyah},
title = {SLIME: Program-Sensitive Energy Allocation for Fuzzing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {378-377},
doi = {10.1145/3533767.3534385},
year = {2022},
}
Publisher's Version
Article: issta22main-p134-p doi:10.1145/3533767.3534385
ISSTA '22: "A Large-Scale Empirical Analysis ..."
A Large-Scale Empirical Analysis of the Vulnerabilities Introduced by Third-Party Components in IoT Firmware
Binbin Zhao, Shouling Ji, Jiacheng Xu, Yuan Tian, Qiuyang Wei, Qinying Wang, Chenyang Lyu, Xuhong Zhang, Changting Lin, Jingzheng Wu, and Raheem Beyah
(Zhejiang University, China; Georgia Institute of Technology, USA; University of Virginia, USA; Institute of Software at Chinese Academy of Sciences, China)
@InProceedings{ISSTA22p456,
author = {Binbin Zhao and Shouling Ji and Jiacheng Xu and Yuan Tian and Qiuyang Wei and Qinying Wang and Chenyang Lyu and Xuhong Zhang and Changting Lin and Jingzheng Wu and Raheem Beyah},
title = {A Large-Scale Empirical Analysis of the Vulnerabilities Introduced by Third-Party Components in IoT Firmware},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {456-455},
doi = {10.1145/3533767.3534366},
year = {2022},
}
Publisher's Version
Article: issta22main-p13-p doi:10.1145/3533767.3534366
|
| |
Jia, Fuqi |
ISSTA '22: "𝜀-Weakened Robustness ..."
𝜀-Weakened Robustness of Deep Neural Networks
Pei Huang, Yuting Yang, Minghao Liu, Fuqi Jia, Feifei Ma, and Jian Zhang
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China)
@InProceedings{ISSTA22p131,
author = {Pei Huang and Yuting Yang and Minghao Liu and Fuqi Jia and Feifei Ma and Jian Zhang},
title = {<i>𝜀</i>-Weakened Robustness of Deep Neural Networks},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {131-130},
doi = {10.1145/3533767.3534373},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: issta22main-p58-p doi:10.1145/3533767.3534373
|
| |
Jiang, Yu |
ISSTA '22: "Unicorn: Detect Runtime Errors ..."
Unicorn: Detect Runtime Errors in Time-Series Databases with Hybrid Input Synthesis
Zhiyong Wu, Jie Liang, Mingzhe Wang, Chijin Zhou, and Yu Jiang
(Tsinghua University, China; ShuimuYulin, China)
@InProceedings{ISSTA22p261,
author = {Zhiyong Wu and Jie Liang and Mingzhe Wang and Chijin Zhou and Yu Jiang},
title = {Unicorn: Detect Runtime Errors in Time-Series Databases with Hybrid Input Synthesis},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {261-260},
doi = {10.1145/3533767.3534364},
year = {2022},
}
Publisher's Version
Article: issta22main-p1-p doi:10.1145/3533767.3534364
|
| |
Jin, Wuxia |
ISSTA '22: "One Step Further: Evaluating ..."
One Step Further: Evaluating Interpreters using Metamorphic Testing
Ming Fan, Jiali Wei, Wuxia Jin, Zhou Xu, Wenying Wei, and Ting Liu
(Xi'an Jiaotong University, China; Chongqing University, China)
@InProceedings{ISSTA22p339,
author = {Ming Fan and Jiali Wei and Wuxia Jin and Zhou Xu and Wenying Wei and Ting Liu},
title = {One Step Further: Evaluating Interpreters using Metamorphic Testing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {339-338},
doi = {10.1145/3533767.3534225},
year = {2022},
}
Publisher's Version
Article: issta22main-p612-p doi:10.1145/3533767.3534225
|
| |
Kang, Hong Jin
|
ISSTA '22: "Test Mimicry to Assess the ..."
Test Mimicry to Assess the Exploitability of Library Vulnerabilities
Hong Jin Kang, Truong Giang Nguyen, Bach Le, Corina S. Păsăreanu, and David Lo
(Singapore Management University, Singapore; University of Melbourne, Australia; Carnegie Mellon University, USA; NASA Ames Research Center, USA)
@InProceedings{ISSTA22p287,
author = {Hong Jin Kang and Truong Giang Nguyen and Bach Le and Corina S. Păsăreanu and David Lo},
title = {Test Mimicry to Assess the Exploitability of Library Vulnerabilities},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {287-286},
doi = {10.1145/3533767.3534398},
year = {2022},
}
Publisher's Version
Article: issta22main-p306-p doi:10.1145/3533767.3534398
|
| |
Kapugama, Charaka Geethal |
ISSTA '22: "Human-in-the-Loop Oracle Learning ..."
Human-in-the-Loop Oracle Learning for Semantic Bugs in String Processing Programs
Charaka Geethal Kapugama, Van-Thuan Pham, Aldeida Aleti, and Marcel Böhme
(Monash University, Australia; University of Melbourne, Australia; MPI-SP, Germany)
@InProceedings{ISSTA22p222,
author = {Charaka Geethal Kapugama and Van-Thuan Pham and Aldeida Aleti and Marcel Böhme},
title = {Human-in-the-Loop Oracle Learning for Semantic Bugs in String Processing Programs},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {222-221},
doi = {10.1145/3533767.3534406},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: issta22main-p481-p doi:10.1145/3533767.3534406
|
| |
Katz, Gilad |
ISSTA '22: "jTrans: Jump-Aware Transformer ..."
jTrans: Jump-Aware Transformer for Binary Code Similarity Detection
Hao Wang, Wenjie Qu, Gilad Katz, Wenyu Zhu, Zeyu Gao, Han Qiu, Jianwei Zhuge, and Chao Zhang
(Tsinghua University, China; Beijing National Research Center for Information Science and Technology, China; Huazhong University of Science and Technology, China; Ben-Gurion University of the Negev, Israel; University of Science and Technology of China, China)
@InProceedings{ISSTA22p1,
author = {Hao Wang and Wenjie Qu and Gilad Katz and Wenyu Zhu and Zeyu Gao and Han Qiu and Jianwei Zhuge and Chao Zhang},
title = {jTrans: Jump-Aware Transformer for Binary Code Similarity Detection},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3533767.3534367},
year = {2022},
}
Publisher's Version
Article: issta22main-p20-p doi:10.1145/3533767.3534367
|
| |
Kaufman, Mike |
ISSTA '22: "Using Pre-trained Language ..."
Using Pre-trained Language Models to Resolve Textual and Semantic Merge Conflicts (Experience Paper)
Jialu Zhang, Todd Mytkowicz, Mike Kaufman, Ruzica Piskac, and Shuvendu K. Lahiri
(Yale University, USA; Microsoft Research, USA; Microsoft, USA)
@InProceedings{ISSTA22p79,
author = {Jialu Zhang and Todd Mytkowicz and Mike Kaufman and Ruzica Piskac and Shuvendu K. Lahiri},
title = {Using Pre-trained Language Models to Resolve Textual and Semantic Merge Conflicts (Experience Paper)},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {79-78},
doi = {10.1145/3533767.3534396},
year = {2022},
}
Publisher's Version
Article: issta22main-p284-p doi:10.1145/3533767.3534396
|
| |
Kim, Geunwoo |
ISSTA '22: "Improving Cross-Platform Binary ..."
Improving Cross-Platform Binary Analysis using Representation Learning via Graph Alignment
Geunwoo Kim, Sanghyun Hong, Michael Franz, and Dokyung Song
(University of California at Irvine, USA; Oregon State University, USA; Yonsei University, South Korea)
@InProceedings{ISSTA22p157,
author = {Geunwoo Kim and Sanghyun Hong and Michael Franz and Dokyung Song},
title = {Improving Cross-Platform Binary Analysis using Representation Learning via Graph Alignment},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {157-156},
doi = {10.1145/3533767.3534383},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Article: issta22main-p130-p doi:10.1145/3533767.3534383
|
| |
Kim, Mijung |
ISSTA '22: "DocTer: Documentation-Guided ..."
DocTer: Documentation-Guided Fuzzing for Testing Deep Learning API Functions
Danning Xie, Yitong Li, Mijung Kim, Hung Viet Pham, Lin Tan, Xiangyu Zhang, and Michael W. Godfrey
(Purdue University, USA; University of Waterloo, Canada; Ulsan National Institute of Science and Technology, South Korea)
@InProceedings{ISSTA22p183,
author = {Danning Xie and Yitong Li and Mijung Kim and Hung Viet Pham and Lin Tan and Xiangyu Zhang and Michael W. Godfrey},
title = {DocTer: Documentation-Guided Fuzzing for Testing Deep Learning API Functions},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {183-182},
doi = {10.1145/3533767.3534220},
year = {2022},
}
Publisher's Version
Article: issta22main-p174-p doi:10.1145/3533767.3534220
|
| |
Kim, Myeongsoo |
ISSTA '22: "Automated Test Generation ..."
Automated Test Generation for REST APIs: No Time to Rest Yet
Myeongsoo Kim, Qi Xin, Saurabh Sinha, and Alessandro Orso
(Georgia Institute of Technology, USA; Wuhan University, China; IBM Research, USA)
@InProceedings{ISSTA22p300,
author = {Myeongsoo Kim and Qi Xin and Saurabh Sinha and Alessandro Orso},
title = {Automated Test Generation for REST APIs: No Time to Rest Yet},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {300-299},
doi = {10.1145/3533767.3534401},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: issta22main-p382-p doi:10.1145/3533767.3534401
|
| |
Korovin, Konstantin |
ISSTA '22: "ESBMC-CHERI: Towards Verification ..."
ESBMC-CHERI: Towards Verification of C Programs for CHERI Platforms with ESBMC
Franz Brauße, Fedor Shmarov, Rafael Menezes, Mikhail R. Gadelha, Konstantin Korovin, Giles Reger, and Lucas C. Cordeiro
(University of Manchester, UK; Igalia, Brazil)
@InProceedings{ISSTA22p802,
author = {Franz Brauße and Fedor Shmarov and Rafael Menezes and Mikhail R. Gadelha and Konstantin Korovin and Giles Reger and Lucas C. Cordeiro},
title = {ESBMC-CHERI: Towards Verification of C Programs for CHERI Platforms with ESBMC},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {802-801},
doi = {10.1145/3533767.3543289},
year = {2022},
}
Publisher's Version
Article: issta22demo-p21-p doi:10.1145/3533767.3543289
|
| |
Lahiri, Shuvendu K.
|
ISSTA '22: "Using Pre-trained Language ..."
Using Pre-trained Language Models to Resolve Textual and Semantic Merge Conflicts (Experience Paper)
Jialu Zhang, Todd Mytkowicz, Mike Kaufman, Ruzica Piskac, and Shuvendu K. Lahiri
(Yale University, USA; Microsoft Research, USA; Microsoft, USA)
@InProceedings{ISSTA22p79,
author = {Jialu Zhang and Todd Mytkowicz and Mike Kaufman and Ruzica Piskac and Shuvendu K. Lahiri},
title = {Using Pre-trained Language Models to Resolve Textual and Semantic Merge Conflicts (Experience Paper)},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {79-78},
doi = {10.1145/3533767.3534396},
year = {2022},
}
Publisher's Version
Article: issta22main-p284-p doi:10.1145/3533767.3534396
|
| |
Lahiri, Sumit |
ISSTA '22: "Almost Correct Invariants: ..."
Almost Correct Invariants: Synthesizing Inductive Invariants by Fuzzing Proofs
Sumit Lahiri and Subhajit Roy
(IIT Kanpur, India)
@InProceedings{ISSTA22p365,
author = {Sumit Lahiri and Subhajit Roy},
title = {Almost Correct Invariants: Synthesizing Inductive Invariants by Fuzzing Proofs},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {365-364},
doi = {10.1145/3533767.3534381},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Article: issta22main-p114-p doi:10.1145/3533767.3534381
|
| |
Lange, John |
ISSTA '22: "Deadlock Prediction via Generalized ..."
Deadlock Prediction via Generalized Dependency
Jinpeng Zhou, Hanmei Yang, John Lange, and Tongping Liu
(University of Pittsburgh, USA; University of Massachusetts at Amherst, USA; Oak Ridge National Laboratory, USA)
@InProceedings{ISSTA22p469,
author = {Jinpeng Zhou and Hanmei Yang and John Lange and Tongping Liu},
title = {Deadlock Prediction via Generalized Dependency},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {469-468},
doi = {10.1145/3533767.3534377},
year = {2022},
}
Publisher's Version
Article: issta22main-p92-p doi:10.1145/3533767.3534377
|
| |
Le, Bach |
ISSTA '22: "Test Mimicry to Assess the ..."
Test Mimicry to Assess the Exploitability of Library Vulnerabilities
Hong Jin Kang, Truong Giang Nguyen, Bach Le, Corina S. Păsăreanu, and David Lo
(Singapore Management University, Singapore; University of Melbourne, Australia; Carnegie Mellon University, USA; NASA Ames Research Center, USA)
@InProceedings{ISSTA22p287,
author = {Hong Jin Kang and Truong Giang Nguyen and Bach Le and Corina S. Păsăreanu and David Lo},
title = {Test Mimicry to Assess the Exploitability of Library Vulnerabilities},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {287-286},
doi = {10.1145/3533767.3534398},
year = {2022},
}
Publisher's Version
Article: issta22main-p306-p doi:10.1145/3533767.3534398
|
| |
Li, Chao |
ISSTA '22: "SpecChecker-ISA: A Data Sharing ..."
SpecChecker-ISA: A Data Sharing Analyzer for Interrupt-Driven Embedded Software
Boxiang Wang, Rui Chen, Chao Li, Tingting Yu, Dongdong Gao, and Mengfei Yang
(Xidian University, China; Beijing Sunwise Information Technology, China; Beijing Institute of Control Engineering, China; China Academy of Space Technology, China)
@InProceedings{ISSTA22p830,
author = {Boxiang Wang and Rui Chen and Chao Li and Tingting Yu and Dongdong Gao and Mengfei Yang},
title = {SpecChecker-ISA: A Data Sharing Analyzer for Interrupt-Driven Embedded Software},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {830-829},
doi = {10.1145/3533767.3543295},
year = {2022},
}
Publisher's Version
Article: issta22demo-p78-p doi:10.1145/3533767.3543295
ISSTA '22: "Precise and Efficient Atomicity ..."
Precise and Efficient Atomicity Violation Detection for Interrupt-Driven Programs via Staged Path Pruning
Chao Li, Rui Chen, Boxiang Wang, Tingting Yu, Dongdong Gao, and Mengfei Yang
(Beijing Institute of Control Engineering, China; Beijing Sunwise Information Technology, China; Xidian University, China; China Academy of Space Technology, China)
@InProceedings{ISSTA22p521,
author = {Chao Li and Rui Chen and Boxiang Wang and Tingting Yu and Dongdong Gao and Mengfei Yang},
title = {Precise and Efficient Atomicity Violation Detection for Interrupt-Driven Programs via Staged Path Pruning},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {521-520},
doi = {10.1145/3533767.3534412},
year = {2022},
}
Publisher's Version
Article: issta22main-p645-p doi:10.1145/3533767.3534412
|
| |
Li, Chengpeng |
ISSTA '22: "Evolution-Aware Detection ..."
Evolution-Aware Detection of Order-Dependent Flaky Tests
Chengpeng Li and August Shi
(University of Texas at Austin, USA)
@InProceedings{ISSTA22p118,
author = {Chengpeng Li and August Shi},
title = {Evolution-Aware Detection of Order-Dependent Flaky Tests},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {118-117},
doi = {10.1145/3533767.3534404},
year = {2022},
}
Publisher's Version
Article: issta22main-p467-p doi:10.1145/3533767.3534404
|
| |
Li, Haoliang |
ISSTA '22: "Cross-Lingual Transfer Learning ..."
Cross-Lingual Transfer Learning for Statistical Type Inference
Zhiming Li, Xiaofei Xie, Haoliang Li, Zhengzi Xu, Yi Li, and Yang Liu
(Nanyang Technological University, Singapore; Singapore Management University, Singapore; City University of Hong Kong, China)
@InProceedings{ISSTA22p248,
author = {Zhiming Li and Xiaofei Xie and Haoliang Li and Zhengzi Xu and Yi Li and Yang Liu},
title = {Cross-Lingual Transfer Learning for Statistical Type Inference},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {248-247},
doi = {10.1145/3533767.3534411},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: issta22main-p591-p doi:10.1145/3533767.3534411
|
| |
Li, Jing |
ISSTA '22: "An Extensive Study on Pre-trained ..."
An Extensive Study on Pre-trained Models for Program Understanding and Generation
Zhengran Zeng, Hanzhuo Tan, Haotian Zhang, Jing Li, Yuqun Zhang, and Lingming Zhang
(Southern University of Science and Technology, China; Hong Kong Polytechnic University, China; Kwai, China; University of Illinois at Urbana-Champaign, USA)
@InProceedings{ISSTA22p40,
author = {Zhengran Zeng and Hanzhuo Tan and Haotian Zhang and Jing Li and Yuqun Zhang and Lingming Zhang},
title = {An Extensive Study on Pre-trained Models for Program Understanding and Generation},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {40-39},
doi = {10.1145/3533767.3534390},
year = {2022},
}
Publisher's Version
Article: issta22main-p223-p doi:10.1145/3533767.3534390
|
| |
Li, Li |
ISSTA '22: "Automatically Detecting API-Induced ..."
Automatically Detecting API-Induced Compatibility Issues in Android Apps: A Comparative Analysis (Replicability Study)
Pei Liu, Yanjie Zhao, Haipeng Cai, Mattia Fazzini, John Grundy, and Li Li
(Monash University, Australia; Washington State University, USA; University of Minnesota, USA)
@InProceedings{ISSTA22p638,
author = {Pei Liu and Yanjie Zhao and Haipeng Cai and Mattia Fazzini and John Grundy and Li Li},
title = {Automatically Detecting API-Induced Compatibility Issues in Android Apps: A Comparative Analysis (Replicability Study)},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {638-637},
doi = {10.1145/3533767.3534407},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: issta22main-p486-p doi:10.1145/3533767.3534407
|
| |
Li, Qi |
ISSTA '22: "BET: Black-Box Efficient Testing ..."
BET: Black-Box Efficient Testing for Convolutional Neural Networks
Jialai Wang, Han Qiu, Yi Rong, Hengkai Ye, Qi Li, Zongpeng Li, and Chao Zhang
(Tsinghua University, China; Beijing National Research Center for Information Science and Technology, China; Purdue University, USA)
@InProceedings{ISSTA22p170,
author = {Jialai Wang and Han Qiu and Yi Rong and Hengkai Ye and Qi Li and Zongpeng Li and Chao Zhang},
title = {BET: Black-Box Efficient Testing for Convolutional Neural Networks},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {170-169},
doi = {10.1145/3533767.3534386},
year = {2022},
}
Publisher's Version
Article: issta22main-p139-p doi:10.1145/3533767.3534386
|
| |
Li, Xin |
ISSTA '22: "UniRLTest: Universal Platform-Independent ..."
UniRLTest: Universal Platform-Independent Testing with Reinforcement Learning via Image Understanding
Ziqian Zhang, Yulei Liu, Shengcheng Yu, Xin Li, Yexiao Yun, Chunrong Fang, and Zhenyu Chen
(Nanjing University, China)
@InProceedings{ISSTA22p834,
author = {Ziqian Zhang and Yulei Liu and Shengcheng Yu and Xin Li and Yexiao Yun and Chunrong Fang and Zhenyu Chen},
title = {UniRLTest: Universal Platform-Independent Testing with Reinforcement Learning via Image Understanding},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {834-833},
doi = {10.1145/3533767.3543292},
year = {2022},
}
Publisher's Version
Article: issta22demo-p40-p doi:10.1145/3533767.3543292
|
| |
Li, Xuandong |
ISSTA '22: "Detecting Resource Utilization ..."
Detecting Resource Utilization Bugs Induced by Variant Lifecycles in Android
Yifei Lu, Minxue Pan, Yu Pei, and Xuandong Li
(Nanjing University, China; Hong Kong Polytechnic University, China)
@InProceedings{ISSTA22p664,
author = {Yifei Lu and Minxue Pan and Yu Pei and Xuandong Li},
title = {Detecting Resource Utilization Bugs Induced by Variant Lifecycles in Android},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {664-663},
doi = {10.1145/3533767.3534413},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: issta22main-p727-p doi:10.1145/3533767.3534413
|
| |
Li, Yi |
ISSTA '22: "Cross-Lingual Transfer Learning ..."
Cross-Lingual Transfer Learning for Statistical Type Inference
Zhiming Li, Xiaofei Xie, Haoliang Li, Zhengzi Xu, Yi Li, and Yang Liu
(Nanyang Technological University, Singapore; Singapore Management University, Singapore; City University of Hong Kong, China)
@InProceedings{ISSTA22p248,
author = {Zhiming Li and Xiaofei Xie and Haoliang Li and Zhengzi Xu and Yi Li and Yang Liu},
title = {Cross-Lingual Transfer Learning for Statistical Type Inference},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {248-247},
doi = {10.1145/3533767.3534411},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: issta22main-p591-p doi:10.1145/3533767.3534411
ISSTA '22: "Finding Permission Bugs in ..."
Finding Permission Bugs in Smart Contracts with Role Mining
Ye Liu, Yi Li, Shang-Wei Lin, and Cyrille Artho
(Nanyang Technological University, Singapore; KTH, Sweden)
@InProceedings{ISSTA22p742,
author = {Ye Liu and Yi Li and Shang-Wei Lin and Cyrille Artho},
title = {Finding Permission Bugs in Smart Contracts with Role Mining},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {742-741},
doi = {10.1145/3533767.3534372},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Article: issta22main-p54-p doi:10.1145/3533767.3534372
|
| |
Li, Yitong |
ISSTA '22: "DocTer: Documentation-Guided ..."
DocTer: Documentation-Guided Fuzzing for Testing Deep Learning API Functions
Danning Xie, Yitong Li, Mijung Kim, Hung Viet Pham, Lin Tan, Xiangyu Zhang, and Michael W. Godfrey
(Purdue University, USA; University of Waterloo, Canada; Ulsan National Institute of Science and Technology, South Korea)
@InProceedings{ISSTA22p183,
author = {Danning Xie and Yitong Li and Mijung Kim and Hung Viet Pham and Lin Tan and Xiangyu Zhang and Michael W. Godfrey},
title = {DocTer: Documentation-Guided Fuzzing for Testing Deep Learning API Functions},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {183-182},
doi = {10.1145/3533767.3534220},
year = {2022},
}
Publisher's Version
Article: issta22main-p174-p doi:10.1145/3533767.3534220
|
| |
Li, Yu |
ISSTA '22: "HybridRepair: Towards Annotation-Efficient ..."
HybridRepair: Towards Annotation-Efficient Repair for Deep Learning Models
Yu Li, Muxi Chen, and Qiang Xu
(Chinese University of Hong Kong, China)
@InProceedings{ISSTA22p235,
author = {Yu Li and Muxi Chen and Qiang Xu},
title = {HybridRepair: Towards Annotation-Efficient Repair for Deep Learning Models},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {235-234},
doi = {10.1145/3533767.3534408},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: issta22main-p498-p doi:10.1145/3533767.3534408
|
| |
Li, Yuekang |
ISSTA '22: "Efficient Greybox Fuzzing ..."
Efficient Greybox Fuzzing of Applications in Linux-Based IoT Devices via Enhanced User-Mode Emulation
Yaowen Zheng, Yuekang Li, Cen Zhang, Hongsong Zhu, Yang Liu, and Limin Sun
(Nanyang Technological University, Singapore; Institute of Information Engineering at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China)
@InProceedings{ISSTA22p430,
author = {Yaowen Zheng and Yuekang Li and Cen Zhang and Hongsong Zhu and Yang Liu and Limin Sun},
title = {Efficient Greybox Fuzzing of Applications in Linux-Based IoT Devices via Enhanced User-Mode Emulation},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {430-429},
doi = {10.1145/3533767.3534414},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Article: issta22main-p762-p doi:10.1145/3533767.3534414
|
| |
Li, Yun |
ISSTA '22: "SLIME: Program-Sensitive Energy ..."
SLIME: Program-Sensitive Energy Allocation for Fuzzing
Chenyang Lyu, Hong Liang, Shouling Ji, Xuhong Zhang, Binbin Zhao, Meng Han, Yun Li, Zhe Wang, Wenhai Wang, and Raheem Beyah
(Zhejiang University, China; Georgia Institute of Technology, USA; Huawei Technologies, China; Institute of Computing Technology at Chinese Academy of Sciences, China)
@InProceedings{ISSTA22p378,
author = {Chenyang Lyu and Hong Liang and Shouling Ji and Xuhong Zhang and Binbin Zhao and Meng Han and Yun Li and Zhe Wang and Wenhai Wang and Raheem Beyah},
title = {SLIME: Program-Sensitive Energy Allocation for Fuzzing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {378-377},
doi = {10.1145/3533767.3534385},
year = {2022},
}
Publisher's Version
Article: issta22main-p134-p doi:10.1145/3533767.3534385
|
| |
Li, Zheming |
ISSTA '22: "PrIntFuzz: Fuzzing Linux Drivers ..."
PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation
Zheyu Ma, Bodong Zhao, Letu Ren, Zheming Li, Siqi Ma, Xiapu Luo, and Chao Zhang
(Tsinghua University, China; Beijing National Research Center for Information Science and Technology, China; UNSW, Australia; Hong Kong Polytechnic University, China)
@InProceedings{ISSTA22p417,
author = {Zheyu Ma and Bodong Zhao and Letu Ren and Zheming Li and Siqi Ma and Xiapu Luo and Chao Zhang},
title = {PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {417-416},
doi = {10.1145/3533767.3534226},
year = {2022},
}
Publisher's Version
Article: issta22main-p746-p doi:10.1145/3533767.3534226
|
| |
Li, Zhiming |
ISSTA '22: "Cross-Lingual Transfer Learning ..."
Cross-Lingual Transfer Learning for Statistical Type Inference
Zhiming Li, Xiaofei Xie, Haoliang Li, Zhengzi Xu, Yi Li, and Yang Liu
(Nanyang Technological University, Singapore; Singapore Management University, Singapore; City University of Hong Kong, China)
@InProceedings{ISSTA22p248,
author = {Zhiming Li and Xiaofei Xie and Haoliang Li and Zhengzi Xu and Yi Li and Yang Liu},
title = {Cross-Lingual Transfer Learning for Statistical Type Inference},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {248-247},
doi = {10.1145/3533767.3534411},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: issta22main-p591-p doi:10.1145/3533767.3534411
|
| |
Li, Zongpeng |
ISSTA '22: "BET: Black-Box Efficient Testing ..."
BET: Black-Box Efficient Testing for Convolutional Neural Networks
Jialai Wang, Han Qiu, Yi Rong, Hengkai Ye, Qi Li, Zongpeng Li, and Chao Zhang
(Tsinghua University, China; Beijing National Research Center for Information Science and Technology, China; Purdue University, USA)
@InProceedings{ISSTA22p170,
author = {Jialai Wang and Han Qiu and Yi Rong and Hengkai Ye and Qi Li and Zongpeng Li and Chao Zhang},
title = {BET: Black-Box Efficient Testing for Convolutional Neural Networks},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {170-169},
doi = {10.1145/3533767.3534386},
year = {2022},
}
Publisher's Version
Article: issta22main-p139-p doi:10.1145/3533767.3534386
|
| |
Liang, Bin |
ISSTA '22: "Hunting Bugs with Accelerated ..."
Hunting Bugs with Accelerated Optimal Graph Vertex Matching
Xiaohui Zhang, Yuanjun Gong, Bin Liang, Jianjun Huang, Wei You, Wenchang Shi, and Jian Zhang
(Renmin University of China, China; University of Chinese Academy of Sciences, China)
@InProceedings{ISSTA22p66,
author = {Xiaohui Zhang and Yuanjun Gong and Bin Liang and Jianjun Huang and Wei You and Wenchang Shi and Jian Zhang},
title = {Hunting Bugs with Accelerated Optimal Graph Vertex Matching},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {66-65},
doi = {10.1145/3533767.3534393},
year = {2022},
}
Publisher's Version
Article: issta22main-p245-p doi:10.1145/3533767.3534393
|
| |
Liang, Hong |
ISSTA '22: "SLIME: Program-Sensitive Energy ..."
SLIME: Program-Sensitive Energy Allocation for Fuzzing
Chenyang Lyu, Hong Liang, Shouling Ji, Xuhong Zhang, Binbin Zhao, Meng Han, Yun Li, Zhe Wang, Wenhai Wang, and Raheem Beyah
(Zhejiang University, China; Georgia Institute of Technology, USA; Huawei Technologies, China; Institute of Computing Technology at Chinese Academy of Sciences, China)
@InProceedings{ISSTA22p378,
author = {Chenyang Lyu and Hong Liang and Shouling Ji and Xuhong Zhang and Binbin Zhao and Meng Han and Yun Li and Zhe Wang and Wenhai Wang and Raheem Beyah},
title = {SLIME: Program-Sensitive Energy Allocation for Fuzzing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {378-377},
doi = {10.1145/3533767.3534385},
year = {2022},
}
Publisher's Version
Article: issta22main-p134-p doi:10.1145/3533767.3534385
|
| |
Liang, Jie |
ISSTA '22: "Unicorn: Detect Runtime Errors ..."
Unicorn: Detect Runtime Errors in Time-Series Databases with Hybrid Input Synthesis
Zhiyong Wu, Jie Liang, Mingzhe Wang, Chijin Zhou, and Yu Jiang
(Tsinghua University, China; ShuimuYulin, China)
@InProceedings{ISSTA22p261,
author = {Zhiyong Wu and Jie Liang and Mingzhe Wang and Chijin Zhou and Yu Jiang},
title = {Unicorn: Detect Runtime Errors in Time-Series Databases with Hybrid Input Synthesis},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {261-260},
doi = {10.1145/3533767.3534364},
year = {2022},
}
Publisher's Version
Article: issta22main-p1-p doi:10.1145/3533767.3534364
|
| |
Liang, Zhenkai |
ISSTA '22: "TeLL: Log Level Suggestions ..."
TeLL: Log Level Suggestions via Modeling Multi-level Code Block Information
Jiahao Liu, Jun Zeng, Xiang Wang, Kaihang Ji, and Zhenkai Liang
(National University of Singapore, Singapore; University of Science and Technology of China, China)
@InProceedings{ISSTA22p27,
author = {Jiahao Liu and Jun Zeng and Xiang Wang and Kaihang Ji and Zhenkai Liang},
title = {TeLL: Log Level Suggestions via Modeling Multi-level Code Block Information},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {27-26},
doi = {10.1145/3533767.3534379},
year = {2022},
}
Publisher's Version
Article: issta22main-p99-p doi:10.1145/3533767.3534379
|
| |
Liao, Zeqin |
ISSTA '22: "SmartDagger: A Bytecode-Based ..."
SmartDagger: A Bytecode-Based Static Analysis Approach for Detecting Cross-Contract Vulnerability
Zeqin Liao, Zibin Zheng, Xiao Chen, and Yuhong Nan
(Sun Yat-sen University, China)
@InProceedings{ISSTA22p781,
author = {Zeqin Liao and Zibin Zheng and Xiao Chen and Yuhong Nan},
title = {SmartDagger: A Bytecode-Based Static Analysis Approach for Detecting Cross-Contract Vulnerability},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {781-780},
doi = {10.1145/3533767.3534222},
year = {2022},
}
Publisher's Version
Article: issta22main-p283-p doi:10.1145/3533767.3534222
|
| |
Lin, Changting |
ISSTA '22: "A Large-Scale Empirical Analysis ..."
A Large-Scale Empirical Analysis of the Vulnerabilities Introduced by Third-Party Components in IoT Firmware
Binbin Zhao, Shouling Ji, Jiacheng Xu, Yuan Tian, Qiuyang Wei, Qinying Wang, Chenyang Lyu, Xuhong Zhang, Changting Lin, Jingzheng Wu, and Raheem Beyah
(Zhejiang University, China; Georgia Institute of Technology, USA; University of Virginia, USA; Institute of Software at Chinese Academy of Sciences, China)
@InProceedings{ISSTA22p456,
author = {Binbin Zhao and Shouling Ji and Jiacheng Xu and Yuan Tian and Qiuyang Wei and Qinying Wang and Chenyang Lyu and Xuhong Zhang and Changting Lin and Jingzheng Wu and Raheem Beyah},
title = {A Large-Scale Empirical Analysis of the Vulnerabilities Introduced by Third-Party Components in IoT Firmware},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {456-455},
doi = {10.1145/3533767.3534366},
year = {2022},
}
Publisher's Version
Article: issta22main-p13-p doi:10.1145/3533767.3534366
|
| |
Lin, Shang-Wei |
ISSTA '22: "Finding Permission Bugs in ..."
Finding Permission Bugs in Smart Contracts with Role Mining
Ye Liu, Yi Li, Shang-Wei Lin, and Cyrille Artho
(Nanyang Technological University, Singapore; KTH, Sweden)
@InProceedings{ISSTA22p742,
author = {Ye Liu and Yi Li and Shang-Wei Lin and Cyrille Artho},
title = {Finding Permission Bugs in Smart Contracts with Role Mining},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {742-741},
doi = {10.1145/3533767.3534372},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Article: issta22main-p54-p doi:10.1145/3533767.3534372
|
| |
Lin, Yun |
ISSTA '22: "RegMiner: Towards Constructing ..."
RegMiner: Towards Constructing a Large Regression Dataset from Code Evolution History
Xuezhi Song, Yun Lin, Siang Hwee Ng, Yijian Wu, Xin Peng, Jin Song Dong, and Hong Mei
(Fudan University, China; Shanghai Jiao Tong University, China; National University of Singapore, Singapore; Peking University, China)
@InProceedings{ISSTA22p326,
author = {Xuezhi Song and Yun Lin and Siang Hwee Ng and Yijian Wu and Xin Peng and Jin Song Dong and Hong Mei},
title = {RegMiner: Towards Constructing a Large Regression Dataset from Code Evolution History},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {326-325},
doi = {10.1145/3533767.3534224},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: issta22main-p553-p doi:10.1145/3533767.3534224
|
| |
Lipp, Stephan |
ISSTA '22: "An Empirical Study on the ..."
An Empirical Study on the Effectiveness of Static C Code Analyzers for Vulnerability Detection
Stephan Lipp, Sebastian Banescu, and Alexander Pretschner
(TU Munich, Germany)
@InProceedings{ISSTA22p560,
author = {Stephan Lipp and Sebastian Banescu and Alexander Pretschner},
title = {An Empirical Study on the Effectiveness of Static C Code Analyzers for Vulnerability Detection},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {560-559},
doi = {10.1145/3533767.3534380},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: issta22main-p109-p doi:10.1145/3533767.3534380
|
| |
Liu, Jia |
ISSTA '22: "ASRTest: Automated Testing ..."
ASRTest: Automated Testing for Deep-Neural-Network-Driven Speech Recognition Systems
Pin Ji, Yang Feng, Jia Liu, Zhihong Zhao, and Zhenyu Chen
(Nanjing University, China)
@InProceedings{ISSTA22p196,
author = {Pin Ji and Yang Feng and Jia Liu and Zhihong Zhao and Zhenyu Chen},
title = {ASRTest: Automated Testing for Deep-Neural-Network-Driven Speech Recognition Systems},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {196-195},
doi = {10.1145/3533767.3534391},
year = {2022},
}
Publisher's Version
Article: issta22main-p231-p doi:10.1145/3533767.3534391
|
| |
Liu, Jiahao |
ISSTA '22: "TeLL: Log Level Suggestions ..."
TeLL: Log Level Suggestions via Modeling Multi-level Code Block Information
Jiahao Liu, Jun Zeng, Xiang Wang, Kaihang Ji, and Zhenkai Liang
(National University of Singapore, Singapore; University of Science and Technology of China, China)
@InProceedings{ISSTA22p27,
author = {Jiahao Liu and Jun Zeng and Xiang Wang and Kaihang Ji and Zhenkai Liang},
title = {TeLL: Log Level Suggestions via Modeling Multi-level Code Block Information},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {27-26},
doi = {10.1145/3533767.3534379},
year = {2022},
}
Publisher's Version
Article: issta22main-p99-p doi:10.1145/3533767.3534379
|
| |
Liu, Minghao |
ISSTA '22: "𝜀-Weakened Robustness ..."
𝜀-Weakened Robustness of Deep Neural Networks
Pei Huang, Yuting Yang, Minghao Liu, Fuqi Jia, Feifei Ma, and Jian Zhang
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China)
@InProceedings{ISSTA22p131,
author = {Pei Huang and Yuting Yang and Minghao Liu and Fuqi Jia and Feifei Ma and Jian Zhang},
title = {<i>𝜀</i>-Weakened Robustness of Deep Neural Networks},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {131-130},
doi = {10.1145/3533767.3534373},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: issta22main-p58-p doi:10.1145/3533767.3534373
|
| |
Liu, Pei |
ISSTA '22: "Automatically Detecting API-Induced ..."
Automatically Detecting API-Induced Compatibility Issues in Android Apps: A Comparative Analysis (Replicability Study)
Pei Liu, Yanjie Zhao, Haipeng Cai, Mattia Fazzini, John Grundy, and Li Li
(Monash University, Australia; Washington State University, USA; University of Minnesota, USA)
@InProceedings{ISSTA22p638,
author = {Pei Liu and Yanjie Zhao and Haipeng Cai and Mattia Fazzini and John Grundy and Li Li},
title = {Automatically Detecting API-Induced Compatibility Issues in Android Apps: A Comparative Analysis (Replicability Study)},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {638-637},
doi = {10.1145/3533767.3534407},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: issta22main-p486-p doi:10.1145/3533767.3534407
|
| |
Liu, Ting |
ISSTA '22: "One Step Further: Evaluating ..."
One Step Further: Evaluating Interpreters using Metamorphic Testing
Ming Fan, Jiali Wei, Wuxia Jin, Zhou Xu, Wenying Wei, and Ting Liu
(Xi'an Jiaotong University, China; Chongqing University, China)
@InProceedings{ISSTA22p339,
author = {Ming Fan and Jiali Wei and Wuxia Jin and Zhou Xu and Wenying Wei and Ting Liu},
title = {One Step Further: Evaluating Interpreters using Metamorphic Testing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {339-338},
doi = {10.1145/3533767.3534225},
year = {2022},
}
Publisher's Version
Article: issta22main-p612-p doi:10.1145/3533767.3534225
|
| |
Liu, Tongping |
ISSTA '22: "Deadlock Prediction via Generalized ..."
Deadlock Prediction via Generalized Dependency
Jinpeng Zhou, Hanmei Yang, John Lange, and Tongping Liu
(University of Pittsburgh, USA; University of Massachusetts at Amherst, USA; Oak Ridge National Laboratory, USA)
@InProceedings{ISSTA22p469,
author = {Jinpeng Zhou and Hanmei Yang and John Lange and Tongping Liu},
title = {Deadlock Prediction via Generalized Dependency},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {469-468},
doi = {10.1145/3533767.3534377},
year = {2022},
}
Publisher's Version
Article: issta22main-p92-p doi:10.1145/3533767.3534377
|
| |
Liu, Xuwei |
ISSTA '22: "TensileFuzz: Facilitating ..."
TensileFuzz: Facilitating Seed Input Generation in Fuzzing via String Constraint Solving
Xuwei Liu, Wei You, Zhuo Zhang, and Xiangyu Zhang
(Purdue University, USA; Renmin University of China, China)
@InProceedings{ISSTA22p404,
author = {Xuwei Liu and Wei You and Zhuo Zhang and Xiangyu Zhang},
title = {TensileFuzz: Facilitating Seed Input Generation in Fuzzing via String Constraint Solving},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {404-403},
doi = {10.1145/3533767.3534403},
year = {2022},
}
Publisher's Version
Article: issta22main-p466-p doi:10.1145/3533767.3534403
|
| |
Liu, Yang |
ISSTA '22: "Cross-Lingual Transfer Learning ..."
Cross-Lingual Transfer Learning for Statistical Type Inference
Zhiming Li, Xiaofei Xie, Haoliang Li, Zhengzi Xu, Yi Li, and Yang Liu
(Nanyang Technological University, Singapore; Singapore Management University, Singapore; City University of Hong Kong, China)
@InProceedings{ISSTA22p248,
author = {Zhiming Li and Xiaofei Xie and Haoliang Li and Zhengzi Xu and Yi Li and Yang Liu},
title = {Cross-Lingual Transfer Learning for Statistical Type Inference},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {248-247},
doi = {10.1145/3533767.3534411},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: issta22main-p591-p doi:10.1145/3533767.3534411
ISSTA '22: "Efficient Greybox Fuzzing ..."
Efficient Greybox Fuzzing of Applications in Linux-Based IoT Devices via Enhanced User-Mode Emulation
Yaowen Zheng, Yuekang Li, Cen Zhang, Hongsong Zhu, Yang Liu, and Limin Sun
(Nanyang Technological University, Singapore; Institute of Information Engineering at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China)
@InProceedings{ISSTA22p430,
author = {Yaowen Zheng and Yuekang Li and Cen Zhang and Hongsong Zhu and Yang Liu and Limin Sun},
title = {Efficient Greybox Fuzzing of Applications in Linux-Based IoT Devices via Enhanced User-Mode Emulation},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {430-429},
doi = {10.1145/3533767.3534414},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Article: issta22main-p762-p doi:10.1145/3533767.3534414
|
| |
Liu, Ye |
ISSTA '22: "Finding Permission Bugs in ..."
Finding Permission Bugs in Smart Contracts with Role Mining
Ye Liu, Yi Li, Shang-Wei Lin, and Cyrille Artho
(Nanyang Technological University, Singapore; KTH, Sweden)
@InProceedings{ISSTA22p742,
author = {Ye Liu and Yi Li and Shang-Wei Lin and Cyrille Artho},
title = {Finding Permission Bugs in Smart Contracts with Role Mining},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {742-741},
doi = {10.1145/3533767.3534372},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Article: issta22main-p54-p doi:10.1145/3533767.3534372
|
| |
Liu, Yulei |
ISSTA '22: "UniRLTest: Universal Platform-Independent ..."
UniRLTest: Universal Platform-Independent Testing with Reinforcement Learning via Image Understanding
Ziqian Zhang, Yulei Liu, Shengcheng Yu, Xin Li, Yexiao Yun, Chunrong Fang, and Zhenyu Chen
(Nanjing University, China)
@InProceedings{ISSTA22p834,
author = {Ziqian Zhang and Yulei Liu and Shengcheng Yu and Xin Li and Yexiao Yun and Chunrong Fang and Zhenyu Chen},
title = {UniRLTest: Universal Platform-Independent Testing with Reinforcement Learning via Image Understanding},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {834-833},
doi = {10.1145/3533767.3543292},
year = {2022},
}
Publisher's Version
Article: issta22demo-p40-p doi:10.1145/3533767.3543292
|
| |
Lo, David |
ISSTA '22: "Test Mimicry to Assess the ..."
Test Mimicry to Assess the Exploitability of Library Vulnerabilities
Hong Jin Kang, Truong Giang Nguyen, Bach Le, Corina S. Păsăreanu, and David Lo
(Singapore Management University, Singapore; University of Melbourne, Australia; Carnegie Mellon University, USA; NASA Ames Research Center, USA)
@InProceedings{ISSTA22p287,
author = {Hong Jin Kang and Truong Giang Nguyen and Bach Le and Corina S. Păsăreanu and David Lo},
title = {Test Mimicry to Assess the Exploitability of Library Vulnerabilities},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {287-286},
doi = {10.1145/3533767.3534398},
year = {2022},
}
Publisher's Version
Article: issta22main-p306-p doi:10.1145/3533767.3534398
|
| |
Lu, Yifei |
ISSTA '22: "Detecting Resource Utilization ..."
Detecting Resource Utilization Bugs Induced by Variant Lifecycles in Android
Yifei Lu, Minxue Pan, Yu Pei, and Xuandong Li
(Nanjing University, China; Hong Kong Polytechnic University, China)
@InProceedings{ISSTA22p664,
author = {Yifei Lu and Minxue Pan and Yu Pei and Xuandong Li},
title = {Detecting Resource Utilization Bugs Induced by Variant Lifecycles in Android},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {664-663},
doi = {10.1145/3533767.3534413},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: issta22main-p727-p doi:10.1145/3533767.3534413
|
| |
Luo, Xiapu |
ISSTA '22: "PrIntFuzz: Fuzzing Linux Drivers ..."
PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation
Zheyu Ma, Bodong Zhao, Letu Ren, Zheming Li, Siqi Ma, Xiapu Luo, and Chao Zhang
(Tsinghua University, China; Beijing National Research Center for Information Science and Technology, China; UNSW, Australia; Hong Kong Polytechnic University, China)
@InProceedings{ISSTA22p417,
author = {Zheyu Ma and Bodong Zhao and Letu Ren and Zheming Li and Siqi Ma and Xiapu Luo and Chao Zhang},
title = {PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {417-416},
doi = {10.1145/3533767.3534226},
year = {2022},
}
Publisher's Version
Article: issta22main-p746-p doi:10.1145/3533767.3534226
ISSTA '22: "NCScope: Hardware-Assisted ..."
NCScope: Hardware-Assisted Analyzer for Native Code in Android Apps
Hao Zhou, Shuohan Wu, Xiapu Luo, Ting Wang, Yajin Zhou, Chao Zhang, and Haipeng Cai
(Hong Kong Polytechnic University, China; Pennsylvania State University, USA; Zhejiang University, China; Tsinghua University, China; Beijing National Research Center for Information Science and Technology, China; Washington State University, USA)
@InProceedings{ISSTA22p651,
author = {Hao Zhou and Shuohan Wu and Xiapu Luo and Ting Wang and Yajin Zhou and Chao Zhang and Haipeng Cai},
title = {NCScope: Hardware-Assisted Analyzer for Native Code in Android Apps},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {651-650},
doi = {10.1145/3533767.3534410},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: issta22main-p552-p doi:10.1145/3533767.3534410
ISSTA '22: "WASAI: Uncovering Vulnerabilities ..."
WASAI: Uncovering Vulnerabilities in Wasm Smart Contracts
Weimin Chen, Zihan Sun, Haoyu Wang, Xiapu Luo, Haipeng Cai, and Lei Wu
(Hong Kong Polytechnic University, China; Beijing University of Posts and Telecommunications, China; Huazhong University of Science and Technology, China; Washington State University, USA; Zhejiang University, China)
@InProceedings{ISSTA22p729,
author = {Weimin Chen and Zihan Sun and Haoyu Wang and Xiapu Luo and Haipeng Cai and Lei Wu},
title = {WASAI: Uncovering Vulnerabilities in Wasm Smart Contracts},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {729-728},
doi = {10.1145/3533767.3534218},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: issta22main-p27-p doi:10.1145/3533767.3534218
ISSTA '22: "Park: Accelerating Smart Contract ..."
Park: Accelerating Smart Contract Vulnerability Detection via Parallel-Fork Symbolic Execution
Peilin Zheng, Zibin Zheng, and Xiapu Luo
(Sun Yat-sen University, China; Hong Kong Polytechnic University, China)
@InProceedings{ISSTA22p768,
author = {Peilin Zheng and Zibin Zheng and Xiapu Luo},
title = {Park: Accelerating Smart Contract Vulnerability Detection via Parallel-Fork Symbolic Execution},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {768-767},
doi = {10.1145/3533767.3534395},
year = {2022},
}
Publisher's Version
Article: issta22main-p280-p doi:10.1145/3533767.3534395
|
| |
Lyu, Chenyang |
ISSTA '22: "SLIME: Program-Sensitive Energy ..."
SLIME: Program-Sensitive Energy Allocation for Fuzzing
Chenyang Lyu, Hong Liang, Shouling Ji, Xuhong Zhang, Binbin Zhao, Meng Han, Yun Li, Zhe Wang, Wenhai Wang, and Raheem Beyah
(Zhejiang University, China; Georgia Institute of Technology, USA; Huawei Technologies, China; Institute of Computing Technology at Chinese Academy of Sciences, China)
@InProceedings{ISSTA22p378,
author = {Chenyang Lyu and Hong Liang and Shouling Ji and Xuhong Zhang and Binbin Zhao and Meng Han and Yun Li and Zhe Wang and Wenhai Wang and Raheem Beyah},
title = {SLIME: Program-Sensitive Energy Allocation for Fuzzing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {378-377},
doi = {10.1145/3533767.3534385},
year = {2022},
}
Publisher's Version
Article: issta22main-p134-p doi:10.1145/3533767.3534385
ISSTA '22: "A Large-Scale Empirical Analysis ..."
A Large-Scale Empirical Analysis of the Vulnerabilities Introduced by Third-Party Components in IoT Firmware
Binbin Zhao, Shouling Ji, Jiacheng Xu, Yuan Tian, Qiuyang Wei, Qinying Wang, Chenyang Lyu, Xuhong Zhang, Changting Lin, Jingzheng Wu, and Raheem Beyah
(Zhejiang University, China; Georgia Institute of Technology, USA; University of Virginia, USA; Institute of Software at Chinese Academy of Sciences, China)
@InProceedings{ISSTA22p456,
author = {Binbin Zhao and Shouling Ji and Jiacheng Xu and Yuan Tian and Qiuyang Wei and Qinying Wang and Chenyang Lyu and Xuhong Zhang and Changting Lin and Jingzheng Wu and Raheem Beyah},
title = {A Large-Scale Empirical Analysis of the Vulnerabilities Introduced by Third-Party Components in IoT Firmware},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {456-455},
doi = {10.1145/3533767.3534366},
year = {2022},
}
Publisher's Version
Article: issta22main-p13-p doi:10.1145/3533767.3534366
|
| |
Lyu, Michael R. |
ISSTA '22: "AEON: A Method for Automatic ..."
AEON: A Method for Automatic Evaluation of NLP Test Cases
Jen-tse Huang, Jianping Zhang, Wenxuan Wang, Pinjia He, Yuxin Su, and Michael R. Lyu
(Chinese University of Hong Kong, China; Chinese University of Hong Kong at Shenzhen, China; Sun Yat-sen University, China)
@InProceedings{ISSTA22p209,
author = {Jen-tse Huang and Jianping Zhang and Wenxuan Wang and Pinjia He and Yuxin Su and Michael R. Lyu},
title = {AEON: A Method for Automatic Evaluation of NLP Test Cases},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {209-208},
doi = {10.1145/3533767.3534394},
year = {2022},
}
Publisher's Version
Article: issta22main-p254-p doi:10.1145/3533767.3534394
|
| |
Ma, Feifei
|
ISSTA '22: "𝜀-Weakened Robustness ..."
𝜀-Weakened Robustness of Deep Neural Networks
Pei Huang, Yuting Yang, Minghao Liu, Fuqi Jia, Feifei Ma, and Jian Zhang
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China)
@InProceedings{ISSTA22p131,
author = {Pei Huang and Yuting Yang and Minghao Liu and Fuqi Jia and Feifei Ma and Jian Zhang},
title = {<i>𝜀</i>-Weakened Robustness of Deep Neural Networks},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {131-130},
doi = {10.1145/3533767.3534373},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: issta22main-p58-p doi:10.1145/3533767.3534373
|
| |
Ma, Siqi |
ISSTA '22: "PrIntFuzz: Fuzzing Linux Drivers ..."
PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation
Zheyu Ma, Bodong Zhao, Letu Ren, Zheming Li, Siqi Ma, Xiapu Luo, and Chao Zhang
(Tsinghua University, China; Beijing National Research Center for Information Science and Technology, China; UNSW, Australia; Hong Kong Polytechnic University, China)
@InProceedings{ISSTA22p417,
author = {Zheyu Ma and Bodong Zhao and Letu Ren and Zheming Li and Siqi Ma and Xiapu Luo and Chao Zhang},
title = {PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {417-416},
doi = {10.1145/3533767.3534226},
year = {2022},
}
Publisher's Version
Article: issta22main-p746-p doi:10.1145/3533767.3534226
|
| |
Ma, Zheyu |
ISSTA '22: "PrIntFuzz: Fuzzing Linux Drivers ..."
PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation
Zheyu Ma, Bodong Zhao, Letu Ren, Zheming Li, Siqi Ma, Xiapu Luo, and Chao Zhang
(Tsinghua University, China; Beijing National Research Center for Information Science and Technology, China; UNSW, Australia; Hong Kong Polytechnic University, China)
@InProceedings{ISSTA22p417,
author = {Zheyu Ma and Bodong Zhao and Letu Ren and Zheming Li and Siqi Ma and Xiapu Luo and Chao Zhang},
title = {PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {417-416},
doi = {10.1145/3533767.3534226},
year = {2022},
}
Publisher's Version
Article: issta22main-p746-p doi:10.1145/3533767.3534226
|
| |
Marcus, Andrian |
ISSTA '22: "Faster Mutation Analysis with ..."
Faster Mutation Analysis with MeMu
Ali Ghanbari and Andrian Marcus
(Iowa State University, USA; University of Texas at Dallas, USA)
@InProceedings{ISSTA22p810,
author = {Ali Ghanbari and Andrian Marcus},
title = {Faster Mutation Analysis with MeMu},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {810-809},
doi = {10.1145/3533767.3543288},
year = {2022},
}
Publisher's Version
Article: issta22demo-p12-p doi:10.1145/3533767.3543288
ISSTA '22: "Patch Correctness Assessment ..."
Patch Correctness Assessment in Automated Program Repair Based on the Impact of Patches on Production and Test Code
Ali Ghanbari and Andrian Marcus
(Iowa State University, USA; University of Texas at Dallas, USA)
@InProceedings{ISSTA22p677,
author = {Ali Ghanbari and Andrian Marcus},
title = {Patch Correctness Assessment in Automated Program Repair Based on the Impact of Patches on Production and Test Code},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {677-676},
doi = {10.1145/3533767.3534368},
year = {2022},
}
Publisher's Version
Article: issta22main-p22-p doi:10.1145/3533767.3534368
|
| |
Mariani, Leonardo |
ISSTA '22: "Automatic Generation of Smoke ..."
Automatic Generation of Smoke Test Suites for Kubernetes
Cecilio Cannavacciuolo and Leonardo Mariani
(Anoki, Italy; University of Milano-Bicocca, Italy)
@InProceedings{ISSTA22p798,
author = {Cecilio Cannavacciuolo and Leonardo Mariani},
title = {Automatic Generation of Smoke Test Suites for Kubernetes},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {798-797},
doi = {10.1145/3533767.3543298},
year = {2022},
}
Publisher's Version
Article: issta22demo-p96-p doi:10.1145/3533767.3543298
|
| |
Mei, Hong |
ISSTA '22: "RegMiner: Towards Constructing ..."
RegMiner: Towards Constructing a Large Regression Dataset from Code Evolution History
Xuezhi Song, Yun Lin, Siang Hwee Ng, Yijian Wu, Xin Peng, Jin Song Dong, and Hong Mei
(Fudan University, China; Shanghai Jiao Tong University, China; National University of Singapore, Singapore; Peking University, China)
@InProceedings{ISSTA22p326,
author = {Xuezhi Song and Yun Lin and Siang Hwee Ng and Yijian Wu and Xin Peng and Jin Song Dong and Hong Mei},
title = {RegMiner: Towards Constructing a Large Regression Dataset from Code Evolution History},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {326-325},
doi = {10.1145/3533767.3534224},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: issta22main-p553-p doi:10.1145/3533767.3534224
|
| |
Menezes, Rafael |
ISSTA '22: "ESBMC-CHERI: Towards Verification ..."
ESBMC-CHERI: Towards Verification of C Programs for CHERI Platforms with ESBMC
Franz Brauße, Fedor Shmarov, Rafael Menezes, Mikhail R. Gadelha, Konstantin Korovin, Giles Reger, and Lucas C. Cordeiro
(University of Manchester, UK; Igalia, Brazil)
@InProceedings{ISSTA22p802,
author = {Franz Brauße and Fedor Shmarov and Rafael Menezes and Mikhail R. Gadelha and Konstantin Korovin and Giles Reger and Lucas C. Cordeiro},
title = {ESBMC-CHERI: Towards Verification of C Programs for CHERI Platforms with ESBMC},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {802-801},
doi = {10.1145/3533767.3543289},
year = {2022},
}
Publisher's Version
Article: issta22demo-p21-p doi:10.1145/3533767.3543289
ISSTA '22: "ESBMC-Jimple: Verifying Kotlin ..."
ESBMC-Jimple: Verifying Kotlin Programs via Jimple Intermediate Representation
Rafael Menezes, Daniel Moura, Helena Cavalcante, Rosiane de Freitas, and Lucas C. Cordeiro
(University of Manchester, UK; Federal University of Amazonas, Brazil)
@InProceedings{ISSTA22p806,
author = {Rafael Menezes and Daniel Moura and Helena Cavalcante and Rosiane de Freitas and Lucas C. Cordeiro},
title = {ESBMC-Jimple: Verifying Kotlin Programs via Jimple Intermediate Representation},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {806-805},
doi = {10.1145/3533767.3543294},
year = {2022},
}
Publisher's Version
Article: issta22demo-p68-p doi:10.1145/3533767.3543294
|
| |
Milanova, Ana |
ISSTA '22: "The Raise of Machine Learning ..."
The Raise of Machine Learning Hyperparameter Constraints in Python Code
Ingkarat Rak-amnouykit, Ana Milanova, Guillaume Baudart, Martin Hirzel, and Julian Dolby
(Rensselaer Polytechnic Institute, USA; Inria, France; ENS-PSL University, France; IBM Research, USA)
@InProceedings{ISSTA22p599,
author = {Ingkarat Rak-amnouykit and Ana Milanova and Guillaume Baudart and Martin Hirzel and Julian Dolby},
title = {The Raise of Machine Learning Hyperparameter Constraints in Python Code},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {599-598},
doi = {10.1145/3533767.3534400},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: issta22main-p336-p doi:10.1145/3533767.3534400
|
| |
Moura, Daniel |
ISSTA '22: "ESBMC-Jimple: Verifying Kotlin ..."
ESBMC-Jimple: Verifying Kotlin Programs via Jimple Intermediate Representation
Rafael Menezes, Daniel Moura, Helena Cavalcante, Rosiane de Freitas, and Lucas C. Cordeiro
(University of Manchester, UK; Federal University of Amazonas, Brazil)
@InProceedings{ISSTA22p806,
author = {Rafael Menezes and Daniel Moura and Helena Cavalcante and Rosiane de Freitas and Lucas C. Cordeiro},
title = {ESBMC-Jimple: Verifying Kotlin Programs via Jimple Intermediate Representation},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {806-805},
doi = {10.1145/3533767.3543294},
year = {2022},
}
Publisher's Version
Article: issta22demo-p68-p doi:10.1145/3533767.3543294
|
| |
Moussa, Rebecca |
ISSTA '22: "On the Use of Evaluation Measures ..."
On the Use of Evaluation Measures for Defect Prediction Studies
Rebecca Moussa and Federica Sarro
(University College London, UK)
@InProceedings{ISSTA22p105,
author = {Rebecca Moussa and Federica Sarro},
title = {On the Use of Evaluation Measures for Defect Prediction Studies},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {105-104},
doi = {10.1145/3533767.3534405},
year = {2022},
}
Publisher's Version
Article: issta22main-p471-p doi:10.1145/3533767.3534405
|
| |
Mytkowicz, Todd |
ISSTA '22: "Using Pre-trained Language ..."
Using Pre-trained Language Models to Resolve Textual and Semantic Merge Conflicts (Experience Paper)
Jialu Zhang, Todd Mytkowicz, Mike Kaufman, Ruzica Piskac, and Shuvendu K. Lahiri
(Yale University, USA; Microsoft Research, USA; Microsoft, USA)
@InProceedings{ISSTA22p79,
author = {Jialu Zhang and Todd Mytkowicz and Mike Kaufman and Ruzica Piskac and Shuvendu K. Lahiri},
title = {Using Pre-trained Language Models to Resolve Textual and Semantic Merge Conflicts (Experience Paper)},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {79-78},
doi = {10.1145/3533767.3534396},
year = {2022},
}
Publisher's Version
Article: issta22main-p284-p doi:10.1145/3533767.3534396
|
| |
Nachtigall, Marcus
|
ISSTA '22: "A Large-Scale Study of Usability ..."
A Large-Scale Study of Usability Criteria Addressed by Static Analysis Tools
Marcus Nachtigall, Michael Schlichtig, and Eric Bodden
(Paderborn University, Germany; Fraunhofer IEM, Germany)
@InProceedings{ISSTA22p547,
author = {Marcus Nachtigall and Michael Schlichtig and Eric Bodden},
title = {A Large-Scale Study of Usability Criteria Addressed by Static Analysis Tools},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {547-546},
doi = {10.1145/3533767.3534374},
year = {2022},
}
Publisher's Version
Archive submitted (36 kB)
Article: issta22main-p71-p doi:10.1145/3533767.3534374
|
| |
Nan, Yuhong |
ISSTA '22: "SmartDagger: A Bytecode-Based ..."
SmartDagger: A Bytecode-Based Static Analysis Approach for Detecting Cross-Contract Vulnerability
Zeqin Liao, Zibin Zheng, Xiao Chen, and Yuhong Nan
(Sun Yat-sen University, China)
@InProceedings{ISSTA22p781,
author = {Zeqin Liao and Zibin Zheng and Xiao Chen and Yuhong Nan},
title = {SmartDagger: A Bytecode-Based Static Analysis Approach for Detecting Cross-Contract Vulnerability},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {781-780},
doi = {10.1145/3533767.3534222},
year = {2022},
}
Publisher's Version
Article: issta22main-p283-p doi:10.1145/3533767.3534222
|
| |
Ng, Siang Hwee |
ISSTA '22: "RegMiner: Towards Constructing ..."
RegMiner: Towards Constructing a Large Regression Dataset from Code Evolution History
Xuezhi Song, Yun Lin, Siang Hwee Ng, Yijian Wu, Xin Peng, Jin Song Dong, and Hong Mei
(Fudan University, China; Shanghai Jiao Tong University, China; National University of Singapore, Singapore; Peking University, China)
@InProceedings{ISSTA22p326,
author = {Xuezhi Song and Yun Lin and Siang Hwee Ng and Yijian Wu and Xin Peng and Jin Song Dong and Hong Mei},
title = {RegMiner: Towards Constructing a Large Regression Dataset from Code Evolution History},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {326-325},
doi = {10.1145/3533767.3534224},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: issta22main-p553-p doi:10.1145/3533767.3534224
|
| |
Ngo, Chanh-Duc |
ISSTA '22: "ATUA: An Update-Driven App ..."
ATUA: An Update-Driven App Testing Tool
Chanh-Duc Ngo, Fabrizio Pastore, and Lionel C. Briand
(University of Luxembourg, Luxembourg; University of Ottawa, Canada)
@InProceedings{ISSTA22p794,
author = {Chanh-Duc Ngo and Fabrizio Pastore and Lionel C. Briand},
title = {ATUA: An Update-Driven App Testing Tool},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {794-793},
doi = {10.1145/3533767.3543293},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: issta22demo-p60-p doi:10.1145/3533767.3543293
|
| |
Nguyen, ThanhVu |
ISSTA '22: "ATR: Template-Based Repair ..."
ATR: Template-Based Repair for Alloy Specifications
Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Nazareno Aguirre, Marcelo F. Frias, and Hamid Bagheri
(University of Nebraska-Lincoln, USA; George Mason University, USA; University of Rio Cuarto, Argentina; CONICET, Argentina; Buenos Aires Institute of Technology, Argentina)
@InProceedings{ISSTA22p690,
author = {Guolong Zheng and ThanhVu Nguyen and Simón Gutiérrez Brida and Germán Regis and Nazareno Aguirre and Marcelo F. Frias and Hamid Bagheri},
title = {ATR: Template-Based Repair for Alloy Specifications},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {690-689},
doi = {10.1145/3533767.3534369},
year = {2022},
}
Publisher's Version
Article: issta22main-p25-p doi:10.1145/3533767.3534369
|
| |
Nguyen, Truong Giang |
ISSTA '22: "Test Mimicry to Assess the ..."
Test Mimicry to Assess the Exploitability of Library Vulnerabilities
Hong Jin Kang, Truong Giang Nguyen, Bach Le, Corina S. Păsăreanu, and David Lo
(Singapore Management University, Singapore; University of Melbourne, Australia; Carnegie Mellon University, USA; NASA Ames Research Center, USA)
@InProceedings{ISSTA22p287,
author = {Hong Jin Kang and Truong Giang Nguyen and Bach Le and Corina S. Păsăreanu and David Lo},
title = {Test Mimicry to Assess the Exploitability of Library Vulnerabilities},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {287-286},
doi = {10.1145/3533767.3534398},
year = {2022},
}
Publisher's Version
Article: issta22main-p306-p doi:10.1145/3533767.3534398
|
| |
Orso, Alessandro
|
ISSTA '22: "Automated Test Generation ..."
Automated Test Generation for REST APIs: No Time to Rest Yet
Myeongsoo Kim, Qi Xin, Saurabh Sinha, and Alessandro Orso
(Georgia Institute of Technology, USA; Wuhan University, China; IBM Research, USA)
@InProceedings{ISSTA22p300,
author = {Myeongsoo Kim and Qi Xin and Saurabh Sinha and Alessandro Orso},
title = {Automated Test Generation for REST APIs: No Time to Rest Yet},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {300-299},
doi = {10.1145/3533767.3534401},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: issta22main-p382-p doi:10.1145/3533767.3534401
|
| |
Pan, Minxue
|
ISSTA '22: "Detecting Resource Utilization ..."
Detecting Resource Utilization Bugs Induced by Variant Lifecycles in Android
Yifei Lu, Minxue Pan, Yu Pei, and Xuandong Li
(Nanjing University, China; Hong Kong Polytechnic University, China)
@InProceedings{ISSTA22p664,
author = {Yifei Lu and Minxue Pan and Yu Pei and Xuandong Li},
title = {Detecting Resource Utilization Bugs Induced by Variant Lifecycles in Android},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {664-663},
doi = {10.1145/3533767.3534413},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: issta22main-p727-p doi:10.1145/3533767.3534413
|
| |
Pang, Qi |
ISSTA '22: "MDPFuzz: Testing Models Solving ..."
MDPFuzz: Testing Models Solving Markov Decision Processes
Qi Pang, Yuanyuan Yuan, and Shuai Wang
(Hong Kong University of Science and Technology, China)
@InProceedings{ISSTA22p391,
author = {Qi Pang and Yuanyuan Yuan and Shuai Wang},
title = {MDPFuzz: Testing Models Solving Markov Decision Processes},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {391-390},
doi = {10.1145/3533767.3534388},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: issta22main-p189-p doi:10.1145/3533767.3534388
|
| |
Păsăreanu, Corina S. |
ISSTA '22: "Test Mimicry to Assess the ..."
Test Mimicry to Assess the Exploitability of Library Vulnerabilities
Hong Jin Kang, Truong Giang Nguyen, Bach Le, Corina S. Păsăreanu, and David Lo
(Singapore Management University, Singapore; University of Melbourne, Australia; Carnegie Mellon University, USA; NASA Ames Research Center, USA)
@InProceedings{ISSTA22p287,
author = {Hong Jin Kang and Truong Giang Nguyen and Bach Le and Corina S. Păsăreanu and David Lo},
title = {Test Mimicry to Assess the Exploitability of Library Vulnerabilities},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {287-286},
doi = {10.1145/3533767.3534398},
year = {2022},
}
Publisher's Version
Article: issta22main-p306-p doi:10.1145/3533767.3534398
|
| |
Pastore, Fabrizio |
ISSTA '22: "ATUA: An Update-Driven App ..."
ATUA: An Update-Driven App Testing Tool
Chanh-Duc Ngo, Fabrizio Pastore, and Lionel C. Briand
(University of Luxembourg, Luxembourg; University of Ottawa, Canada)
@InProceedings{ISSTA22p794,
author = {Chanh-Duc Ngo and Fabrizio Pastore and Lionel C. Briand},
title = {ATUA: An Update-Driven App Testing Tool},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {794-793},
doi = {10.1145/3533767.3543293},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: issta22demo-p60-p doi:10.1145/3533767.3543293
|
| |
Pattabiraman, Karthik |
ISSTA '22: "eTainter: Detecting Gas-Related ..."
eTainter: Detecting Gas-Related Vulnerabilities in Smart Contracts
Asem Ghaleb, Julia Rubin, and Karthik Pattabiraman
(University of British Columbia, Canada)
@InProceedings{ISSTA22p755,
author = {Asem Ghaleb and Julia Rubin and Karthik Pattabiraman},
title = {eTainter: Detecting Gas-Related Vulnerabilities in Smart Contracts},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {755-754},
doi = {10.1145/3533767.3534378},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Article: issta22main-p98-p doi:10.1145/3533767.3534378
|
| |
Pei, Yu |
ISSTA '22: "Detecting Resource Utilization ..."
Detecting Resource Utilization Bugs Induced by Variant Lifecycles in Android
Yifei Lu, Minxue Pan, Yu Pei, and Xuandong Li
(Nanjing University, China; Hong Kong Polytechnic University, China)
@InProceedings{ISSTA22p664,
author = {Yifei Lu and Minxue Pan and Yu Pei and Xuandong Li},
title = {Detecting Resource Utilization Bugs Induced by Variant Lifecycles in Android},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {664-663},
doi = {10.1145/3533767.3534413},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: issta22main-p727-p doi:10.1145/3533767.3534413
|
| |
Peng, Xin |
ISSTA '22: "iFixDataloss: A Tool for Detecting ..."
iFixDataloss: A Tool for Detecting and Fixing Data Loss Issues in Android Apps
Wunan Guo, Zhen Dong, Liwei Shen, Wei Tian, Ting Su, and Xin Peng
(Fudan University, China; East China Normal University, China)
@InProceedings{ISSTA22p814,
author = {Wunan Guo and Zhen Dong and Liwei Shen and Wei Tian and Ting Su and Xin Peng},
title = {iFixDataloss: A Tool for Detecting and Fixing Data Loss Issues in Android Apps},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {814-813},
doi = {10.1145/3533767.3543297},
year = {2022},
}
Publisher's Version
Article: issta22demo-p93-p doi:10.1145/3533767.3543297
ISSTA '22: "RegMiner: Towards Constructing ..."
RegMiner: Towards Constructing a Large Regression Dataset from Code Evolution History
Xuezhi Song, Yun Lin, Siang Hwee Ng, Yijian Wu, Xin Peng, Jin Song Dong, and Hong Mei
(Fudan University, China; Shanghai Jiao Tong University, China; National University of Singapore, Singapore; Peking University, China)
@InProceedings{ISSTA22p326,
author = {Xuezhi Song and Yun Lin and Siang Hwee Ng and Yijian Wu and Xin Peng and Jin Song Dong and Hong Mei},
title = {RegMiner: Towards Constructing a Large Regression Dataset from Code Evolution History},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {326-325},
doi = {10.1145/3533767.3534224},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: issta22main-p553-p doi:10.1145/3533767.3534224
ISSTA '22: "Detecting and Fixing Data ..."
Detecting and Fixing Data Loss Issues in Android Apps
Wunan Guo, Zhen Dong, Liwei Shen, Wei Tian, Ting Su, and Xin Peng
(Fudan University, China; East China Normal University, China)
@InProceedings{ISSTA22p625,
author = {Wunan Guo and Zhen Dong and Liwei Shen and Wei Tian and Ting Su and Xin Peng},
title = {Detecting and Fixing Data Loss Issues in Android Apps},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {625-624},
doi = {10.1145/3533767.3534402},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Article: issta22main-p430-p doi:10.1145/3533767.3534402
|
| |
Perretta, James |
ISSTA '22: "On the Use of Mutation Analysis ..."
On the Use of Mutation Analysis for Evaluating Student Test Suite Quality
James Perretta, Andrew DeOrio, Arjun Guha, and Jonathan Bell
(Northeastern University, USA; University of Michigan, USA)
@InProceedings{ISSTA22p274,
author = {James Perretta and Andrew DeOrio and Arjun Guha and Jonathan Bell},
title = {On the Use of Mutation Analysis for Evaluating Student Test Suite Quality},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {274-273},
doi = {10.1145/3533767.3534217},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: issta22main-p23-p doi:10.1145/3533767.3534217
|
| |
Pham, Hung Viet |
ISSTA '22: "DocTer: Documentation-Guided ..."
DocTer: Documentation-Guided Fuzzing for Testing Deep Learning API Functions
Danning Xie, Yitong Li, Mijung Kim, Hung Viet Pham, Lin Tan, Xiangyu Zhang, and Michael W. Godfrey
(Purdue University, USA; University of Waterloo, Canada; Ulsan National Institute of Science and Technology, South Korea)
@InProceedings{ISSTA22p183,
author = {Danning Xie and Yitong Li and Mijung Kim and Hung Viet Pham and Lin Tan and Xiangyu Zhang and Michael W. Godfrey},
title = {DocTer: Documentation-Guided Fuzzing for Testing Deep Learning API Functions},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {183-182},
doi = {10.1145/3533767.3534220},
year = {2022},
}
Publisher's Version
Article: issta22main-p174-p doi:10.1145/3533767.3534220
|
| |
Pham, Van-Thuan |
ISSTA '22: "Human-in-the-Loop Oracle Learning ..."
Human-in-the-Loop Oracle Learning for Semantic Bugs in String Processing Programs
Charaka Geethal Kapugama, Van-Thuan Pham, Aldeida Aleti, and Marcel Böhme
(Monash University, Australia; University of Melbourne, Australia; MPI-SP, Germany)
@InProceedings{ISSTA22p222,
author = {Charaka Geethal Kapugama and Van-Thuan Pham and Aldeida Aleti and Marcel Böhme},
title = {Human-in-the-Loop Oracle Learning for Semantic Bugs in String Processing Programs},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {222-221},
doi = {10.1145/3533767.3534406},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: issta22main-p481-p doi:10.1145/3533767.3534406
|
| |
Pinconschi, Eduard |
ISSTA '22: "Maestro: A Platform for Benchmarking ..."
Maestro: A Platform for Benchmarking Automatic Program Repair Tools on Software Vulnerabilities
Eduard Pinconschi, Quang-Cuong Bui, Rui Abreu, Pedro Adão, and Riccardo Scandariato
(INESC-ID, Portugal; University of Porto, Portugal; Hamburg University of Technology, Germany; IST-ULisboa, Portugal; Instituto de Telecomunicações, Portugal)
@InProceedings{ISSTA22p818,
author = {Eduard Pinconschi and Quang-Cuong Bui and Rui Abreu and Pedro Adão and Riccardo Scandariato},
title = {Maestro: A Platform for Benchmarking Automatic Program Repair Tools on Software Vulnerabilities},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {818-817},
doi = {10.1145/3533767.3543291},
year = {2022},
}
Publisher's Version
Article: issta22demo-p26-p doi:10.1145/3533767.3543291
|
| |
Piskac, Ruzica |
ISSTA '22: "Using Pre-trained Language ..."
Using Pre-trained Language Models to Resolve Textual and Semantic Merge Conflicts (Experience Paper)
Jialu Zhang, Todd Mytkowicz, Mike Kaufman, Ruzica Piskac, and Shuvendu K. Lahiri
(Yale University, USA; Microsoft Research, USA; Microsoft, USA)
@InProceedings{ISSTA22p79,
author = {Jialu Zhang and Todd Mytkowicz and Mike Kaufman and Ruzica Piskac and Shuvendu K. Lahiri},
title = {Using Pre-trained Language Models to Resolve Textual and Semantic Merge Conflicts (Experience Paper)},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {79-78},
doi = {10.1145/3533767.3534396},
year = {2022},
}
Publisher's Version
Article: issta22main-p284-p doi:10.1145/3533767.3534396
|
| |
Porncharoenwase, Sorawee |
ISSTA '22: "Testing Dafny (Experience ..."
Testing Dafny (Experience Paper)
Ahmed Irfan, Sorawee Porncharoenwase, Zvonimir Rakamarić, Neha Rungta, and Emina Torlak
(Amazon Web Services, USA; University of Washington, USA)
@InProceedings{ISSTA22p573,
author = {Ahmed Irfan and Sorawee Porncharoenwase and Zvonimir Rakamarić and Neha Rungta and Emina Torlak},
title = {Testing Dafny (Experience Paper)},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {573-572},
doi = {10.1145/3533767.3534382},
year = {2022},
}
Publisher's Version
Article: issta22main-p123-p doi:10.1145/3533767.3534382
|
| |
Pretschner, Alexander |
ISSTA '22: "An Empirical Study on the ..."
An Empirical Study on the Effectiveness of Static C Code Analyzers for Vulnerability Detection
Stephan Lipp, Sebastian Banescu, and Alexander Pretschner
(TU Munich, Germany)
@InProceedings{ISSTA22p560,
author = {Stephan Lipp and Sebastian Banescu and Alexander Pretschner},
title = {An Empirical Study on the Effectiveness of Static C Code Analyzers for Vulnerability Detection},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {560-559},
doi = {10.1145/3533767.3534380},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: issta22main-p109-p doi:10.1145/3533767.3534380
|
| |
Qin, Xinran
|
ISSTA '22: "Automated Testing of Image ..."
Automated Testing of Image Captioning Systems
Boxi Yu, Zhiqing Zhong, Xinran Qin, Jiayi Yao, Yuancheng Wang, and Pinjia He
(Chinese University of Hong Kong at Shenzhen, China; South China University of Technology, China)
@InProceedings{ISSTA22p482,
author = {Boxi Yu and Zhiqing Zhong and Xinran Qin and Jiayi Yao and Yuancheng Wang and Pinjia He},
title = {Automated Testing of Image Captioning Systems},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {482-481},
doi = {10.1145/3533767.3534389},
year = {2022},
}
Publisher's Version
Archive submitted (410 kB)
Article: issta22main-p196-p doi:10.1145/3533767.3534389
|
| |
Qin, Zheng |
ISSTA '22: "Finding Bugs in Gremlin-Based ..."
Finding Bugs in Gremlin-Based Graph Database Systems via Randomized Differential Testing
Yingying Zheng, Wensheng Dou, Yicheng Wang, Zheng Qin, Lei Tang, Yu Gao, Dong Wang, Wei Wang, and Jun Wei
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China)
@InProceedings{ISSTA22p313,
author = {Yingying Zheng and Wensheng Dou and Yicheng Wang and Zheng Qin and Lei Tang and Yu Gao and Dong Wang and Wei Wang and Jun Wei},
title = {Finding Bugs in Gremlin-Based Graph Database Systems via Randomized Differential Testing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {313-312},
doi = {10.1145/3533767.3534409},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Article: issta22main-p513-p doi:10.1145/3533767.3534409
|
| |
Qiu, Han |
ISSTA '22: "BET: Black-Box Efficient Testing ..."
BET: Black-Box Efficient Testing for Convolutional Neural Networks
Jialai Wang, Han Qiu, Yi Rong, Hengkai Ye, Qi Li, Zongpeng Li, and Chao Zhang
(Tsinghua University, China; Beijing National Research Center for Information Science and Technology, China; Purdue University, USA)
@InProceedings{ISSTA22p170,
author = {Jialai Wang and Han Qiu and Yi Rong and Hengkai Ye and Qi Li and Zongpeng Li and Chao Zhang},
title = {BET: Black-Box Efficient Testing for Convolutional Neural Networks},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {170-169},
doi = {10.1145/3533767.3534386},
year = {2022},
}
Publisher's Version
Article: issta22main-p139-p doi:10.1145/3533767.3534386
ISSTA '22: "jTrans: Jump-Aware Transformer ..."
jTrans: Jump-Aware Transformer for Binary Code Similarity Detection
Hao Wang, Wenjie Qu, Gilad Katz, Wenyu Zhu, Zeyu Gao, Han Qiu, Jianwei Zhuge, and Chao Zhang
(Tsinghua University, China; Beijing National Research Center for Information Science and Technology, China; Huazhong University of Science and Technology, China; Ben-Gurion University of the Negev, Israel; University of Science and Technology of China, China)
@InProceedings{ISSTA22p1,
author = {Hao Wang and Wenjie Qu and Gilad Katz and Wenyu Zhu and Zeyu Gao and Han Qiu and Jianwei Zhuge and Chao Zhang},
title = {jTrans: Jump-Aware Transformer for Binary Code Similarity Detection},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3533767.3534367},
year = {2022},
}
Publisher's Version
Article: issta22main-p20-p doi:10.1145/3533767.3534367
|
| |
Qu, Wenjie |
ISSTA '22: "jTrans: Jump-Aware Transformer ..."
jTrans: Jump-Aware Transformer for Binary Code Similarity Detection
Hao Wang, Wenjie Qu, Gilad Katz, Wenyu Zhu, Zeyu Gao, Han Qiu, Jianwei Zhuge, and Chao Zhang
(Tsinghua University, China; Beijing National Research Center for Information Science and Technology, China; Huazhong University of Science and Technology, China; Ben-Gurion University of the Negev, Israel; University of Science and Technology of China, China)
@InProceedings{ISSTA22p1,
author = {Hao Wang and Wenjie Qu and Gilad Katz and Wenyu Zhu and Zeyu Gao and Han Qiu and Jianwei Zhuge and Chao Zhang},
title = {jTrans: Jump-Aware Transformer for Binary Code Similarity Detection},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3533767.3534367},
year = {2022},
}
Publisher's Version
Article: issta22main-p20-p doi:10.1145/3533767.3534367
|
| |
Rakamarić, Zvonimir
|
ISSTA '22: "Testing Dafny (Experience ..."
Testing Dafny (Experience Paper)
Ahmed Irfan, Sorawee Porncharoenwase, Zvonimir Rakamarić, Neha Rungta, and Emina Torlak
(Amazon Web Services, USA; University of Washington, USA)
@InProceedings{ISSTA22p573,
author = {Ahmed Irfan and Sorawee Porncharoenwase and Zvonimir Rakamarić and Neha Rungta and Emina Torlak},
title = {Testing Dafny (Experience Paper)},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {573-572},
doi = {10.1145/3533767.3534382},
year = {2022},
}
Publisher's Version
Article: issta22main-p123-p doi:10.1145/3533767.3534382
|
| |
Rak-amnouykit, Ingkarat |
ISSTA '22: "The Raise of Machine Learning ..."
The Raise of Machine Learning Hyperparameter Constraints in Python Code
Ingkarat Rak-amnouykit, Ana Milanova, Guillaume Baudart, Martin Hirzel, and Julian Dolby
(Rensselaer Polytechnic Institute, USA; Inria, France; ENS-PSL University, France; IBM Research, USA)
@InProceedings{ISSTA22p599,
author = {Ingkarat Rak-amnouykit and Ana Milanova and Guillaume Baudart and Martin Hirzel and Julian Dolby},
title = {The Raise of Machine Learning Hyperparameter Constraints in Python Code},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {599-598},
doi = {10.1145/3533767.3534400},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: issta22main-p336-p doi:10.1145/3533767.3534400
|
| |
Ray, Baishakhi |
ISSTA '22: "Detecting Multi-sensor Fusion ..."
Detecting Multi-sensor Fusion Errors in Advanced Driver-Assistance Systems
Ziyuan Zhong, Zhisheng Hu, Shengjian Guo, Xinyang Zhang, Zhenyu Zhong, and Baishakhi Ray
(Columbia University, USA; Baidu Security, USA)
@InProceedings{ISSTA22p508,
author = {Ziyuan Zhong and Zhisheng Hu and Shengjian Guo and Xinyang Zhang and Zhenyu Zhong and Baishakhi Ray},
title = {Detecting Multi-sensor Fusion Errors in Advanced Driver-Assistance Systems},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {508-507},
doi = {10.1145/3533767.3534223},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: issta22main-p337-p doi:10.1145/3533767.3534223
|
| |
Reger, Giles |
ISSTA '22: "ESBMC-CHERI: Towards Verification ..."
ESBMC-CHERI: Towards Verification of C Programs for CHERI Platforms with ESBMC
Franz Brauße, Fedor Shmarov, Rafael Menezes, Mikhail R. Gadelha, Konstantin Korovin, Giles Reger, and Lucas C. Cordeiro
(University of Manchester, UK; Igalia, Brazil)
@InProceedings{ISSTA22p802,
author = {Franz Brauße and Fedor Shmarov and Rafael Menezes and Mikhail R. Gadelha and Konstantin Korovin and Giles Reger and Lucas C. Cordeiro},
title = {ESBMC-CHERI: Towards Verification of C Programs for CHERI Platforms with ESBMC},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {802-801},
doi = {10.1145/3533767.3543289},
year = {2022},
}
Publisher's Version
Article: issta22demo-p21-p doi:10.1145/3533767.3543289
|
| |
Regis, Germán |
ISSTA '22: "ATR: Template-Based Repair ..."
ATR: Template-Based Repair for Alloy Specifications
Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Nazareno Aguirre, Marcelo F. Frias, and Hamid Bagheri
(University of Nebraska-Lincoln, USA; George Mason University, USA; University of Rio Cuarto, Argentina; CONICET, Argentina; Buenos Aires Institute of Technology, Argentina)
@InProceedings{ISSTA22p690,
author = {Guolong Zheng and ThanhVu Nguyen and Simón Gutiérrez Brida and Germán Regis and Nazareno Aguirre and Marcelo F. Frias and Hamid Bagheri},
title = {ATR: Template-Based Repair for Alloy Specifications},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {690-689},
doi = {10.1145/3533767.3534369},
year = {2022},
}
Publisher's Version
Article: issta22main-p25-p doi:10.1145/3533767.3534369
|
| |
Ren, Letu |
ISSTA '22: "PrIntFuzz: Fuzzing Linux Drivers ..."
PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation
Zheyu Ma, Bodong Zhao, Letu Ren, Zheming Li, Siqi Ma, Xiapu Luo, and Chao Zhang
(Tsinghua University, China; Beijing National Research Center for Information Science and Technology, China; UNSW, Australia; Hong Kong Polytechnic University, China)
@InProceedings{ISSTA22p417,
author = {Zheyu Ma and Bodong Zhao and Letu Ren and Zheming Li and Siqi Ma and Xiapu Luo and Chao Zhang},
title = {PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {417-416},
doi = {10.1145/3533767.3534226},
year = {2022},
}
Publisher's Version
Article: issta22main-p746-p doi:10.1145/3533767.3534226
|
| |
Rong, Yi |
ISSTA '22: "BET: Black-Box Efficient Testing ..."
BET: Black-Box Efficient Testing for Convolutional Neural Networks
Jialai Wang, Han Qiu, Yi Rong, Hengkai Ye, Qi Li, Zongpeng Li, and Chao Zhang
(Tsinghua University, China; Beijing National Research Center for Information Science and Technology, China; Purdue University, USA)
@InProceedings{ISSTA22p170,
author = {Jialai Wang and Han Qiu and Yi Rong and Hengkai Ye and Qi Li and Zongpeng Li and Chao Zhang},
title = {BET: Black-Box Efficient Testing for Convolutional Neural Networks},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {170-169},
doi = {10.1145/3533767.3534386},
year = {2022},
}
Publisher's Version
Article: issta22main-p139-p doi:10.1145/3533767.3534386
|
| |
Roy, Subhajit |
ISSTA '22: "Almost Correct Invariants: ..."
Almost Correct Invariants: Synthesizing Inductive Invariants by Fuzzing Proofs
Sumit Lahiri and Subhajit Roy
(IIT Kanpur, India)
@InProceedings{ISSTA22p365,
author = {Sumit Lahiri and Subhajit Roy},
title = {Almost Correct Invariants: Synthesizing Inductive Invariants by Fuzzing Proofs},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {365-364},
doi = {10.1145/3533767.3534381},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Article: issta22main-p114-p doi:10.1145/3533767.3534381
|
| |
Roychoudhury, Abhik |
ISSTA '22: "Program Vulnerability Repair ..."
Program Vulnerability Repair via Inductive Inference
Yuntong Zhang, Xiang Gao, Gregory J. Duck, and Abhik Roychoudhury
(National University of Singapore, Singapore; Beihang University, China)
@InProceedings{ISSTA22p716,
author = {Yuntong Zhang and Xiang Gao and Gregory J. Duck and Abhik Roychoudhury},
title = {Program Vulnerability Repair via Inductive Inference},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {716-715},
doi = {10.1145/3533767.3534387},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Article: issta22main-p179-p doi:10.1145/3533767.3534387
|
| |
Rubin, Julia |
ISSTA '22: "eTainter: Detecting Gas-Related ..."
eTainter: Detecting Gas-Related Vulnerabilities in Smart Contracts
Asem Ghaleb, Julia Rubin, and Karthik Pattabiraman
(University of British Columbia, Canada)
@InProceedings{ISSTA22p755,
author = {Asem Ghaleb and Julia Rubin and Karthik Pattabiraman},
title = {eTainter: Detecting Gas-Related Vulnerabilities in Smart Contracts},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {755-754},
doi = {10.1145/3533767.3534378},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Article: issta22main-p98-p doi:10.1145/3533767.3534378
|
| |
Rungta, Neha |
ISSTA '22: "Testing Dafny (Experience ..."
Testing Dafny (Experience Paper)
Ahmed Irfan, Sorawee Porncharoenwase, Zvonimir Rakamarić, Neha Rungta, and Emina Torlak
(Amazon Web Services, USA; University of Washington, USA)
@InProceedings{ISSTA22p573,
author = {Ahmed Irfan and Sorawee Porncharoenwase and Zvonimir Rakamarić and Neha Rungta and Emina Torlak},
title = {Testing Dafny (Experience Paper)},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {573-572},
doi = {10.1145/3533767.3534382},
year = {2022},
}
Publisher's Version
Article: issta22main-p123-p doi:10.1145/3533767.3534382
|
| |
Sarro, Federica
|
ISSTA '22: "On the Use of Evaluation Measures ..."
On the Use of Evaluation Measures for Defect Prediction Studies
Rebecca Moussa and Federica Sarro
(University College London, UK)
@InProceedings{ISSTA22p105,
author = {Rebecca Moussa and Federica Sarro},
title = {On the Use of Evaluation Measures for Defect Prediction Studies},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {105-104},
doi = {10.1145/3533767.3534405},
year = {2022},
}
Publisher's Version
Article: issta22main-p471-p doi:10.1145/3533767.3534405
|
| |
Scandariato, Riccardo |
ISSTA '22: "Maestro: A Platform for Benchmarking ..."
Maestro: A Platform for Benchmarking Automatic Program Repair Tools on Software Vulnerabilities
Eduard Pinconschi, Quang-Cuong Bui, Rui Abreu, Pedro Adão, and Riccardo Scandariato
(INESC-ID, Portugal; University of Porto, Portugal; Hamburg University of Technology, Germany; IST-ULisboa, Portugal; Instituto de Telecomunicações, Portugal)
@InProceedings{ISSTA22p818,
author = {Eduard Pinconschi and Quang-Cuong Bui and Rui Abreu and Pedro Adão and Riccardo Scandariato},
title = {Maestro: A Platform for Benchmarking Automatic Program Repair Tools on Software Vulnerabilities},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {818-817},
doi = {10.1145/3533767.3543291},
year = {2022},
}
Publisher's Version
Article: issta22demo-p26-p doi:10.1145/3533767.3543291
|
| |
Schlichtig, Michael |
ISSTA '22: "A Large-Scale Study of Usability ..."
A Large-Scale Study of Usability Criteria Addressed by Static Analysis Tools
Marcus Nachtigall, Michael Schlichtig, and Eric Bodden
(Paderborn University, Germany; Fraunhofer IEM, Germany)
@InProceedings{ISSTA22p547,
author = {Marcus Nachtigall and Michael Schlichtig and Eric Bodden},
title = {A Large-Scale Study of Usability Criteria Addressed by Static Analysis Tools},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {547-546},
doi = {10.1145/3533767.3534374},
year = {2022},
}
Publisher's Version
Archive submitted (36 kB)
Article: issta22main-p71-p doi:10.1145/3533767.3534374
|
| |
Shen, Liwei |
ISSTA '22: "iFixDataloss: A Tool for Detecting ..."
iFixDataloss: A Tool for Detecting and Fixing Data Loss Issues in Android Apps
Wunan Guo, Zhen Dong, Liwei Shen, Wei Tian, Ting Su, and Xin Peng
(Fudan University, China; East China Normal University, China)
@InProceedings{ISSTA22p814,
author = {Wunan Guo and Zhen Dong and Liwei Shen and Wei Tian and Ting Su and Xin Peng},
title = {iFixDataloss: A Tool for Detecting and Fixing Data Loss Issues in Android Apps},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {814-813},
doi = {10.1145/3533767.3543297},
year = {2022},
}
Publisher's Version
Article: issta22demo-p93-p doi:10.1145/3533767.3543297
ISSTA '22: "Detecting and Fixing Data ..."
Detecting and Fixing Data Loss Issues in Android Apps
Wunan Guo, Zhen Dong, Liwei Shen, Wei Tian, Ting Su, and Xin Peng
(Fudan University, China; East China Normal University, China)
@InProceedings{ISSTA22p625,
author = {Wunan Guo and Zhen Dong and Liwei Shen and Wei Tian and Ting Su and Xin Peng},
title = {Detecting and Fixing Data Loss Issues in Android Apps},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {625-624},
doi = {10.1145/3533767.3534402},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Article: issta22main-p430-p doi:10.1145/3533767.3534402
|
| |
Shi, August |
ISSTA '22: "Evolution-Aware Detection ..."
Evolution-Aware Detection of Order-Dependent Flaky Tests
Chengpeng Li and August Shi
(University of Texas at Austin, USA)
@InProceedings{ISSTA22p118,
author = {Chengpeng Li and August Shi},
title = {Evolution-Aware Detection of Order-Dependent Flaky Tests},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {118-117},
doi = {10.1145/3533767.3534404},
year = {2022},
}
Publisher's Version
Article: issta22main-p467-p doi:10.1145/3533767.3534404
|
| |
Shi, Wenchang |
ISSTA '22: "Hunting Bugs with Accelerated ..."
Hunting Bugs with Accelerated Optimal Graph Vertex Matching
Xiaohui Zhang, Yuanjun Gong, Bin Liang, Jianjun Huang, Wei You, Wenchang Shi, and Jian Zhang
(Renmin University of China, China; University of Chinese Academy of Sciences, China)
@InProceedings{ISSTA22p66,
author = {Xiaohui Zhang and Yuanjun Gong and Bin Liang and Jianjun Huang and Wei You and Wenchang Shi and Jian Zhang},
title = {Hunting Bugs with Accelerated Optimal Graph Vertex Matching},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {66-65},
doi = {10.1145/3533767.3534393},
year = {2022},
}
Publisher's Version
Article: issta22main-p245-p doi:10.1145/3533767.3534393
|
| |
Shmarov, Fedor |
ISSTA '22: "ESBMC-CHERI: Towards Verification ..."
ESBMC-CHERI: Towards Verification of C Programs for CHERI Platforms with ESBMC
Franz Brauße, Fedor Shmarov, Rafael Menezes, Mikhail R. Gadelha, Konstantin Korovin, Giles Reger, and Lucas C. Cordeiro
(University of Manchester, UK; Igalia, Brazil)
@InProceedings{ISSTA22p802,
author = {Franz Brauße and Fedor Shmarov and Rafael Menezes and Mikhail R. Gadelha and Konstantin Korovin and Giles Reger and Lucas C. Cordeiro},
title = {ESBMC-CHERI: Towards Verification of C Programs for CHERI Platforms with ESBMC},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {802-801},
doi = {10.1145/3533767.3543289},
year = {2022},
}
Publisher's Version
Article: issta22demo-p21-p doi:10.1145/3533767.3543289
|
| |
Sinha, Saurabh |
ISSTA '22: "Automated Test Generation ..."
Automated Test Generation for REST APIs: No Time to Rest Yet
Myeongsoo Kim, Qi Xin, Saurabh Sinha, and Alessandro Orso
(Georgia Institute of Technology, USA; Wuhan University, China; IBM Research, USA)
@InProceedings{ISSTA22p300,
author = {Myeongsoo Kim and Qi Xin and Saurabh Sinha and Alessandro Orso},
title = {Automated Test Generation for REST APIs: No Time to Rest Yet},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {300-299},
doi = {10.1145/3533767.3534401},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: issta22main-p382-p doi:10.1145/3533767.3534401
|
| |
Song, Dokyung |
ISSTA '22: "Improving Cross-Platform Binary ..."
Improving Cross-Platform Binary Analysis using Representation Learning via Graph Alignment
Geunwoo Kim, Sanghyun Hong, Michael Franz, and Dokyung Song
(University of California at Irvine, USA; Oregon State University, USA; Yonsei University, South Korea)
@InProceedings{ISSTA22p157,
author = {Geunwoo Kim and Sanghyun Hong and Michael Franz and Dokyung Song},
title = {Improving Cross-Platform Binary Analysis using Representation Learning via Graph Alignment},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {157-156},
doi = {10.1145/3533767.3534383},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Article: issta22main-p130-p doi:10.1145/3533767.3534383
|
| |
Song, Wei |
ISSTA '22: "PermDroid: Automatically Testing ..."
PermDroid: Automatically Testing Permission-Related Behaviour of Android Applications
Shuaihao Yang, Zigang Zeng, and Wei Song
(Nanjing University of Science and Technology, China)
@InProceedings{ISSTA22p612,
author = {Shuaihao Yang and Zigang Zeng and Wei Song},
title = {PermDroid: Automatically Testing Permission-Related Behaviour of Android Applications},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {612-611},
doi = {10.1145/3533767.3534221},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: issta22main-p218-p doi:10.1145/3533767.3534221
|
| |
Song, Xuezhi |
ISSTA '22: "RegMiner: Towards Constructing ..."
RegMiner: Towards Constructing a Large Regression Dataset from Code Evolution History
Xuezhi Song, Yun Lin, Siang Hwee Ng, Yijian Wu, Xin Peng, Jin Song Dong, and Hong Mei
(Fudan University, China; Shanghai Jiao Tong University, China; National University of Singapore, Singapore; Peking University, China)
@InProceedings{ISSTA22p326,
author = {Xuezhi Song and Yun Lin and Siang Hwee Ng and Yijian Wu and Xin Peng and Jin Song Dong and Hong Mei},
title = {RegMiner: Towards Constructing a Large Regression Dataset from Code Evolution History},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {326-325},
doi = {10.1145/3533767.3534224},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: issta22main-p553-p doi:10.1145/3533767.3534224
|
| |
Stevens, Clay |
ISSTA '22: "Combining Solution Reuse and ..."
Combining Solution Reuse and Bound Tightening for Efficient Analysis of Evolving Systems
Clay Stevens and Hamid Bagheri
(University of Nebraska-Lincoln, USA)
@InProceedings{ISSTA22p92,
author = {Clay Stevens and Hamid Bagheri},
title = {Combining Solution Reuse and Bound Tightening for Efficient Analysis of Evolving Systems},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {92-91},
doi = {10.1145/3533767.3534399},
year = {2022},
}
Publisher's Version
Article: issta22main-p333-p doi:10.1145/3533767.3534399
|
| |
Su, Ting |
ISSTA '22: "iFixDataloss: A Tool for Detecting ..."
iFixDataloss: A Tool for Detecting and Fixing Data Loss Issues in Android Apps
Wunan Guo, Zhen Dong, Liwei Shen, Wei Tian, Ting Su, and Xin Peng
(Fudan University, China; East China Normal University, China)
@InProceedings{ISSTA22p814,
author = {Wunan Guo and Zhen Dong and Liwei Shen and Wei Tian and Ting Su and Xin Peng},
title = {iFixDataloss: A Tool for Detecting and Fixing Data Loss Issues in Android Apps},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {814-813},
doi = {10.1145/3533767.3543297},
year = {2022},
}
Publisher's Version
Article: issta22demo-p93-p doi:10.1145/3533767.3543297
ISSTA '22: "Detecting and Fixing Data ..."
Detecting and Fixing Data Loss Issues in Android Apps
Wunan Guo, Zhen Dong, Liwei Shen, Wei Tian, Ting Su, and Xin Peng
(Fudan University, China; East China Normal University, China)
@InProceedings{ISSTA22p625,
author = {Wunan Guo and Zhen Dong and Liwei Shen and Wei Tian and Ting Su and Xin Peng},
title = {Detecting and Fixing Data Loss Issues in Android Apps},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {625-624},
doi = {10.1145/3533767.3534402},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Article: issta22main-p430-p doi:10.1145/3533767.3534402
|
| |
Su, Yuxin |
ISSTA '22: "AEON: A Method for Automatic ..."
AEON: A Method for Automatic Evaluation of NLP Test Cases
Jen-tse Huang, Jianping Zhang, Wenxuan Wang, Pinjia He, Yuxin Su, and Michael R. Lyu
(Chinese University of Hong Kong, China; Chinese University of Hong Kong at Shenzhen, China; Sun Yat-sen University, China)
@InProceedings{ISSTA22p209,
author = {Jen-tse Huang and Jianping Zhang and Wenxuan Wang and Pinjia He and Yuxin Su and Michael R. Lyu},
title = {AEON: A Method for Automatic Evaluation of NLP Test Cases},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {209-208},
doi = {10.1145/3533767.3534394},
year = {2022},
}
Publisher's Version
Article: issta22main-p254-p doi:10.1145/3533767.3534394
|
| |
Sui, Yulei |
ISSTA '22: "Path-Sensitive Code Embedding ..."
Path-Sensitive Code Embedding via Contrastive Learning for Software Vulnerability Detection
Xiao Cheng, Guanqin Zhang, Haoyu Wang, and Yulei Sui
(University of Technology Sydney, Australia; Huazhong University of Science and Technology, China)
@InProceedings{ISSTA22p534,
author = {Xiao Cheng and Guanqin Zhang and Haoyu Wang and Yulei Sui},
title = {Path-Sensitive Code Embedding via Contrastive Learning for Software Vulnerability Detection},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {534-533},
doi = {10.1145/3533767.3534371},
year = {2022},
}
Publisher's Version
Article: issta22main-p51-p doi:10.1145/3533767.3534371
|
| |
Sun, Limin |
ISSTA '22: "Efficient Greybox Fuzzing ..."
Efficient Greybox Fuzzing of Applications in Linux-Based IoT Devices via Enhanced User-Mode Emulation
Yaowen Zheng, Yuekang Li, Cen Zhang, Hongsong Zhu, Yang Liu, and Limin Sun
(Nanyang Technological University, Singapore; Institute of Information Engineering at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China)
@InProceedings{ISSTA22p430,
author = {Yaowen Zheng and Yuekang Li and Cen Zhang and Hongsong Zhu and Yang Liu and Limin Sun},
title = {Efficient Greybox Fuzzing of Applications in Linux-Based IoT Devices via Enhanced User-Mode Emulation},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {430-429},
doi = {10.1145/3533767.3534414},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Article: issta22main-p762-p doi:10.1145/3533767.3534414
|
| |
Sun, Zihan |
ISSTA '22: "WASAI: Uncovering Vulnerabilities ..."
WASAI: Uncovering Vulnerabilities in Wasm Smart Contracts
Weimin Chen, Zihan Sun, Haoyu Wang, Xiapu Luo, Haipeng Cai, and Lei Wu
(Hong Kong Polytechnic University, China; Beijing University of Posts and Telecommunications, China; Huazhong University of Science and Technology, China; Washington State University, USA; Zhejiang University, China)
@InProceedings{ISSTA22p729,
author = {Weimin Chen and Zihan Sun and Haoyu Wang and Xiapu Luo and Haipeng Cai and Lei Wu},
title = {WASAI: Uncovering Vulnerabilities in Wasm Smart Contracts},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {729-728},
doi = {10.1145/3533767.3534218},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: issta22main-p27-p doi:10.1145/3533767.3534218
|
| |
Tan, Hanzhuo
|
ISSTA '22: "An Extensive Study on Pre-trained ..."
An Extensive Study on Pre-trained Models for Program Understanding and Generation
Zhengran Zeng, Hanzhuo Tan, Haotian Zhang, Jing Li, Yuqun Zhang, and Lingming Zhang
(Southern University of Science and Technology, China; Hong Kong Polytechnic University, China; Kwai, China; University of Illinois at Urbana-Champaign, USA)
@InProceedings{ISSTA22p40,
author = {Zhengran Zeng and Hanzhuo Tan and Haotian Zhang and Jing Li and Yuqun Zhang and Lingming Zhang},
title = {An Extensive Study on Pre-trained Models for Program Understanding and Generation},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {40-39},
doi = {10.1145/3533767.3534390},
year = {2022},
}
Publisher's Version
Article: issta22main-p223-p doi:10.1145/3533767.3534390
|
| |
Tan, Lin |
ISSTA '22: "DocTer: Documentation-Guided ..."
DocTer: Documentation-Guided Fuzzing for Testing Deep Learning API Functions
Danning Xie, Yitong Li, Mijung Kim, Hung Viet Pham, Lin Tan, Xiangyu Zhang, and Michael W. Godfrey
(Purdue University, USA; University of Waterloo, Canada; Ulsan National Institute of Science and Technology, South Korea)
@InProceedings{ISSTA22p183,
author = {Danning Xie and Yitong Li and Mijung Kim and Hung Viet Pham and Lin Tan and Xiangyu Zhang and Michael W. Godfrey},
title = {DocTer: Documentation-Guided Fuzzing for Testing Deep Learning API Functions},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {183-182},
doi = {10.1145/3533767.3534220},
year = {2022},
}
Publisher's Version
Article: issta22main-p174-p doi:10.1145/3533767.3534220
|
| |
Tang, Lei |
ISSTA '22: "Finding Bugs in Gremlin-Based ..."
Finding Bugs in Gremlin-Based Graph Database Systems via Randomized Differential Testing
Yingying Zheng, Wensheng Dou, Yicheng Wang, Zheng Qin, Lei Tang, Yu Gao, Dong Wang, Wei Wang, and Jun Wei
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China)
@InProceedings{ISSTA22p313,
author = {Yingying Zheng and Wensheng Dou and Yicheng Wang and Zheng Qin and Lei Tang and Yu Gao and Dong Wang and Wei Wang and Jun Wei},
title = {Finding Bugs in Gremlin-Based Graph Database Systems via Randomized Differential Testing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {313-312},
doi = {10.1145/3533767.3534409},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Article: issta22main-p513-p doi:10.1145/3533767.3534409
|
| |
Tian, Wei |
ISSTA '22: "iFixDataloss: A Tool for Detecting ..."
iFixDataloss: A Tool for Detecting and Fixing Data Loss Issues in Android Apps
Wunan Guo, Zhen Dong, Liwei Shen, Wei Tian, Ting Su, and Xin Peng
(Fudan University, China; East China Normal University, China)
@InProceedings{ISSTA22p814,
author = {Wunan Guo and Zhen Dong and Liwei Shen and Wei Tian and Ting Su and Xin Peng},
title = {iFixDataloss: A Tool for Detecting and Fixing Data Loss Issues in Android Apps},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {814-813},
doi = {10.1145/3533767.3543297},
year = {2022},
}
Publisher's Version
Article: issta22demo-p93-p doi:10.1145/3533767.3543297
ISSTA '22: "Detecting and Fixing Data ..."
Detecting and Fixing Data Loss Issues in Android Apps
Wunan Guo, Zhen Dong, Liwei Shen, Wei Tian, Ting Su, and Xin Peng
(Fudan University, China; East China Normal University, China)
@InProceedings{ISSTA22p625,
author = {Wunan Guo and Zhen Dong and Liwei Shen and Wei Tian and Ting Su and Xin Peng},
title = {Detecting and Fixing Data Loss Issues in Android Apps},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {625-624},
doi = {10.1145/3533767.3534402},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Article: issta22main-p430-p doi:10.1145/3533767.3534402
|
| |
Tian, Yuan |
ISSTA '22: "A Large-Scale Empirical Analysis ..."
A Large-Scale Empirical Analysis of the Vulnerabilities Introduced by Third-Party Components in IoT Firmware
Binbin Zhao, Shouling Ji, Jiacheng Xu, Yuan Tian, Qiuyang Wei, Qinying Wang, Chenyang Lyu, Xuhong Zhang, Changting Lin, Jingzheng Wu, and Raheem Beyah
(Zhejiang University, China; Georgia Institute of Technology, USA; University of Virginia, USA; Institute of Software at Chinese Academy of Sciences, China)
@InProceedings{ISSTA22p456,
author = {Binbin Zhao and Shouling Ji and Jiacheng Xu and Yuan Tian and Qiuyang Wei and Qinying Wang and Chenyang Lyu and Xuhong Zhang and Changting Lin and Jingzheng Wu and Raheem Beyah},
title = {A Large-Scale Empirical Analysis of the Vulnerabilities Introduced by Third-Party Components in IoT Firmware},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {456-455},
doi = {10.1145/3533767.3534366},
year = {2022},
}
Publisher's Version
Article: issta22main-p13-p doi:10.1145/3533767.3534366
|
| |
Tonella, Paolo |
ISSTA '22: "Simple Techniques Work Surprisingly ..."
Simple Techniques Work Surprisingly Well for Neural Network Test Prioritization and Active Learning (Replicability Study)
Michael Weiss and Paolo Tonella
(USI Lugano, Switzerland)
@InProceedings{ISSTA22p144,
author = {Michael Weiss and Paolo Tonella},
title = {Simple Techniques Work Surprisingly Well for Neural Network Test Prioritization and Active Learning (Replicability Study)},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {144-143},
doi = {10.1145/3533767.3534375},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Article: issta22main-p78-p doi:10.1145/3533767.3534375
|
| |
Torlak, Emina |
ISSTA '22: "Testing Dafny (Experience ..."
Testing Dafny (Experience Paper)
Ahmed Irfan, Sorawee Porncharoenwase, Zvonimir Rakamarić, Neha Rungta, and Emina Torlak
(Amazon Web Services, USA; University of Washington, USA)
@InProceedings{ISSTA22p573,
author = {Ahmed Irfan and Sorawee Porncharoenwase and Zvonimir Rakamarić and Neha Rungta and Emina Torlak},
title = {Testing Dafny (Experience Paper)},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {573-572},
doi = {10.1145/3533767.3534382},
year = {2022},
}
Publisher's Version
Article: issta22main-p123-p doi:10.1145/3533767.3534382
|
| |
Wang, Boxiang
|
ISSTA '22: "SpecChecker-ISA: A Data Sharing ..."
SpecChecker-ISA: A Data Sharing Analyzer for Interrupt-Driven Embedded Software
Boxiang Wang, Rui Chen, Chao Li, Tingting Yu, Dongdong Gao, and Mengfei Yang
(Xidian University, China; Beijing Sunwise Information Technology, China; Beijing Institute of Control Engineering, China; China Academy of Space Technology, China)
@InProceedings{ISSTA22p830,
author = {Boxiang Wang and Rui Chen and Chao Li and Tingting Yu and Dongdong Gao and Mengfei Yang},
title = {SpecChecker-ISA: A Data Sharing Analyzer for Interrupt-Driven Embedded Software},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {830-829},
doi = {10.1145/3533767.3543295},
year = {2022},
}
Publisher's Version
Article: issta22demo-p78-p doi:10.1145/3533767.3543295
ISSTA '22: "Precise and Efficient Atomicity ..."
Precise and Efficient Atomicity Violation Detection for Interrupt-Driven Programs via Staged Path Pruning
Chao Li, Rui Chen, Boxiang Wang, Tingting Yu, Dongdong Gao, and Mengfei Yang
(Beijing Institute of Control Engineering, China; Beijing Sunwise Information Technology, China; Xidian University, China; China Academy of Space Technology, China)
@InProceedings{ISSTA22p521,
author = {Chao Li and Rui Chen and Boxiang Wang and Tingting Yu and Dongdong Gao and Mengfei Yang},
title = {Precise and Efficient Atomicity Violation Detection for Interrupt-Driven Programs via Staged Path Pruning},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {521-520},
doi = {10.1145/3533767.3534412},
year = {2022},
}
Publisher's Version
Article: issta22main-p645-p doi:10.1145/3533767.3534412
|
| |
Wang, Dong |
ISSTA '22: "Finding Bugs in Gremlin-Based ..."
Finding Bugs in Gremlin-Based Graph Database Systems via Randomized Differential Testing
Yingying Zheng, Wensheng Dou, Yicheng Wang, Zheng Qin, Lei Tang, Yu Gao, Dong Wang, Wei Wang, and Jun Wei
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China)
@InProceedings{ISSTA22p313,
author = {Yingying Zheng and Wensheng Dou and Yicheng Wang and Zheng Qin and Lei Tang and Yu Gao and Dong Wang and Wei Wang and Jun Wei},
title = {Finding Bugs in Gremlin-Based Graph Database Systems via Randomized Differential Testing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {313-312},
doi = {10.1145/3533767.3534409},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Article: issta22main-p513-p doi:10.1145/3533767.3534409
|
| |
Wang, Hao |
ISSTA '22: "jTrans: Jump-Aware Transformer ..."
jTrans: Jump-Aware Transformer for Binary Code Similarity Detection
Hao Wang, Wenjie Qu, Gilad Katz, Wenyu Zhu, Zeyu Gao, Han Qiu, Jianwei Zhuge, and Chao Zhang
(Tsinghua University, China; Beijing National Research Center for Information Science and Technology, China; Huazhong University of Science and Technology, China; Ben-Gurion University of the Negev, Israel; University of Science and Technology of China, China)
@InProceedings{ISSTA22p1,
author = {Hao Wang and Wenjie Qu and Gilad Katz and Wenyu Zhu and Zeyu Gao and Han Qiu and Jianwei Zhuge and Chao Zhang},
title = {jTrans: Jump-Aware Transformer for Binary Code Similarity Detection},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3533767.3534367},
year = {2022},
}
Publisher's Version
Article: issta22main-p20-p doi:10.1145/3533767.3534367
|
| |
Wang, Haoyu |
ISSTA '22: "Path-Sensitive Code Embedding ..."
Path-Sensitive Code Embedding via Contrastive Learning for Software Vulnerability Detection
Xiao Cheng, Guanqin Zhang, Haoyu Wang, and Yulei Sui
(University of Technology Sydney, Australia; Huazhong University of Science and Technology, China)
@InProceedings{ISSTA22p534,
author = {Xiao Cheng and Guanqin Zhang and Haoyu Wang and Yulei Sui},
title = {Path-Sensitive Code Embedding via Contrastive Learning for Software Vulnerability Detection},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {534-533},
doi = {10.1145/3533767.3534371},
year = {2022},
}
Publisher's Version
Article: issta22main-p51-p doi:10.1145/3533767.3534371
ISSTA '22: "WASAI: Uncovering Vulnerabilities ..."
WASAI: Uncovering Vulnerabilities in Wasm Smart Contracts
Weimin Chen, Zihan Sun, Haoyu Wang, Xiapu Luo, Haipeng Cai, and Lei Wu
(Hong Kong Polytechnic University, China; Beijing University of Posts and Telecommunications, China; Huazhong University of Science and Technology, China; Washington State University, USA; Zhejiang University, China)
@InProceedings{ISSTA22p729,
author = {Weimin Chen and Zihan Sun and Haoyu Wang and Xiapu Luo and Haipeng Cai and Lei Wu},
title = {WASAI: Uncovering Vulnerabilities in Wasm Smart Contracts},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {729-728},
doi = {10.1145/3533767.3534218},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: issta22main-p27-p doi:10.1145/3533767.3534218
|
| |
Wang, Jialai |
ISSTA '22: "BET: Black-Box Efficient Testing ..."
BET: Black-Box Efficient Testing for Convolutional Neural Networks
Jialai Wang, Han Qiu, Yi Rong, Hengkai Ye, Qi Li, Zongpeng Li, and Chao Zhang
(Tsinghua University, China; Beijing National Research Center for Information Science and Technology, China; Purdue University, USA)
@InProceedings{ISSTA22p170,
author = {Jialai Wang and Han Qiu and Yi Rong and Hengkai Ye and Qi Li and Zongpeng Li and Chao Zhang},
title = {BET: Black-Box Efficient Testing for Convolutional Neural Networks},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {170-169},
doi = {10.1145/3533767.3534386},
year = {2022},
}
Publisher's Version
Article: issta22main-p139-p doi:10.1145/3533767.3534386
|
| |
Wang, Mingzhe |
ISSTA '22: "Unicorn: Detect Runtime Errors ..."
Unicorn: Detect Runtime Errors in Time-Series Databases with Hybrid Input Synthesis
Zhiyong Wu, Jie Liang, Mingzhe Wang, Chijin Zhou, and Yu Jiang
(Tsinghua University, China; ShuimuYulin, China)
@InProceedings{ISSTA22p261,
author = {Zhiyong Wu and Jie Liang and Mingzhe Wang and Chijin Zhou and Yu Jiang},
title = {Unicorn: Detect Runtime Errors in Time-Series Databases with Hybrid Input Synthesis},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {261-260},
doi = {10.1145/3533767.3534364},
year = {2022},
}
Publisher's Version
Article: issta22main-p1-p doi:10.1145/3533767.3534364
|
| |
Wang, Qinying |
ISSTA '22: "A Large-Scale Empirical Analysis ..."
A Large-Scale Empirical Analysis of the Vulnerabilities Introduced by Third-Party Components in IoT Firmware
Binbin Zhao, Shouling Ji, Jiacheng Xu, Yuan Tian, Qiuyang Wei, Qinying Wang, Chenyang Lyu, Xuhong Zhang, Changting Lin, Jingzheng Wu, and Raheem Beyah
(Zhejiang University, China; Georgia Institute of Technology, USA; University of Virginia, USA; Institute of Software at Chinese Academy of Sciences, China)
@InProceedings{ISSTA22p456,
author = {Binbin Zhao and Shouling Ji and Jiacheng Xu and Yuan Tian and Qiuyang Wei and Qinying Wang and Chenyang Lyu and Xuhong Zhang and Changting Lin and Jingzheng Wu and Raheem Beyah},
title = {A Large-Scale Empirical Analysis of the Vulnerabilities Introduced by Third-Party Components in IoT Firmware},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {456-455},
doi = {10.1145/3533767.3534366},
year = {2022},
}
Publisher's Version
Article: issta22main-p13-p doi:10.1145/3533767.3534366
|
| |
Wang, Shuai |
ISSTA '22: "MDPFuzz: Testing Models Solving ..."
MDPFuzz: Testing Models Solving Markov Decision Processes
Qi Pang, Yuanyuan Yuan, and Shuai Wang
(Hong Kong University of Science and Technology, China)
@InProceedings{ISSTA22p391,
author = {Qi Pang and Yuanyuan Yuan and Shuai Wang},
title = {MDPFuzz: Testing Models Solving Markov Decision Processes},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {391-390},
doi = {10.1145/3533767.3534388},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: issta22main-p189-p doi:10.1145/3533767.3534388
|
| |
Wang, Tao |
ISSTA '22: "Understanding Device Integration ..."
Understanding Device Integration Bugs in Smart Home System
Tao Wang, Kangkang Zhang, Wei Chen, Wensheng Dou, Jiaxin Zhu, Jun Wei, and Tao Huang
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Nanjing Institute of Software Technology, China)
@InProceedings{ISSTA22p443,
author = {Tao Wang and Kangkang Zhang and Wei Chen and Wensheng Dou and Jiaxin Zhu and Jun Wei and Tao Huang},
title = {Understanding Device Integration Bugs in Smart Home System},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {443-442},
doi = {10.1145/3533767.3534365},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: issta22main-p2-p doi:10.1145/3533767.3534365
|
| |
Wang, Ting |
ISSTA '22: "NCScope: Hardware-Assisted ..."
NCScope: Hardware-Assisted Analyzer for Native Code in Android Apps
Hao Zhou, Shuohan Wu, Xiapu Luo, Ting Wang, Yajin Zhou, Chao Zhang, and Haipeng Cai
(Hong Kong Polytechnic University, China; Pennsylvania State University, USA; Zhejiang University, China; Tsinghua University, China; Beijing National Research Center for Information Science and Technology, China; Washington State University, USA)
@InProceedings{ISSTA22p651,
author = {Hao Zhou and Shuohan Wu and Xiapu Luo and Ting Wang and Yajin Zhou and Chao Zhang and Haipeng Cai},
title = {NCScope: Hardware-Assisted Analyzer for Native Code in Android Apps},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {651-650},
doi = {10.1145/3533767.3534410},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: issta22main-p552-p doi:10.1145/3533767.3534410
|
| |
Wang, Wei |
ISSTA '22: "Finding Bugs in Gremlin-Based ..."
Finding Bugs in Gremlin-Based Graph Database Systems via Randomized Differential Testing
Yingying Zheng, Wensheng Dou, Yicheng Wang, Zheng Qin, Lei Tang, Yu Gao, Dong Wang, Wei Wang, and Jun Wei
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China)
@InProceedings{ISSTA22p313,
author = {Yingying Zheng and Wensheng Dou and Yicheng Wang and Zheng Qin and Lei Tang and Yu Gao and Dong Wang and Wei Wang and Jun Wei},
title = {Finding Bugs in Gremlin-Based Graph Database Systems via Randomized Differential Testing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {313-312},
doi = {10.1145/3533767.3534409},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Article: issta22main-p513-p doi:10.1145/3533767.3534409
|
| |
Wang, Wenhai |
ISSTA '22: "SLIME: Program-Sensitive Energy ..."
SLIME: Program-Sensitive Energy Allocation for Fuzzing
Chenyang Lyu, Hong Liang, Shouling Ji, Xuhong Zhang, Binbin Zhao, Meng Han, Yun Li, Zhe Wang, Wenhai Wang, and Raheem Beyah
(Zhejiang University, China; Georgia Institute of Technology, USA; Huawei Technologies, China; Institute of Computing Technology at Chinese Academy of Sciences, China)
@InProceedings{ISSTA22p378,
author = {Chenyang Lyu and Hong Liang and Shouling Ji and Xuhong Zhang and Binbin Zhao and Meng Han and Yun Li and Zhe Wang and Wenhai Wang and Raheem Beyah},
title = {SLIME: Program-Sensitive Energy Allocation for Fuzzing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {378-377},
doi = {10.1145/3533767.3534385},
year = {2022},
}
Publisher's Version
Article: issta22main-p134-p doi:10.1145/3533767.3534385
|
| |
Wang, Wenxuan |
ISSTA '22: "AEON: A Method for Automatic ..."
AEON: A Method for Automatic Evaluation of NLP Test Cases
Jen-tse Huang, Jianping Zhang, Wenxuan Wang, Pinjia He, Yuxin Su, and Michael R. Lyu
(Chinese University of Hong Kong, China; Chinese University of Hong Kong at Shenzhen, China; Sun Yat-sen University, China)
@InProceedings{ISSTA22p209,
author = {Jen-tse Huang and Jianping Zhang and Wenxuan Wang and Pinjia He and Yuxin Su and Michael R. Lyu},
title = {AEON: A Method for Automatic Evaluation of NLP Test Cases},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {209-208},
doi = {10.1145/3533767.3534394},
year = {2022},
}
Publisher's Version
Article: issta22main-p254-p doi:10.1145/3533767.3534394
|
| |
Wang, Xiang |
ISSTA '22: "TeLL: Log Level Suggestions ..."
TeLL: Log Level Suggestions via Modeling Multi-level Code Block Information
Jiahao Liu, Jun Zeng, Xiang Wang, Kaihang Ji, and Zhenkai Liang
(National University of Singapore, Singapore; University of Science and Technology of China, China)
@InProceedings{ISSTA22p27,
author = {Jiahao Liu and Jun Zeng and Xiang Wang and Kaihang Ji and Zhenkai Liang},
title = {TeLL: Log Level Suggestions via Modeling Multi-level Code Block Information},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {27-26},
doi = {10.1145/3533767.3534379},
year = {2022},
}
Publisher's Version
Article: issta22main-p99-p doi:10.1145/3533767.3534379
|
| |
Wang, Yicheng |
ISSTA '22: "Finding Bugs in Gremlin-Based ..."
Finding Bugs in Gremlin-Based Graph Database Systems via Randomized Differential Testing
Yingying Zheng, Wensheng Dou, Yicheng Wang, Zheng Qin, Lei Tang, Yu Gao, Dong Wang, Wei Wang, and Jun Wei
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China)
@InProceedings{ISSTA22p313,
author = {Yingying Zheng and Wensheng Dou and Yicheng Wang and Zheng Qin and Lei Tang and Yu Gao and Dong Wang and Wei Wang and Jun Wei},
title = {Finding Bugs in Gremlin-Based Graph Database Systems via Randomized Differential Testing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {313-312},
doi = {10.1145/3533767.3534409},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Article: issta22main-p513-p doi:10.1145/3533767.3534409
|
| |
Wang, Yuancheng |
ISSTA '22: "Automated Testing of Image ..."
Automated Testing of Image Captioning Systems
Boxi Yu, Zhiqing Zhong, Xinran Qin, Jiayi Yao, Yuancheng Wang, and Pinjia He
(Chinese University of Hong Kong at Shenzhen, China; South China University of Technology, China)
@InProceedings{ISSTA22p482,
author = {Boxi Yu and Zhiqing Zhong and Xinran Qin and Jiayi Yao and Yuancheng Wang and Pinjia He},
title = {Automated Testing of Image Captioning Systems},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {482-481},
doi = {10.1145/3533767.3534389},
year = {2022},
}
Publisher's Version
Archive submitted (410 kB)
Article: issta22main-p196-p doi:10.1145/3533767.3534389
|
| |
Wang, Zhe |
ISSTA '22: "SLIME: Program-Sensitive Energy ..."
SLIME: Program-Sensitive Energy Allocation for Fuzzing
Chenyang Lyu, Hong Liang, Shouling Ji, Xuhong Zhang, Binbin Zhao, Meng Han, Yun Li, Zhe Wang, Wenhai Wang, and Raheem Beyah
(Zhejiang University, China; Georgia Institute of Technology, USA; Huawei Technologies, China; Institute of Computing Technology at Chinese Academy of Sciences, China)
@InProceedings{ISSTA22p378,
author = {Chenyang Lyu and Hong Liang and Shouling Ji and Xuhong Zhang and Binbin Zhao and Meng Han and Yun Li and Zhe Wang and Wenhai Wang and Raheem Beyah},
title = {SLIME: Program-Sensitive Energy Allocation for Fuzzing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {378-377},
doi = {10.1145/3533767.3534385},
year = {2022},
}
Publisher's Version
Article: issta22main-p134-p doi:10.1145/3533767.3534385
|
| |
Wei, Jiali |
ISSTA '22: "One Step Further: Evaluating ..."
One Step Further: Evaluating Interpreters using Metamorphic Testing
Ming Fan, Jiali Wei, Wuxia Jin, Zhou Xu, Wenying Wei, and Ting Liu
(Xi'an Jiaotong University, China; Chongqing University, China)
@InProceedings{ISSTA22p339,
author = {Ming Fan and Jiali Wei and Wuxia Jin and Zhou Xu and Wenying Wei and Ting Liu},
title = {One Step Further: Evaluating Interpreters using Metamorphic Testing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {339-338},
doi = {10.1145/3533767.3534225},
year = {2022},
}
Publisher's Version
Article: issta22main-p612-p doi:10.1145/3533767.3534225
|
| |
Wei, Jun |
ISSTA '22: "Finding Bugs in Gremlin-Based ..."
Finding Bugs in Gremlin-Based Graph Database Systems via Randomized Differential Testing
Yingying Zheng, Wensheng Dou, Yicheng Wang, Zheng Qin, Lei Tang, Yu Gao, Dong Wang, Wei Wang, and Jun Wei
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China)
@InProceedings{ISSTA22p313,
author = {Yingying Zheng and Wensheng Dou and Yicheng Wang and Zheng Qin and Lei Tang and Yu Gao and Dong Wang and Wei Wang and Jun Wei},
title = {Finding Bugs in Gremlin-Based Graph Database Systems via Randomized Differential Testing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {313-312},
doi = {10.1145/3533767.3534409},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Article: issta22main-p513-p doi:10.1145/3533767.3534409
ISSTA '22: "Understanding Device Integration ..."
Understanding Device Integration Bugs in Smart Home System
Tao Wang, Kangkang Zhang, Wei Chen, Wensheng Dou, Jiaxin Zhu, Jun Wei, and Tao Huang
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Nanjing Institute of Software Technology, China)
@InProceedings{ISSTA22p443,
author = {Tao Wang and Kangkang Zhang and Wei Chen and Wensheng Dou and Jiaxin Zhu and Jun Wei and Tao Huang},
title = {Understanding Device Integration Bugs in Smart Home System},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {443-442},
doi = {10.1145/3533767.3534365},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: issta22main-p2-p doi:10.1145/3533767.3534365
|
| |
Wei, Qiuyang |
ISSTA '22: "A Large-Scale Empirical Analysis ..."
A Large-Scale Empirical Analysis of the Vulnerabilities Introduced by Third-Party Components in IoT Firmware
Binbin Zhao, Shouling Ji, Jiacheng Xu, Yuan Tian, Qiuyang Wei, Qinying Wang, Chenyang Lyu, Xuhong Zhang, Changting Lin, Jingzheng Wu, and Raheem Beyah
(Zhejiang University, China; Georgia Institute of Technology, USA; University of Virginia, USA; Institute of Software at Chinese Academy of Sciences, China)
@InProceedings{ISSTA22p456,
author = {Binbin Zhao and Shouling Ji and Jiacheng Xu and Yuan Tian and Qiuyang Wei and Qinying Wang and Chenyang Lyu and Xuhong Zhang and Changting Lin and Jingzheng Wu and Raheem Beyah},
title = {A Large-Scale Empirical Analysis of the Vulnerabilities Introduced by Third-Party Components in IoT Firmware},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {456-455},
doi = {10.1145/3533767.3534366},
year = {2022},
}
Publisher's Version
Article: issta22main-p13-p doi:10.1145/3533767.3534366
|
| |
Wei, Wenying |
ISSTA '22: "One Step Further: Evaluating ..."
One Step Further: Evaluating Interpreters using Metamorphic Testing
Ming Fan, Jiali Wei, Wuxia Jin, Zhou Xu, Wenying Wei, and Ting Liu
(Xi'an Jiaotong University, China; Chongqing University, China)
@InProceedings{ISSTA22p339,
author = {Ming Fan and Jiali Wei and Wuxia Jin and Zhou Xu and Wenying Wei and Ting Liu},
title = {One Step Further: Evaluating Interpreters using Metamorphic Testing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {339-338},
doi = {10.1145/3533767.3534225},
year = {2022},
}
Publisher's Version
Article: issta22main-p612-p doi:10.1145/3533767.3534225
|
| |
Weiss, Michael |
ISSTA '22: "Simple Techniques Work Surprisingly ..."
Simple Techniques Work Surprisingly Well for Neural Network Test Prioritization and Active Learning (Replicability Study)
Michael Weiss and Paolo Tonella
(USI Lugano, Switzerland)
@InProceedings{ISSTA22p144,
author = {Michael Weiss and Paolo Tonella},
title = {Simple Techniques Work Surprisingly Well for Neural Network Test Prioritization and Active Learning (Replicability Study)},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {144-143},
doi = {10.1145/3533767.3534375},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Article: issta22main-p78-p doi:10.1145/3533767.3534375
|
| |
Wu, Jingzheng |
ISSTA '22: "A Large-Scale Empirical Analysis ..."
A Large-Scale Empirical Analysis of the Vulnerabilities Introduced by Third-Party Components in IoT Firmware
Binbin Zhao, Shouling Ji, Jiacheng Xu, Yuan Tian, Qiuyang Wei, Qinying Wang, Chenyang Lyu, Xuhong Zhang, Changting Lin, Jingzheng Wu, and Raheem Beyah
(Zhejiang University, China; Georgia Institute of Technology, USA; University of Virginia, USA; Institute of Software at Chinese Academy of Sciences, China)
@InProceedings{ISSTA22p456,
author = {Binbin Zhao and Shouling Ji and Jiacheng Xu and Yuan Tian and Qiuyang Wei and Qinying Wang and Chenyang Lyu and Xuhong Zhang and Changting Lin and Jingzheng Wu and Raheem Beyah},
title = {A Large-Scale Empirical Analysis of the Vulnerabilities Introduced by Third-Party Components in IoT Firmware},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {456-455},
doi = {10.1145/3533767.3534366},
year = {2022},
}
Publisher's Version
Article: issta22main-p13-p doi:10.1145/3533767.3534366
|
| |
Wu, Lei |
ISSTA '22: "WASAI: Uncovering Vulnerabilities ..."
WASAI: Uncovering Vulnerabilities in Wasm Smart Contracts
Weimin Chen, Zihan Sun, Haoyu Wang, Xiapu Luo, Haipeng Cai, and Lei Wu
(Hong Kong Polytechnic University, China; Beijing University of Posts and Telecommunications, China; Huazhong University of Science and Technology, China; Washington State University, USA; Zhejiang University, China)
@InProceedings{ISSTA22p729,
author = {Weimin Chen and Zihan Sun and Haoyu Wang and Xiapu Luo and Haipeng Cai and Lei Wu},
title = {WASAI: Uncovering Vulnerabilities in Wasm Smart Contracts},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {729-728},
doi = {10.1145/3533767.3534218},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: issta22main-p27-p doi:10.1145/3533767.3534218
|
| |
Wu, Shuohan |
ISSTA '22: "NCScope: Hardware-Assisted ..."
NCScope: Hardware-Assisted Analyzer for Native Code in Android Apps
Hao Zhou, Shuohan Wu, Xiapu Luo, Ting Wang, Yajin Zhou, Chao Zhang, and Haipeng Cai
(Hong Kong Polytechnic University, China; Pennsylvania State University, USA; Zhejiang University, China; Tsinghua University, China; Beijing National Research Center for Information Science and Technology, China; Washington State University, USA)
@InProceedings{ISSTA22p651,
author = {Hao Zhou and Shuohan Wu and Xiapu Luo and Ting Wang and Yajin Zhou and Chao Zhang and Haipeng Cai},
title = {NCScope: Hardware-Assisted Analyzer for Native Code in Android Apps},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {651-650},
doi = {10.1145/3533767.3534410},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: issta22main-p552-p doi:10.1145/3533767.3534410
|
| |
Wu, Yijian |
ISSTA '22: "RegMiner: Towards Constructing ..."
RegMiner: Towards Constructing a Large Regression Dataset from Code Evolution History
Xuezhi Song, Yun Lin, Siang Hwee Ng, Yijian Wu, Xin Peng, Jin Song Dong, and Hong Mei
(Fudan University, China; Shanghai Jiao Tong University, China; National University of Singapore, Singapore; Peking University, China)
@InProceedings{ISSTA22p326,
author = {Xuezhi Song and Yun Lin and Siang Hwee Ng and Yijian Wu and Xin Peng and Jin Song Dong and Hong Mei},
title = {RegMiner: Towards Constructing a Large Regression Dataset from Code Evolution History},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {326-325},
doi = {10.1145/3533767.3534224},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: issta22main-p553-p doi:10.1145/3533767.3534224
|
| |
Wu, Zhiyong |
ISSTA '22: "Unicorn: Detect Runtime Errors ..."
Unicorn: Detect Runtime Errors in Time-Series Databases with Hybrid Input Synthesis
Zhiyong Wu, Jie Liang, Mingzhe Wang, Chijin Zhou, and Yu Jiang
(Tsinghua University, China; ShuimuYulin, China)
@InProceedings{ISSTA22p261,
author = {Zhiyong Wu and Jie Liang and Mingzhe Wang and Chijin Zhou and Yu Jiang},
title = {Unicorn: Detect Runtime Errors in Time-Series Databases with Hybrid Input Synthesis},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {261-260},
doi = {10.1145/3533767.3534364},
year = {2022},
}
Publisher's Version
Article: issta22main-p1-p doi:10.1145/3533767.3534364
|
| |
Wüstholz, Valentin |
ISSTA '22: "Metamorphic Relations via ..."
Metamorphic Relations via Relaxations: An Approach to Obtain Oracles for Action-Policy Testing
Hasan Ferit Eniser, Timo P. Gros, Valentin Wüstholz, Jörg Hoffmann, and Maria Christakis
(MPI-SWS, Germany; Saarland University, Germany; ConsenSys, Germany; DFKI, Germany)
@InProceedings{ISSTA22p53,
author = {Hasan Ferit Eniser and Timo P. Gros and Valentin Wüstholz and Jörg Hoffmann and Maria Christakis},
title = {Metamorphic Relations via Relaxations: An Approach to Obtain Oracles for Action-Policy Testing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {53-52},
doi = {10.1145/3533767.3534392},
year = {2022},
}
Publisher's Version
Article: issta22main-p239-p doi:10.1145/3533767.3534392
|
| |
Xie, Danning
|
ISSTA '22: "DocTer: Documentation-Guided ..."
DocTer: Documentation-Guided Fuzzing for Testing Deep Learning API Functions
Danning Xie, Yitong Li, Mijung Kim, Hung Viet Pham, Lin Tan, Xiangyu Zhang, and Michael W. Godfrey
(Purdue University, USA; University of Waterloo, Canada; Ulsan National Institute of Science and Technology, South Korea)
@InProceedings{ISSTA22p183,
author = {Danning Xie and Yitong Li and Mijung Kim and Hung Viet Pham and Lin Tan and Xiangyu Zhang and Michael W. Godfrey},
title = {DocTer: Documentation-Guided Fuzzing for Testing Deep Learning API Functions},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {183-182},
doi = {10.1145/3533767.3534220},
year = {2022},
}
Publisher's Version
Article: issta22main-p174-p doi:10.1145/3533767.3534220
|
| |
Xie, Xiaofei |
ISSTA '22: "Cross-Lingual Transfer Learning ..."
Cross-Lingual Transfer Learning for Statistical Type Inference
Zhiming Li, Xiaofei Xie, Haoliang Li, Zhengzi Xu, Yi Li, and Yang Liu
(Nanyang Technological University, Singapore; Singapore Management University, Singapore; City University of Hong Kong, China)
@InProceedings{ISSTA22p248,
author = {Zhiming Li and Xiaofei Xie and Haoliang Li and Zhengzi Xu and Yi Li and Yang Liu},
title = {Cross-Lingual Transfer Learning for Statistical Type Inference},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {248-247},
doi = {10.1145/3533767.3534411},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: issta22main-p591-p doi:10.1145/3533767.3534411
|
| |
Xin, Qi |
ISSTA '22: "Automated Test Generation ..."
Automated Test Generation for REST APIs: No Time to Rest Yet
Myeongsoo Kim, Qi Xin, Saurabh Sinha, and Alessandro Orso
(Georgia Institute of Technology, USA; Wuhan University, China; IBM Research, USA)
@InProceedings{ISSTA22p300,
author = {Myeongsoo Kim and Qi Xin and Saurabh Sinha and Alessandro Orso},
title = {Automated Test Generation for REST APIs: No Time to Rest Yet},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {300-299},
doi = {10.1145/3533767.3534401},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: issta22main-p382-p doi:10.1145/3533767.3534401
|
| |
Xu, Jiacheng |
ISSTA '22: "A Large-Scale Empirical Analysis ..."
A Large-Scale Empirical Analysis of the Vulnerabilities Introduced by Third-Party Components in IoT Firmware
Binbin Zhao, Shouling Ji, Jiacheng Xu, Yuan Tian, Qiuyang Wei, Qinying Wang, Chenyang Lyu, Xuhong Zhang, Changting Lin, Jingzheng Wu, and Raheem Beyah
(Zhejiang University, China; Georgia Institute of Technology, USA; University of Virginia, USA; Institute of Software at Chinese Academy of Sciences, China)
@InProceedings{ISSTA22p456,
author = {Binbin Zhao and Shouling Ji and Jiacheng Xu and Yuan Tian and Qiuyang Wei and Qinying Wang and Chenyang Lyu and Xuhong Zhang and Changting Lin and Jingzheng Wu and Raheem Beyah},
title = {A Large-Scale Empirical Analysis of the Vulnerabilities Introduced by Third-Party Components in IoT Firmware},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {456-455},
doi = {10.1145/3533767.3534366},
year = {2022},
}
Publisher's Version
Article: issta22main-p13-p doi:10.1145/3533767.3534366
|
| |
Xu, Qiang |
ISSTA '22: "HybridRepair: Towards Annotation-Efficient ..."
HybridRepair: Towards Annotation-Efficient Repair for Deep Learning Models
Yu Li, Muxi Chen, and Qiang Xu
(Chinese University of Hong Kong, China)
@InProceedings{ISSTA22p235,
author = {Yu Li and Muxi Chen and Qiang Xu},
title = {HybridRepair: Towards Annotation-Efficient Repair for Deep Learning Models},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {235-234},
doi = {10.1145/3533767.3534408},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: issta22main-p498-p doi:10.1145/3533767.3534408
|
| |
Xu, Zhengzi |
ISSTA '22: "Cross-Lingual Transfer Learning ..."
Cross-Lingual Transfer Learning for Statistical Type Inference
Zhiming Li, Xiaofei Xie, Haoliang Li, Zhengzi Xu, Yi Li, and Yang Liu
(Nanyang Technological University, Singapore; Singapore Management University, Singapore; City University of Hong Kong, China)
@InProceedings{ISSTA22p248,
author = {Zhiming Li and Xiaofei Xie and Haoliang Li and Zhengzi Xu and Yi Li and Yang Liu},
title = {Cross-Lingual Transfer Learning for Statistical Type Inference},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {248-247},
doi = {10.1145/3533767.3534411},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: issta22main-p591-p doi:10.1145/3533767.3534411
|
| |
Xu, Zhou |
ISSTA '22: "One Step Further: Evaluating ..."
One Step Further: Evaluating Interpreters using Metamorphic Testing
Ming Fan, Jiali Wei, Wuxia Jin, Zhou Xu, Wenying Wei, and Ting Liu
(Xi'an Jiaotong University, China; Chongqing University, China)
@InProceedings{ISSTA22p339,
author = {Ming Fan and Jiali Wei and Wuxia Jin and Zhou Xu and Wenying Wei and Ting Liu},
title = {One Step Further: Evaluating Interpreters using Metamorphic Testing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {339-338},
doi = {10.1145/3533767.3534225},
year = {2022},
}
Publisher's Version
Article: issta22main-p612-p doi:10.1145/3533767.3534225
|
| |
Yang, Hanmei
|
ISSTA '22: "Deadlock Prediction via Generalized ..."
Deadlock Prediction via Generalized Dependency
Jinpeng Zhou, Hanmei Yang, John Lange, and Tongping Liu
(University of Pittsburgh, USA; University of Massachusetts at Amherst, USA; Oak Ridge National Laboratory, USA)
@InProceedings{ISSTA22p469,
author = {Jinpeng Zhou and Hanmei Yang and John Lange and Tongping Liu},
title = {Deadlock Prediction via Generalized Dependency},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {469-468},
doi = {10.1145/3533767.3534377},
year = {2022},
}
Publisher's Version
Article: issta22main-p92-p doi:10.1145/3533767.3534377
|
| |
Yang, Mengfei |
ISSTA '22: "SpecChecker-ISA: A Data Sharing ..."
SpecChecker-ISA: A Data Sharing Analyzer for Interrupt-Driven Embedded Software
Boxiang Wang, Rui Chen, Chao Li, Tingting Yu, Dongdong Gao, and Mengfei Yang
(Xidian University, China; Beijing Sunwise Information Technology, China; Beijing Institute of Control Engineering, China; China Academy of Space Technology, China)
@InProceedings{ISSTA22p830,
author = {Boxiang Wang and Rui Chen and Chao Li and Tingting Yu and Dongdong Gao and Mengfei Yang},
title = {SpecChecker-ISA: A Data Sharing Analyzer for Interrupt-Driven Embedded Software},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {830-829},
doi = {10.1145/3533767.3543295},
year = {2022},
}
Publisher's Version
Article: issta22demo-p78-p doi:10.1145/3533767.3543295
ISSTA '22: "Precise and Efficient Atomicity ..."
Precise and Efficient Atomicity Violation Detection for Interrupt-Driven Programs via Staged Path Pruning
Chao Li, Rui Chen, Boxiang Wang, Tingting Yu, Dongdong Gao, and Mengfei Yang
(Beijing Institute of Control Engineering, China; Beijing Sunwise Information Technology, China; Xidian University, China; China Academy of Space Technology, China)
@InProceedings{ISSTA22p521,
author = {Chao Li and Rui Chen and Boxiang Wang and Tingting Yu and Dongdong Gao and Mengfei Yang},
title = {Precise and Efficient Atomicity Violation Detection for Interrupt-Driven Programs via Staged Path Pruning},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {521-520},
doi = {10.1145/3533767.3534412},
year = {2022},
}
Publisher's Version
Article: issta22main-p645-p doi:10.1145/3533767.3534412
|
| |
Yang, Shuaihao |
ISSTA '22: "PermDroid: Automatically Testing ..."
PermDroid: Automatically Testing Permission-Related Behaviour of Android Applications
Shuaihao Yang, Zigang Zeng, and Wei Song
(Nanjing University of Science and Technology, China)
@InProceedings{ISSTA22p612,
author = {Shuaihao Yang and Zigang Zeng and Wei Song},
title = {PermDroid: Automatically Testing Permission-Related Behaviour of Android Applications},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {612-611},
doi = {10.1145/3533767.3534221},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: issta22main-p218-p doi:10.1145/3533767.3534221
|
| |
Yang, Yuting |
ISSTA '22: "𝜀-Weakened Robustness ..."
𝜀-Weakened Robustness of Deep Neural Networks
Pei Huang, Yuting Yang, Minghao Liu, Fuqi Jia, Feifei Ma, and Jian Zhang
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China)
@InProceedings{ISSTA22p131,
author = {Pei Huang and Yuting Yang and Minghao Liu and Fuqi Jia and Feifei Ma and Jian Zhang},
title = {<i>𝜀</i>-Weakened Robustness of Deep Neural Networks},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {131-130},
doi = {10.1145/3533767.3534373},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: issta22main-p58-p doi:10.1145/3533767.3534373
|
| |
Yao, Jiayi |
ISSTA '22: "Automated Testing of Image ..."
Automated Testing of Image Captioning Systems
Boxi Yu, Zhiqing Zhong, Xinran Qin, Jiayi Yao, Yuancheng Wang, and Pinjia He
(Chinese University of Hong Kong at Shenzhen, China; South China University of Technology, China)
@InProceedings{ISSTA22p482,
author = {Boxi Yu and Zhiqing Zhong and Xinran Qin and Jiayi Yao and Yuancheng Wang and Pinjia He},
title = {Automated Testing of Image Captioning Systems},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {482-481},
doi = {10.1145/3533767.3534389},
year = {2022},
}
Publisher's Version
Archive submitted (410 kB)
Article: issta22main-p196-p doi:10.1145/3533767.3534389
|
| |
Ye, Hengkai |
ISSTA '22: "BET: Black-Box Efficient Testing ..."
BET: Black-Box Efficient Testing for Convolutional Neural Networks
Jialai Wang, Han Qiu, Yi Rong, Hengkai Ye, Qi Li, Zongpeng Li, and Chao Zhang
(Tsinghua University, China; Beijing National Research Center for Information Science and Technology, China; Purdue University, USA)
@InProceedings{ISSTA22p170,
author = {Jialai Wang and Han Qiu and Yi Rong and Hengkai Ye and Qi Li and Zongpeng Li and Chao Zhang},
title = {BET: Black-Box Efficient Testing for Convolutional Neural Networks},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {170-169},
doi = {10.1145/3533767.3534386},
year = {2022},
}
Publisher's Version
Article: issta22main-p139-p doi:10.1145/3533767.3534386
|
| |
Yin, Hongzhi |
ISSTA '22: "CIRCLE: Continual Repair across ..."
CIRCLE: Continual Repair across Programming Languages
Wei Yuan, Quanjun Zhang, Tieke He, Chunrong Fang, Nguyen Quoc Viet Hung, Xiaodong Hao, and Hongzhi Yin
(University of Queensland, Australia; Nanjing University, China; Griffith University, Australia)
@InProceedings{ISSTA22p703,
author = {Wei Yuan and Quanjun Zhang and Tieke He and Chunrong Fang and Nguyen Quoc Viet Hung and Xiaodong Hao and Hongzhi Yin},
title = {CIRCLE: Continual Repair across Programming Languages},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {703-702},
doi = {10.1145/3533767.3534219},
year = {2022},
}
Publisher's Version
Article: issta22main-p107-p doi:10.1145/3533767.3534219
|
| |
Yoo, Shin |
ISSTA '22: "FDG: A Precise Measurement ..."
FDG: A Precise Measurement of Fault Diagnosability Gain of Test Cases
Gabin An and Shin Yoo
(KAIST, South Korea)
@InProceedings{ISSTA22p14,
author = {Gabin An and Shin Yoo},
title = {FDG: A Precise Measurement of Fault Diagnosability Gain of Test Cases},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {14-13},
doi = {10.1145/3533767.3534370},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: issta22main-p47-p doi:10.1145/3533767.3534370
|
| |
You, Wei |
ISSTA '22: "TensileFuzz: Facilitating ..."
TensileFuzz: Facilitating Seed Input Generation in Fuzzing via String Constraint Solving
Xuwei Liu, Wei You, Zhuo Zhang, and Xiangyu Zhang
(Purdue University, USA; Renmin University of China, China)
@InProceedings{ISSTA22p404,
author = {Xuwei Liu and Wei You and Zhuo Zhang and Xiangyu Zhang},
title = {TensileFuzz: Facilitating Seed Input Generation in Fuzzing via String Constraint Solving},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {404-403},
doi = {10.1145/3533767.3534403},
year = {2022},
}
Publisher's Version
Article: issta22main-p466-p doi:10.1145/3533767.3534403
ISSTA '22: "Hunting Bugs with Accelerated ..."
Hunting Bugs with Accelerated Optimal Graph Vertex Matching
Xiaohui Zhang, Yuanjun Gong, Bin Liang, Jianjun Huang, Wei You, Wenchang Shi, and Jian Zhang
(Renmin University of China, China; University of Chinese Academy of Sciences, China)
@InProceedings{ISSTA22p66,
author = {Xiaohui Zhang and Yuanjun Gong and Bin Liang and Jianjun Huang and Wei You and Wenchang Shi and Jian Zhang},
title = {Hunting Bugs with Accelerated Optimal Graph Vertex Matching},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {66-65},
doi = {10.1145/3533767.3534393},
year = {2022},
}
Publisher's Version
Article: issta22main-p245-p doi:10.1145/3533767.3534393
|
| |
Yu, Boxi |
ISSTA '22: "Automated Testing of Image ..."
Automated Testing of Image Captioning Systems
Boxi Yu, Zhiqing Zhong, Xinran Qin, Jiayi Yao, Yuancheng Wang, and Pinjia He
(Chinese University of Hong Kong at Shenzhen, China; South China University of Technology, China)
@InProceedings{ISSTA22p482,
author = {Boxi Yu and Zhiqing Zhong and Xinran Qin and Jiayi Yao and Yuancheng Wang and Pinjia He},
title = {Automated Testing of Image Captioning Systems},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {482-481},
doi = {10.1145/3533767.3534389},
year = {2022},
}
Publisher's Version
Archive submitted (410 kB)
Article: issta22main-p196-p doi:10.1145/3533767.3534389
|
| |
Yu, Shengcheng |
ISSTA '22: "UniRLTest: Universal Platform-Independent ..."
UniRLTest: Universal Platform-Independent Testing with Reinforcement Learning via Image Understanding
Ziqian Zhang, Yulei Liu, Shengcheng Yu, Xin Li, Yexiao Yun, Chunrong Fang, and Zhenyu Chen
(Nanjing University, China)
@InProceedings{ISSTA22p834,
author = {Ziqian Zhang and Yulei Liu and Shengcheng Yu and Xin Li and Yexiao Yun and Chunrong Fang and Zhenyu Chen},
title = {UniRLTest: Universal Platform-Independent Testing with Reinforcement Learning via Image Understanding},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {834-833},
doi = {10.1145/3533767.3543292},
year = {2022},
}
Publisher's Version
Article: issta22demo-p40-p doi:10.1145/3533767.3543292
|
| |
Yu, Tingting |
ISSTA '22: "SpecChecker-ISA: A Data Sharing ..."
SpecChecker-ISA: A Data Sharing Analyzer for Interrupt-Driven Embedded Software
Boxiang Wang, Rui Chen, Chao Li, Tingting Yu, Dongdong Gao, and Mengfei Yang
(Xidian University, China; Beijing Sunwise Information Technology, China; Beijing Institute of Control Engineering, China; China Academy of Space Technology, China)
@InProceedings{ISSTA22p830,
author = {Boxiang Wang and Rui Chen and Chao Li and Tingting Yu and Dongdong Gao and Mengfei Yang},
title = {SpecChecker-ISA: A Data Sharing Analyzer for Interrupt-Driven Embedded Software},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {830-829},
doi = {10.1145/3533767.3543295},
year = {2022},
}
Publisher's Version
Article: issta22demo-p78-p doi:10.1145/3533767.3543295
ISSTA '22: "Precise and Efficient Atomicity ..."
Precise and Efficient Atomicity Violation Detection for Interrupt-Driven Programs via Staged Path Pruning
Chao Li, Rui Chen, Boxiang Wang, Tingting Yu, Dongdong Gao, and Mengfei Yang
(Beijing Institute of Control Engineering, China; Beijing Sunwise Information Technology, China; Xidian University, China; China Academy of Space Technology, China)
@InProceedings{ISSTA22p521,
author = {Chao Li and Rui Chen and Boxiang Wang and Tingting Yu and Dongdong Gao and Mengfei Yang},
title = {Precise and Efficient Atomicity Violation Detection for Interrupt-Driven Programs via Staged Path Pruning},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {521-520},
doi = {10.1145/3533767.3534412},
year = {2022},
}
Publisher's Version
Article: issta22main-p645-p doi:10.1145/3533767.3534412
|
| |
Yuan, Wei |
ISSTA '22: "CIRCLE: Continual Repair across ..."
CIRCLE: Continual Repair across Programming Languages
Wei Yuan, Quanjun Zhang, Tieke He, Chunrong Fang, Nguyen Quoc Viet Hung, Xiaodong Hao, and Hongzhi Yin
(University of Queensland, Australia; Nanjing University, China; Griffith University, Australia)
@InProceedings{ISSTA22p703,
author = {Wei Yuan and Quanjun Zhang and Tieke He and Chunrong Fang and Nguyen Quoc Viet Hung and Xiaodong Hao and Hongzhi Yin},
title = {CIRCLE: Continual Repair across Programming Languages},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {703-702},
doi = {10.1145/3533767.3534219},
year = {2022},
}
Publisher's Version
Article: issta22main-p107-p doi:10.1145/3533767.3534219
|
| |
Yuan, Yuanyuan |
ISSTA '22: "MDPFuzz: Testing Models Solving ..."
MDPFuzz: Testing Models Solving Markov Decision Processes
Qi Pang, Yuanyuan Yuan, and Shuai Wang
(Hong Kong University of Science and Technology, China)
@InProceedings{ISSTA22p391,
author = {Qi Pang and Yuanyuan Yuan and Shuai Wang},
title = {MDPFuzz: Testing Models Solving Markov Decision Processes},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {391-390},
doi = {10.1145/3533767.3534388},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: issta22main-p189-p doi:10.1145/3533767.3534388
|
| |
Yun, Yexiao |
ISSTA '22: "UniRLTest: Universal Platform-Independent ..."
UniRLTest: Universal Platform-Independent Testing with Reinforcement Learning via Image Understanding
Ziqian Zhang, Yulei Liu, Shengcheng Yu, Xin Li, Yexiao Yun, Chunrong Fang, and Zhenyu Chen
(Nanjing University, China)
@InProceedings{ISSTA22p834,
author = {Ziqian Zhang and Yulei Liu and Shengcheng Yu and Xin Li and Yexiao Yun and Chunrong Fang and Zhenyu Chen},
title = {UniRLTest: Universal Platform-Independent Testing with Reinforcement Learning via Image Understanding},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {834-833},
doi = {10.1145/3533767.3543292},
year = {2022},
}
Publisher's Version
Article: issta22demo-p40-p doi:10.1145/3533767.3543292
|
| |
Zeng, Jun
|
ISSTA '22: "TeLL: Log Level Suggestions ..."
TeLL: Log Level Suggestions via Modeling Multi-level Code Block Information
Jiahao Liu, Jun Zeng, Xiang Wang, Kaihang Ji, and Zhenkai Liang
(National University of Singapore, Singapore; University of Science and Technology of China, China)
@InProceedings{ISSTA22p27,
author = {Jiahao Liu and Jun Zeng and Xiang Wang and Kaihang Ji and Zhenkai Liang},
title = {TeLL: Log Level Suggestions via Modeling Multi-level Code Block Information},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {27-26},
doi = {10.1145/3533767.3534379},
year = {2022},
}
Publisher's Version
Article: issta22main-p99-p doi:10.1145/3533767.3534379
|
| |
Zeng, Zhengran |
ISSTA '22: "An Extensive Study on Pre-trained ..."
An Extensive Study on Pre-trained Models for Program Understanding and Generation
Zhengran Zeng, Hanzhuo Tan, Haotian Zhang, Jing Li, Yuqun Zhang, and Lingming Zhang
(Southern University of Science and Technology, China; Hong Kong Polytechnic University, China; Kwai, China; University of Illinois at Urbana-Champaign, USA)
@InProceedings{ISSTA22p40,
author = {Zhengran Zeng and Hanzhuo Tan and Haotian Zhang and Jing Li and Yuqun Zhang and Lingming Zhang},
title = {An Extensive Study on Pre-trained Models for Program Understanding and Generation},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {40-39},
doi = {10.1145/3533767.3534390},
year = {2022},
}
Publisher's Version
Article: issta22main-p223-p doi:10.1145/3533767.3534390
|
| |
Zeng, Zigang |
ISSTA '22: "PermDroid: Automatically Testing ..."
PermDroid: Automatically Testing Permission-Related Behaviour of Android Applications
Shuaihao Yang, Zigang Zeng, and Wei Song
(Nanjing University of Science and Technology, China)
@InProceedings{ISSTA22p612,
author = {Shuaihao Yang and Zigang Zeng and Wei Song},
title = {PermDroid: Automatically Testing Permission-Related Behaviour of Android Applications},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {612-611},
doi = {10.1145/3533767.3534221},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: issta22main-p218-p doi:10.1145/3533767.3534221
|
| |
Zhang, Cen |
ISSTA '22: "Efficient Greybox Fuzzing ..."
Efficient Greybox Fuzzing of Applications in Linux-Based IoT Devices via Enhanced User-Mode Emulation
Yaowen Zheng, Yuekang Li, Cen Zhang, Hongsong Zhu, Yang Liu, and Limin Sun
(Nanyang Technological University, Singapore; Institute of Information Engineering at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China)
@InProceedings{ISSTA22p430,
author = {Yaowen Zheng and Yuekang Li and Cen Zhang and Hongsong Zhu and Yang Liu and Limin Sun},
title = {Efficient Greybox Fuzzing of Applications in Linux-Based IoT Devices via Enhanced User-Mode Emulation},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {430-429},
doi = {10.1145/3533767.3534414},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Article: issta22main-p762-p doi:10.1145/3533767.3534414
|
| |
Zhang, Chao |
ISSTA '22: "BET: Black-Box Efficient Testing ..."
BET: Black-Box Efficient Testing for Convolutional Neural Networks
Jialai Wang, Han Qiu, Yi Rong, Hengkai Ye, Qi Li, Zongpeng Li, and Chao Zhang
(Tsinghua University, China; Beijing National Research Center for Information Science and Technology, China; Purdue University, USA)
@InProceedings{ISSTA22p170,
author = {Jialai Wang and Han Qiu and Yi Rong and Hengkai Ye and Qi Li and Zongpeng Li and Chao Zhang},
title = {BET: Black-Box Efficient Testing for Convolutional Neural Networks},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {170-169},
doi = {10.1145/3533767.3534386},
year = {2022},
}
Publisher's Version
Article: issta22main-p139-p doi:10.1145/3533767.3534386
ISSTA '22: "jTrans: Jump-Aware Transformer ..."
jTrans: Jump-Aware Transformer for Binary Code Similarity Detection
Hao Wang, Wenjie Qu, Gilad Katz, Wenyu Zhu, Zeyu Gao, Han Qiu, Jianwei Zhuge, and Chao Zhang
(Tsinghua University, China; Beijing National Research Center for Information Science and Technology, China; Huazhong University of Science and Technology, China; Ben-Gurion University of the Negev, Israel; University of Science and Technology of China, China)
@InProceedings{ISSTA22p1,
author = {Hao Wang and Wenjie Qu and Gilad Katz and Wenyu Zhu and Zeyu Gao and Han Qiu and Jianwei Zhuge and Chao Zhang},
title = {jTrans: Jump-Aware Transformer for Binary Code Similarity Detection},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3533767.3534367},
year = {2022},
}
Publisher's Version
Article: issta22main-p20-p doi:10.1145/3533767.3534367
ISSTA '22: "PrIntFuzz: Fuzzing Linux Drivers ..."
PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation
Zheyu Ma, Bodong Zhao, Letu Ren, Zheming Li, Siqi Ma, Xiapu Luo, and Chao Zhang
(Tsinghua University, China; Beijing National Research Center for Information Science and Technology, China; UNSW, Australia; Hong Kong Polytechnic University, China)
@InProceedings{ISSTA22p417,
author = {Zheyu Ma and Bodong Zhao and Letu Ren and Zheming Li and Siqi Ma and Xiapu Luo and Chao Zhang},
title = {PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {417-416},
doi = {10.1145/3533767.3534226},
year = {2022},
}
Publisher's Version
Article: issta22main-p746-p doi:10.1145/3533767.3534226
ISSTA '22: "NCScope: Hardware-Assisted ..."
NCScope: Hardware-Assisted Analyzer for Native Code in Android Apps
Hao Zhou, Shuohan Wu, Xiapu Luo, Ting Wang, Yajin Zhou, Chao Zhang, and Haipeng Cai
(Hong Kong Polytechnic University, China; Pennsylvania State University, USA; Zhejiang University, China; Tsinghua University, China; Beijing National Research Center for Information Science and Technology, China; Washington State University, USA)
@InProceedings{ISSTA22p651,
author = {Hao Zhou and Shuohan Wu and Xiapu Luo and Ting Wang and Yajin Zhou and Chao Zhang and Haipeng Cai},
title = {NCScope: Hardware-Assisted Analyzer for Native Code in Android Apps},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {651-650},
doi = {10.1145/3533767.3534410},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: issta22main-p552-p doi:10.1145/3533767.3534410
|
| |
Zhang, Guanqin |
ISSTA '22: "Path-Sensitive Code Embedding ..."
Path-Sensitive Code Embedding via Contrastive Learning for Software Vulnerability Detection
Xiao Cheng, Guanqin Zhang, Haoyu Wang, and Yulei Sui
(University of Technology Sydney, Australia; Huazhong University of Science and Technology, China)
@InProceedings{ISSTA22p534,
author = {Xiao Cheng and Guanqin Zhang and Haoyu Wang and Yulei Sui},
title = {Path-Sensitive Code Embedding via Contrastive Learning for Software Vulnerability Detection},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {534-533},
doi = {10.1145/3533767.3534371},
year = {2022},
}
Publisher's Version
Article: issta22main-p51-p doi:10.1145/3533767.3534371
|
| |
Zhang, Haotian |
ISSTA '22: "An Extensive Study on Pre-trained ..."
An Extensive Study on Pre-trained Models for Program Understanding and Generation
Zhengran Zeng, Hanzhuo Tan, Haotian Zhang, Jing Li, Yuqun Zhang, and Lingming Zhang
(Southern University of Science and Technology, China; Hong Kong Polytechnic University, China; Kwai, China; University of Illinois at Urbana-Champaign, USA)
@InProceedings{ISSTA22p40,
author = {Zhengran Zeng and Hanzhuo Tan and Haotian Zhang and Jing Li and Yuqun Zhang and Lingming Zhang},
title = {An Extensive Study on Pre-trained Models for Program Understanding and Generation},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {40-39},
doi = {10.1145/3533767.3534390},
year = {2022},
}
Publisher's Version
Article: issta22main-p223-p doi:10.1145/3533767.3534390
|
| |
Zhang, Jialu |
ISSTA '22: "Using Pre-trained Language ..."
Using Pre-trained Language Models to Resolve Textual and Semantic Merge Conflicts (Experience Paper)
Jialu Zhang, Todd Mytkowicz, Mike Kaufman, Ruzica Piskac, and Shuvendu K. Lahiri
(Yale University, USA; Microsoft Research, USA; Microsoft, USA)
@InProceedings{ISSTA22p79,
author = {Jialu Zhang and Todd Mytkowicz and Mike Kaufman and Ruzica Piskac and Shuvendu K. Lahiri},
title = {Using Pre-trained Language Models to Resolve Textual and Semantic Merge Conflicts (Experience Paper)},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {79-78},
doi = {10.1145/3533767.3534396},
year = {2022},
}
Publisher's Version
Article: issta22main-p284-p doi:10.1145/3533767.3534396
|
| |
Zhang, Jian |
ISSTA '22: "𝜀-Weakened Robustness ..."
𝜀-Weakened Robustness of Deep Neural Networks
Pei Huang, Yuting Yang, Minghao Liu, Fuqi Jia, Feifei Ma, and Jian Zhang
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China)
@InProceedings{ISSTA22p131,
author = {Pei Huang and Yuting Yang and Minghao Liu and Fuqi Jia and Feifei Ma and Jian Zhang},
title = {<i>𝜀</i>-Weakened Robustness of Deep Neural Networks},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {131-130},
doi = {10.1145/3533767.3534373},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: issta22main-p58-p doi:10.1145/3533767.3534373
ISSTA '22: "Hunting Bugs with Accelerated ..."
Hunting Bugs with Accelerated Optimal Graph Vertex Matching
Xiaohui Zhang, Yuanjun Gong, Bin Liang, Jianjun Huang, Wei You, Wenchang Shi, and Jian Zhang
(Renmin University of China, China; University of Chinese Academy of Sciences, China)
@InProceedings{ISSTA22p66,
author = {Xiaohui Zhang and Yuanjun Gong and Bin Liang and Jianjun Huang and Wei You and Wenchang Shi and Jian Zhang},
title = {Hunting Bugs with Accelerated Optimal Graph Vertex Matching},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {66-65},
doi = {10.1145/3533767.3534393},
year = {2022},
}
Publisher's Version
Article: issta22main-p245-p doi:10.1145/3533767.3534393
|
| |
Zhang, Jianping |
ISSTA '22: "AEON: A Method for Automatic ..."
AEON: A Method for Automatic Evaluation of NLP Test Cases
Jen-tse Huang, Jianping Zhang, Wenxuan Wang, Pinjia He, Yuxin Su, and Michael R. Lyu
(Chinese University of Hong Kong, China; Chinese University of Hong Kong at Shenzhen, China; Sun Yat-sen University, China)
@InProceedings{ISSTA22p209,
author = {Jen-tse Huang and Jianping Zhang and Wenxuan Wang and Pinjia He and Yuxin Su and Michael R. Lyu},
title = {AEON: A Method for Automatic Evaluation of NLP Test Cases},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {209-208},
doi = {10.1145/3533767.3534394},
year = {2022},
}
Publisher's Version
Article: issta22main-p254-p doi:10.1145/3533767.3534394
|
| |
Zhang, Kangkang |
ISSTA '22: "Understanding Device Integration ..."
Understanding Device Integration Bugs in Smart Home System
Tao Wang, Kangkang Zhang, Wei Chen, Wensheng Dou, Jiaxin Zhu, Jun Wei, and Tao Huang
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Nanjing Institute of Software Technology, China)
@InProceedings{ISSTA22p443,
author = {Tao Wang and Kangkang Zhang and Wei Chen and Wensheng Dou and Jiaxin Zhu and Jun Wei and Tao Huang},
title = {Understanding Device Integration Bugs in Smart Home System},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {443-442},
doi = {10.1145/3533767.3534365},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: issta22main-p2-p doi:10.1145/3533767.3534365
|
| |
Zhang, Lingming |
ISSTA '22: "An Extensive Study on Pre-trained ..."
An Extensive Study on Pre-trained Models for Program Understanding and Generation
Zhengran Zeng, Hanzhuo Tan, Haotian Zhang, Jing Li, Yuqun Zhang, and Lingming Zhang
(Southern University of Science and Technology, China; Hong Kong Polytechnic University, China; Kwai, China; University of Illinois at Urbana-Champaign, USA)
@InProceedings{ISSTA22p40,
author = {Zhengran Zeng and Hanzhuo Tan and Haotian Zhang and Jing Li and Yuqun Zhang and Lingming Zhang},
title = {An Extensive Study on Pre-trained Models for Program Understanding and Generation},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {40-39},
doi = {10.1145/3533767.3534390},
year = {2022},
}
Publisher's Version
Article: issta22main-p223-p doi:10.1145/3533767.3534390
|
| |
Zhang, Quanjun |
ISSTA '22: "CIRCLE: Continual Repair across ..."
CIRCLE: Continual Repair across Programming Languages
Wei Yuan, Quanjun Zhang, Tieke He, Chunrong Fang, Nguyen Quoc Viet Hung, Xiaodong Hao, and Hongzhi Yin
(University of Queensland, Australia; Nanjing University, China; Griffith University, Australia)
@InProceedings{ISSTA22p703,
author = {Wei Yuan and Quanjun Zhang and Tieke He and Chunrong Fang and Nguyen Quoc Viet Hung and Xiaodong Hao and Hongzhi Yin},
title = {CIRCLE: Continual Repair across Programming Languages},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {703-702},
doi = {10.1145/3533767.3534219},
year = {2022},
}
Publisher's Version
Article: issta22main-p107-p doi:10.1145/3533767.3534219
|
| |
Zhang, Xiangyu |
ISSTA '22: "DocTer: Documentation-Guided ..."
DocTer: Documentation-Guided Fuzzing for Testing Deep Learning API Functions
Danning Xie, Yitong Li, Mijung Kim, Hung Viet Pham, Lin Tan, Xiangyu Zhang, and Michael W. Godfrey
(Purdue University, USA; University of Waterloo, Canada; Ulsan National Institute of Science and Technology, South Korea)
@InProceedings{ISSTA22p183,
author = {Danning Xie and Yitong Li and Mijung Kim and Hung Viet Pham and Lin Tan and Xiangyu Zhang and Michael W. Godfrey},
title = {DocTer: Documentation-Guided Fuzzing for Testing Deep Learning API Functions},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {183-182},
doi = {10.1145/3533767.3534220},
year = {2022},
}
Publisher's Version
Article: issta22main-p174-p doi:10.1145/3533767.3534220
ISSTA '22: "TensileFuzz: Facilitating ..."
TensileFuzz: Facilitating Seed Input Generation in Fuzzing via String Constraint Solving
Xuwei Liu, Wei You, Zhuo Zhang, and Xiangyu Zhang
(Purdue University, USA; Renmin University of China, China)
@InProceedings{ISSTA22p404,
author = {Xuwei Liu and Wei You and Zhuo Zhang and Xiangyu Zhang},
title = {TensileFuzz: Facilitating Seed Input Generation in Fuzzing via String Constraint Solving},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {404-403},
doi = {10.1145/3533767.3534403},
year = {2022},
}
Publisher's Version
Article: issta22main-p466-p doi:10.1145/3533767.3534403
|
| |
Zhang, Xiaohui |
ISSTA '22: "Hunting Bugs with Accelerated ..."
Hunting Bugs with Accelerated Optimal Graph Vertex Matching
Xiaohui Zhang, Yuanjun Gong, Bin Liang, Jianjun Huang, Wei You, Wenchang Shi, and Jian Zhang
(Renmin University of China, China; University of Chinese Academy of Sciences, China)
@InProceedings{ISSTA22p66,
author = {Xiaohui Zhang and Yuanjun Gong and Bin Liang and Jianjun Huang and Wei You and Wenchang Shi and Jian Zhang},
title = {Hunting Bugs with Accelerated Optimal Graph Vertex Matching},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {66-65},
doi = {10.1145/3533767.3534393},
year = {2022},
}
Publisher's Version
Article: issta22main-p245-p doi:10.1145/3533767.3534393
|
| |
Zhang, Xinyang |
ISSTA '22: "Detecting Multi-sensor Fusion ..."
Detecting Multi-sensor Fusion Errors in Advanced Driver-Assistance Systems
Ziyuan Zhong, Zhisheng Hu, Shengjian Guo, Xinyang Zhang, Zhenyu Zhong, and Baishakhi Ray
(Columbia University, USA; Baidu Security, USA)
@InProceedings{ISSTA22p508,
author = {Ziyuan Zhong and Zhisheng Hu and Shengjian Guo and Xinyang Zhang and Zhenyu Zhong and Baishakhi Ray},
title = {Detecting Multi-sensor Fusion Errors in Advanced Driver-Assistance Systems},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {508-507},
doi = {10.1145/3533767.3534223},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: issta22main-p337-p doi:10.1145/3533767.3534223
|
| |
Zhang, Xuhong |
ISSTA '22: "SLIME: Program-Sensitive Energy ..."
SLIME: Program-Sensitive Energy Allocation for Fuzzing
Chenyang Lyu, Hong Liang, Shouling Ji, Xuhong Zhang, Binbin Zhao, Meng Han, Yun Li, Zhe Wang, Wenhai Wang, and Raheem Beyah
(Zhejiang University, China; Georgia Institute of Technology, USA; Huawei Technologies, China; Institute of Computing Technology at Chinese Academy of Sciences, China)
@InProceedings{ISSTA22p378,
author = {Chenyang Lyu and Hong Liang and Shouling Ji and Xuhong Zhang and Binbin Zhao and Meng Han and Yun Li and Zhe Wang and Wenhai Wang and Raheem Beyah},
title = {SLIME: Program-Sensitive Energy Allocation for Fuzzing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {378-377},
doi = {10.1145/3533767.3534385},
year = {2022},
}
Publisher's Version
Article: issta22main-p134-p doi:10.1145/3533767.3534385
ISSTA '22: "A Large-Scale Empirical Analysis ..."
A Large-Scale Empirical Analysis of the Vulnerabilities Introduced by Third-Party Components in IoT Firmware
Binbin Zhao, Shouling Ji, Jiacheng Xu, Yuan Tian, Qiuyang Wei, Qinying Wang, Chenyang Lyu, Xuhong Zhang, Changting Lin, Jingzheng Wu, and Raheem Beyah
(Zhejiang University, China; Georgia Institute of Technology, USA; University of Virginia, USA; Institute of Software at Chinese Academy of Sciences, China)
@InProceedings{ISSTA22p456,
author = {Binbin Zhao and Shouling Ji and Jiacheng Xu and Yuan Tian and Qiuyang Wei and Qinying Wang and Chenyang Lyu and Xuhong Zhang and Changting Lin and Jingzheng Wu and Raheem Beyah},
title = {A Large-Scale Empirical Analysis of the Vulnerabilities Introduced by Third-Party Components in IoT Firmware},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {456-455},
doi = {10.1145/3533767.3534366},
year = {2022},
}
Publisher's Version
Article: issta22main-p13-p doi:10.1145/3533767.3534366
|
| |
Zhang, Yuntong |
ISSTA '22: "Program Vulnerability Repair ..."
Program Vulnerability Repair via Inductive Inference
Yuntong Zhang, Xiang Gao, Gregory J. Duck, and Abhik Roychoudhury
(National University of Singapore, Singapore; Beihang University, China)
@InProceedings{ISSTA22p716,
author = {Yuntong Zhang and Xiang Gao and Gregory J. Duck and Abhik Roychoudhury},
title = {Program Vulnerability Repair via Inductive Inference},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {716-715},
doi = {10.1145/3533767.3534387},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Article: issta22main-p179-p doi:10.1145/3533767.3534387
|
| |
Zhang, Yuqun |
ISSTA '22: "An Extensive Study on Pre-trained ..."
An Extensive Study on Pre-trained Models for Program Understanding and Generation
Zhengran Zeng, Hanzhuo Tan, Haotian Zhang, Jing Li, Yuqun Zhang, and Lingming Zhang
(Southern University of Science and Technology, China; Hong Kong Polytechnic University, China; Kwai, China; University of Illinois at Urbana-Champaign, USA)
@InProceedings{ISSTA22p40,
author = {Zhengran Zeng and Hanzhuo Tan and Haotian Zhang and Jing Li and Yuqun Zhang and Lingming Zhang},
title = {An Extensive Study on Pre-trained Models for Program Understanding and Generation},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {40-39},
doi = {10.1145/3533767.3534390},
year = {2022},
}
Publisher's Version
Article: issta22main-p223-p doi:10.1145/3533767.3534390
|
| |
Zhang, Zhuo |
ISSTA '22: "TensileFuzz: Facilitating ..."
TensileFuzz: Facilitating Seed Input Generation in Fuzzing via String Constraint Solving
Xuwei Liu, Wei You, Zhuo Zhang, and Xiangyu Zhang
(Purdue University, USA; Renmin University of China, China)
@InProceedings{ISSTA22p404,
author = {Xuwei Liu and Wei You and Zhuo Zhang and Xiangyu Zhang},
title = {TensileFuzz: Facilitating Seed Input Generation in Fuzzing via String Constraint Solving},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {404-403},
doi = {10.1145/3533767.3534403},
year = {2022},
}
Publisher's Version
Article: issta22main-p466-p doi:10.1145/3533767.3534403
|
| |
Zhang, Ziqian |
ISSTA '22: "UniRLTest: Universal Platform-Independent ..."
UniRLTest: Universal Platform-Independent Testing with Reinforcement Learning via Image Understanding
Ziqian Zhang, Yulei Liu, Shengcheng Yu, Xin Li, Yexiao Yun, Chunrong Fang, and Zhenyu Chen
(Nanjing University, China)
@InProceedings{ISSTA22p834,
author = {Ziqian Zhang and Yulei Liu and Shengcheng Yu and Xin Li and Yexiao Yun and Chunrong Fang and Zhenyu Chen},
title = {UniRLTest: Universal Platform-Independent Testing with Reinforcement Learning via Image Understanding},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {834-833},
doi = {10.1145/3533767.3543292},
year = {2022},
}
Publisher's Version
Article: issta22demo-p40-p doi:10.1145/3533767.3543292
|
| |
Zhao, Binbin |
ISSTA '22: "SLIME: Program-Sensitive Energy ..."
SLIME: Program-Sensitive Energy Allocation for Fuzzing
Chenyang Lyu, Hong Liang, Shouling Ji, Xuhong Zhang, Binbin Zhao, Meng Han, Yun Li, Zhe Wang, Wenhai Wang, and Raheem Beyah
(Zhejiang University, China; Georgia Institute of Technology, USA; Huawei Technologies, China; Institute of Computing Technology at Chinese Academy of Sciences, China)
@InProceedings{ISSTA22p378,
author = {Chenyang Lyu and Hong Liang and Shouling Ji and Xuhong Zhang and Binbin Zhao and Meng Han and Yun Li and Zhe Wang and Wenhai Wang and Raheem Beyah},
title = {SLIME: Program-Sensitive Energy Allocation for Fuzzing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {378-377},
doi = {10.1145/3533767.3534385},
year = {2022},
}
Publisher's Version
Article: issta22main-p134-p doi:10.1145/3533767.3534385
ISSTA '22: "A Large-Scale Empirical Analysis ..."
A Large-Scale Empirical Analysis of the Vulnerabilities Introduced by Third-Party Components in IoT Firmware
Binbin Zhao, Shouling Ji, Jiacheng Xu, Yuan Tian, Qiuyang Wei, Qinying Wang, Chenyang Lyu, Xuhong Zhang, Changting Lin, Jingzheng Wu, and Raheem Beyah
(Zhejiang University, China; Georgia Institute of Technology, USA; University of Virginia, USA; Institute of Software at Chinese Academy of Sciences, China)
@InProceedings{ISSTA22p456,
author = {Binbin Zhao and Shouling Ji and Jiacheng Xu and Yuan Tian and Qiuyang Wei and Qinying Wang and Chenyang Lyu and Xuhong Zhang and Changting Lin and Jingzheng Wu and Raheem Beyah},
title = {A Large-Scale Empirical Analysis of the Vulnerabilities Introduced by Third-Party Components in IoT Firmware},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {456-455},
doi = {10.1145/3533767.3534366},
year = {2022},
}
Publisher's Version
Article: issta22main-p13-p doi:10.1145/3533767.3534366
|
| |
Zhao, Bodong |
ISSTA '22: "PrIntFuzz: Fuzzing Linux Drivers ..."
PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation
Zheyu Ma, Bodong Zhao, Letu Ren, Zheming Li, Siqi Ma, Xiapu Luo, and Chao Zhang
(Tsinghua University, China; Beijing National Research Center for Information Science and Technology, China; UNSW, Australia; Hong Kong Polytechnic University, China)
@InProceedings{ISSTA22p417,
author = {Zheyu Ma and Bodong Zhao and Letu Ren and Zheming Li and Siqi Ma and Xiapu Luo and Chao Zhang},
title = {PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {417-416},
doi = {10.1145/3533767.3534226},
year = {2022},
}
Publisher's Version
Article: issta22main-p746-p doi:10.1145/3533767.3534226
|
| |
Zhao, Yanjie |
ISSTA '22: "Automatically Detecting API-Induced ..."
Automatically Detecting API-Induced Compatibility Issues in Android Apps: A Comparative Analysis (Replicability Study)
Pei Liu, Yanjie Zhao, Haipeng Cai, Mattia Fazzini, John Grundy, and Li Li
(Monash University, Australia; Washington State University, USA; University of Minnesota, USA)
@InProceedings{ISSTA22p638,
author = {Pei Liu and Yanjie Zhao and Haipeng Cai and Mattia Fazzini and John Grundy and Li Li},
title = {Automatically Detecting API-Induced Compatibility Issues in Android Apps: A Comparative Analysis (Replicability Study)},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {638-637},
doi = {10.1145/3533767.3534407},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
Article: issta22main-p486-p doi:10.1145/3533767.3534407
|
| |
Zhao, Zhihong |
ISSTA '22: "ASRTest: Automated Testing ..."
ASRTest: Automated Testing for Deep-Neural-Network-Driven Speech Recognition Systems
Pin Ji, Yang Feng, Jia Liu, Zhihong Zhao, and Zhenyu Chen
(Nanjing University, China)
@InProceedings{ISSTA22p196,
author = {Pin Ji and Yang Feng and Jia Liu and Zhihong Zhao and Zhenyu Chen},
title = {ASRTest: Automated Testing for Deep-Neural-Network-Driven Speech Recognition Systems},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {196-195},
doi = {10.1145/3533767.3534391},
year = {2022},
}
Publisher's Version
Article: issta22main-p231-p doi:10.1145/3533767.3534391
|
| |
Zheng, Guolong |
ISSTA '22: "ATR: Template-Based Repair ..."
ATR: Template-Based Repair for Alloy Specifications
Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Nazareno Aguirre, Marcelo F. Frias, and Hamid Bagheri
(University of Nebraska-Lincoln, USA; George Mason University, USA; University of Rio Cuarto, Argentina; CONICET, Argentina; Buenos Aires Institute of Technology, Argentina)
@InProceedings{ISSTA22p690,
author = {Guolong Zheng and ThanhVu Nguyen and Simón Gutiérrez Brida and Germán Regis and Nazareno Aguirre and Marcelo F. Frias and Hamid Bagheri},
title = {ATR: Template-Based Repair for Alloy Specifications},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {690-689},
doi = {10.1145/3533767.3534369},
year = {2022},
}
Publisher's Version
Article: issta22main-p25-p doi:10.1145/3533767.3534369
|
| |
Zheng, Peilin |
ISSTA '22: "Park: Accelerating Smart Contract ..."
Park: Accelerating Smart Contract Vulnerability Detection via Parallel-Fork Symbolic Execution
Peilin Zheng, Zibin Zheng, and Xiapu Luo
(Sun Yat-sen University, China; Hong Kong Polytechnic University, China)
@InProceedings{ISSTA22p768,
author = {Peilin Zheng and Zibin Zheng and Xiapu Luo},
title = {Park: Accelerating Smart Contract Vulnerability Detection via Parallel-Fork Symbolic Execution},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {768-767},
doi = {10.1145/3533767.3534395},
year = {2022},
}
Publisher's Version
Article: issta22main-p280-p doi:10.1145/3533767.3534395
|
| |
Zheng, Yaowen |
ISSTA '22: "Efficient Greybox Fuzzing ..."
Efficient Greybox Fuzzing of Applications in Linux-Based IoT Devices via Enhanced User-Mode Emulation
Yaowen Zheng, Yuekang Li, Cen Zhang, Hongsong Zhu, Yang Liu, and Limin Sun
(Nanyang Technological University, Singapore; Institute of Information Engineering at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China)
@InProceedings{ISSTA22p430,
author = {Yaowen Zheng and Yuekang Li and Cen Zhang and Hongsong Zhu and Yang Liu and Limin Sun},
title = {Efficient Greybox Fuzzing of Applications in Linux-Based IoT Devices via Enhanced User-Mode Emulation},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {430-429},
doi = {10.1145/3533767.3534414},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Article: issta22main-p762-p doi:10.1145/3533767.3534414
|
| |
Zheng, Yingying |
ISSTA '22: "Finding Bugs in Gremlin-Based ..."
Finding Bugs in Gremlin-Based Graph Database Systems via Randomized Differential Testing
Yingying Zheng, Wensheng Dou, Yicheng Wang, Zheng Qin, Lei Tang, Yu Gao, Dong Wang, Wei Wang, and Jun Wei
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China)
@InProceedings{ISSTA22p313,
author = {Yingying Zheng and Wensheng Dou and Yicheng Wang and Zheng Qin and Lei Tang and Yu Gao and Dong Wang and Wei Wang and Jun Wei},
title = {Finding Bugs in Gremlin-Based Graph Database Systems via Randomized Differential Testing},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {313-312},
doi = {10.1145/3533767.3534409},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Article: issta22main-p513-p doi:10.1145/3533767.3534409
|
| |
Zheng, Zibin |
ISSTA '22: "Park: Accelerating Smart Contract ..."
Park: Accelerating Smart Contract Vulnerability Detection via Parallel-Fork Symbolic Execution
Peilin Zheng, Zibin Zheng, and Xiapu Luo
(Sun Yat-sen University, China; Hong Kong Polytechnic University, China)
@InProceedings{ISSTA22p768,
author = {Peilin Zheng and Zibin Zheng and Xiapu Luo},
title = {Park: Accelerating Smart Contract Vulnerability Detection via Parallel-Fork Symbolic Execution},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {768-767},
doi = {10.1145/3533767.3534395},
year = {2022},
}
Publisher's Version
Article: issta22main-p280-p doi:10.1145/3533767.3534395
ISSTA '22: "SmartDagger: A Bytecode-Based ..."
SmartDagger: A Bytecode-Based Static Analysis Approach for Detecting Cross-Contract Vulnerability
Zeqin Liao, Zibin Zheng, Xiao Chen, and Yuhong Nan
(Sun Yat-sen University, China)
@InProceedings{ISSTA22p781,
author = {Zeqin Liao and Zibin Zheng and Xiao Chen and Yuhong Nan},
title = {SmartDagger: A Bytecode-Based Static Analysis Approach for Detecting Cross-Contract Vulnerability},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {781-780},
doi = {10.1145/3533767.3534222},
year = {2022},
}
Publisher's Version
Article: issta22main-p283-p doi:10.1145/3533767.3534222
|
| |
Zhong, Zhenyu |
ISSTA '22: "Detecting Multi-sensor Fusion ..."
Detecting Multi-sensor Fusion Errors in Advanced Driver-Assistance Systems
Ziyuan Zhong, Zhisheng Hu, Shengjian Guo, Xinyang Zhang, Zhenyu Zhong, and Baishakhi Ray
(Columbia University, USA; Baidu Security, USA)
@InProceedings{ISSTA22p508,
author = {Ziyuan Zhong and Zhisheng Hu and Shengjian Guo and Xinyang Zhang and Zhenyu Zhong and Baishakhi Ray},
title = {Detecting Multi-sensor Fusion Errors in Advanced Driver-Assistance Systems},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {508-507},
doi = {10.1145/3533767.3534223},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: issta22main-p337-p doi:10.1145/3533767.3534223
|
| |
Zhong, Zhiqing |
ISSTA '22: "Automated Testing of Image ..."
Automated Testing of Image Captioning Systems
Boxi Yu, Zhiqing Zhong, Xinran Qin, Jiayi Yao, Yuancheng Wang, and Pinjia He
(Chinese University of Hong Kong at Shenzhen, China; South China University of Technology, China)
@InProceedings{ISSTA22p482,
author = {Boxi Yu and Zhiqing Zhong and Xinran Qin and Jiayi Yao and Yuancheng Wang and Pinjia He},
title = {Automated Testing of Image Captioning Systems},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {482-481},
doi = {10.1145/3533767.3534389},
year = {2022},
}
Publisher's Version
Archive submitted (410 kB)
Article: issta22main-p196-p doi:10.1145/3533767.3534389
|
| |
Zhong, Ziyuan |
ISSTA '22: "Detecting Multi-sensor Fusion ..."
Detecting Multi-sensor Fusion Errors in Advanced Driver-Assistance Systems
Ziyuan Zhong, Zhisheng Hu, Shengjian Guo, Xinyang Zhang, Zhenyu Zhong, and Baishakhi Ray
(Columbia University, USA; Baidu Security, USA)
@InProceedings{ISSTA22p508,
author = {Ziyuan Zhong and Zhisheng Hu and Shengjian Guo and Xinyang Zhang and Zhenyu Zhong and Baishakhi Ray},
title = {Detecting Multi-sensor Fusion Errors in Advanced Driver-Assistance Systems},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {508-507},
doi = {10.1145/3533767.3534223},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: issta22main-p337-p doi:10.1145/3533767.3534223
|
| |
Zhou, Chijin |
ISSTA '22: "Unicorn: Detect Runtime Errors ..."
Unicorn: Detect Runtime Errors in Time-Series Databases with Hybrid Input Synthesis
Zhiyong Wu, Jie Liang, Mingzhe Wang, Chijin Zhou, and Yu Jiang
(Tsinghua University, China; ShuimuYulin, China)
@InProceedings{ISSTA22p261,
author = {Zhiyong Wu and Jie Liang and Mingzhe Wang and Chijin Zhou and Yu Jiang},
title = {Unicorn: Detect Runtime Errors in Time-Series Databases with Hybrid Input Synthesis},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {261-260},
doi = {10.1145/3533767.3534364},
year = {2022},
}
Publisher's Version
Article: issta22main-p1-p doi:10.1145/3533767.3534364
|
| |
Zhou, Hao |
ISSTA '22: "NCScope: Hardware-Assisted ..."
NCScope: Hardware-Assisted Analyzer for Native Code in Android Apps
Hao Zhou, Shuohan Wu, Xiapu Luo, Ting Wang, Yajin Zhou, Chao Zhang, and Haipeng Cai
(Hong Kong Polytechnic University, China; Pennsylvania State University, USA; Zhejiang University, China; Tsinghua University, China; Beijing National Research Center for Information Science and Technology, China; Washington State University, USA)
@InProceedings{ISSTA22p651,
author = {Hao Zhou and Shuohan Wu and Xiapu Luo and Ting Wang and Yajin Zhou and Chao Zhang and Haipeng Cai},
title = {NCScope: Hardware-Assisted Analyzer for Native Code in Android Apps},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {651-650},
doi = {10.1145/3533767.3534410},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: issta22main-p552-p doi:10.1145/3533767.3534410
|
| |
Zhou, Jinpeng |
ISSTA '22: "Deadlock Prediction via Generalized ..."
Deadlock Prediction via Generalized Dependency
Jinpeng Zhou, Hanmei Yang, John Lange, and Tongping Liu
(University of Pittsburgh, USA; University of Massachusetts at Amherst, USA; Oak Ridge National Laboratory, USA)
@InProceedings{ISSTA22p469,
author = {Jinpeng Zhou and Hanmei Yang and John Lange and Tongping Liu},
title = {Deadlock Prediction via Generalized Dependency},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {469-468},
doi = {10.1145/3533767.3534377},
year = {2022},
}
Publisher's Version
Article: issta22main-p92-p doi:10.1145/3533767.3534377
|
| |
Zhou, Yajin |
ISSTA '22: "NCScope: Hardware-Assisted ..."
NCScope: Hardware-Assisted Analyzer for Native Code in Android Apps
Hao Zhou, Shuohan Wu, Xiapu Luo, Ting Wang, Yajin Zhou, Chao Zhang, and Haipeng Cai
(Hong Kong Polytechnic University, China; Pennsylvania State University, USA; Zhejiang University, China; Tsinghua University, China; Beijing National Research Center for Information Science and Technology, China; Washington State University, USA)
@InProceedings{ISSTA22p651,
author = {Hao Zhou and Shuohan Wu and Xiapu Luo and Ting Wang and Yajin Zhou and Chao Zhang and Haipeng Cai},
title = {NCScope: Hardware-Assisted Analyzer for Native Code in Android Apps},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {651-650},
doi = {10.1145/3533767.3534410},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: issta22main-p552-p doi:10.1145/3533767.3534410
|
| |
Zhu, Hongsong |
ISSTA '22: "Efficient Greybox Fuzzing ..."
Efficient Greybox Fuzzing of Applications in Linux-Based IoT Devices via Enhanced User-Mode Emulation
Yaowen Zheng, Yuekang Li, Cen Zhang, Hongsong Zhu, Yang Liu, and Limin Sun
(Nanyang Technological University, Singapore; Institute of Information Engineering at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China)
@InProceedings{ISSTA22p430,
author = {Yaowen Zheng and Yuekang Li and Cen Zhang and Hongsong Zhu and Yang Liu and Limin Sun},
title = {Efficient Greybox Fuzzing of Applications in Linux-Based IoT Devices via Enhanced User-Mode Emulation},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {430-429},
doi = {10.1145/3533767.3534414},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Article: issta22main-p762-p doi:10.1145/3533767.3534414
|
| |
Zhu, Jiaxin |
ISSTA '22: "Understanding Device Integration ..."
Understanding Device Integration Bugs in Smart Home System
Tao Wang, Kangkang Zhang, Wei Chen, Wensheng Dou, Jiaxin Zhu, Jun Wei, and Tao Huang
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Nanjing Institute of Software Technology, China)
@InProceedings{ISSTA22p443,
author = {Tao Wang and Kangkang Zhang and Wei Chen and Wensheng Dou and Jiaxin Zhu and Jun Wei and Tao Huang},
title = {Understanding Device Integration Bugs in Smart Home System},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {443-442},
doi = {10.1145/3533767.3534365},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Article: issta22main-p2-p doi:10.1145/3533767.3534365
|
| |
Zhu, Wenyu |
ISSTA '22: "jTrans: Jump-Aware Transformer ..."
jTrans: Jump-Aware Transformer for Binary Code Similarity Detection
Hao Wang, Wenjie Qu, Gilad Katz, Wenyu Zhu, Zeyu Gao, Han Qiu, Jianwei Zhuge, and Chao Zhang
(Tsinghua University, China; Beijing National Research Center for Information Science and Technology, China; Huazhong University of Science and Technology, China; Ben-Gurion University of the Negev, Israel; University of Science and Technology of China, China)
@InProceedings{ISSTA22p1,
author = {Hao Wang and Wenjie Qu and Gilad Katz and Wenyu Zhu and Zeyu Gao and Han Qiu and Jianwei Zhuge and Chao Zhang},
title = {jTrans: Jump-Aware Transformer for Binary Code Similarity Detection},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3533767.3534367},
year = {2022},
}
Publisher's Version
Article: issta22main-p20-p doi:10.1145/3533767.3534367
|
| |
Zhuge, Jianwei |
ISSTA '22: "jTrans: Jump-Aware Transformer ..."
jTrans: Jump-Aware Transformer for Binary Code Similarity Detection
Hao Wang, Wenjie Qu, Gilad Katz, Wenyu Zhu, Zeyu Gao, Han Qiu, Jianwei Zhuge, and Chao Zhang
(Tsinghua University, China; Beijing National Research Center for Information Science and Technology, China; Huazhong University of Science and Technology, China; Ben-Gurion University of the Negev, Israel; University of Science and Technology of China, China)
@InProceedings{ISSTA22p1,
author = {Hao Wang and Wenjie Qu and Gilad Katz and Wenyu Zhu and Zeyu Gao and Han Qiu and Jianwei Zhuge and Chao Zhang},
title = {jTrans: Jump-Aware Transformer for Binary Code Similarity Detection},
booktitle = {Proc.\ ISSTA},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3533767.3534367},
year = {2022},
}
Publisher's Version
Article: issta22main-p20-p doi:10.1145/3533767.3534367
|