ISSTA 2022 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (436)

A Rui AbreuAbreu, Rui Faculty of Engineering, University of Porto, PortugalPortugal Maestro: A Platform for Benchmarking Automatic Program Repair Tools on Software Vulnerabilities QMutPy: A Mutation Testing Tool for Quantum Algorithms & Applications in Qiskit Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Pedro AdãoAdão, Pedro IST-ULisboa and Instituto de Telecomunicações Maestro: A Platform for Benchmarking Automatic Program Repair Tools on Software Vulnerabilities
Nazareno AguirreAguirre, Nazareno University of Rio Cuarto and CONICET, Argentina ATR: Template-based Repair for Alloy Specifications
Aldeida AletiAleti, Aldeida Monash UniversityAustralia Doctoral Symposium Co-Chair in Organizing Comittee for ISSTA 2022 Opening Closing Human-in-the-Loop Oracle Learning for Semantic Bugs in String Processing Programs Doctoral Symposium Co-Chair in Program Committee within the ISSTA Doctoral Symposium-track
Saba AlimadadiAlimadadi, Saba Simon Fraser UniversityCanada Artifact Evaluation Co-Chair in Organizing Comittee for ISSTA 2022 Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track Committee Member in Program Committee within the ISSTA Tool Demonstrations-track Programme Committee in Program Committee within the ISSTA Technical Papers-track
Nadia AlshahwanAlshahwan, Nadia FacebookUnited Kingdom Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Gabin AnAn, Gabin KAISTSouth Korea FDG: A Precise Measurement of Fault Diagnosability Gain of Test Cases
Guo AnAn, Guo Nanjing University LiRTest: Augmenting LiDAR Point Clouds for Automated Testing of Autonomous Driving Systems
Anastasios AndronidisAndronidis, Anastasios Imperial College London, UKGreece SnapFuzz: High-Throughput Fuzzing of Network Applications
Cyrille ArthoArtho, Cyrille KTH Royal Institute of Technology, Sweden Finding Permission Bugs in Smart Contracts with Role Mining
Wesley AssunçãoAssunção, Wesley Johannes Kepler University Linz, AustriaAustria Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
B Hamid BagheriBagheri, Hamid University of Nebraska-Lincoln Combining Solution Reuse and Bound Tightening for Efficient Analysis of Evolving Systems ATR: Template-based Repair for Alloy Specifications
Jongmoon BaikBaik, Jongmoon Korea Advanced Institute of Science and TechnologySouth Korea Sponsorship Chair in Organizing Comittee for ISSTA 2022
Sebastian BanescuBanescu, Sebastian Technical University of Munich An Empirical Study on the Effectiveness of Static C/C++ Analyzers for Vulnerability Detection
Sébastien BardinBardin, Sébastien CEA LIST, University Paris-SaclayFrance Programme Committee in Program Committee within the ISSTA Technical Papers-track
Guillaume BaudartBaudart, Guillaume Inria; ENS; PSL UniversityFrance The Raise of Machine Learning Hyperparameter Constraints in Python Code
Jonathan BellBell, Jonathan Northeastern University On the Use of Mutation Analysis For Evaluating Student Test Suite Quality United States of America in Program Committee within the ISSTA Doctoral Symposium-track Committee Member in Program Committee within the ISSTA Tool Demonstrations-track Programme Committee in Program Committee within the ISSTA Technical Papers-track
Antonia BertolinoBertolino, Antonia National Research Council, ItalyItaly Programme Committee in Program Committee within the ISSTA Doctoral Symposium-track
Raheem BeyahBeyah, Raheem Georgia Institute of Technology SLIME: Program-sensitive Energy Allocation for Fuzzing A Large-Scale Empirical Analysis of the Vulnerabilities Introduced by Third-party Components in IoT Firmware
Aymeric BlotBlot, Aymeric Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Eric BoddenBodden, Eric University of Paderborn; Fraunhofer IEMGermany A Large-scale Study of Usability Criteria addressed by Static Analysis Tools
Alexandru BodeaBodea, Alexandru Student at Babes Bolay University - Faculty of Mathematics and Computer ScienceRomania Pytest-Smell: A smell detection tool for Python unit tests
Utpal BoraBora, Utpal IIT HyderabadIndia Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Franz BrausseBrausse, Franz The University of Manchester ESBMC-CHERI: Towards Verification of C Programs for CHERI Platforms with ESBMC
Tegan BrennanBrennan, Tegan Stevens Institute of TechnologyUnited States Programme Committee in Program Committee within the ISSTA Technical Papers-track
Lionel BriandBriand, Lionel University of Luxembourg; University of OttawaLuxembourg ATUA: an Update-driven App Testing Tool
Simón Gutiérrez BridaBrida, Simón Gutiérrez University of Rio Cuarto and CONICET, ArgentinaArgentina ATR: Template-based Repair for Alloy Specifications
Quang-Cuong BuiBui, Quang-Cuong Hamburg University of TechnologyGermany Maestro: A Platform for Benchmarking Automatic Program Repair Tools on Software Vulnerabilities
Frank BusseBusse, Frank Imperial College LondonUnited Kingdom Combining Static Analysis Error Traces with Dynamic Symbolic Execution (Experience Paper)
Marcel BöhmeBöhme, Marcel MPI-SP, Germany and Monash University, AustraliaGermany Human-in-the-Loop Oracle Learning for Semantic Bugs in String Processing Programs
C Cristian CadarCadar, Cristian Imperial College London, UKUnited Kingdom Combining Static Analysis Error Traces with Dynamic Symbolic Execution (Experience Paper) SnapFuzz: High-Throughput Fuzzing of Network Applications
Haipeng CaiCai, Haipeng Washington State University, USAUnited States NCScope: Hardware-Assisted Analyzer for Native Code in Android Apps WASAI: Uncovering Vulnerabilities in Wasm Smart Contracts Automatically Detecting API-induced Compatibility Issues in Android Apps: A Comparative Analysis (Replicability Study)
Yifeng CaiCai, Yifeng TEESlice: Slicing DNN Models for Secure and Efficient Deployment
José CamposCampos, José Faculty of Engineering of University of Porto & LASIGE, Portugal QMutPy: A Mutation Testing Tool for Quantum Algorithms & Applications in Qiskit
Cecilio CannavacciuoloCannavacciuolo, Cecilio Automatic Generation of Smoke Test Suites for Kubernetes
Helena CavalcanteCavalcante, Helena Federal University of Amazonas ESBMC-Jimple: Verifying Kotlin Programs via Jimple Intermediate Representation
Sang Kil ChaCha, Sang Kil KAIST, South KoreaSouth Korea Programme Committee in Program Committee within the ISSTA Technical Papers-track
Muxi ChenChen, Muxi The Chinese University of Hong Kong HybridRepair: Towards Annotation-Efficient Repair for Deep Learning Models
Rui ChenChen, Rui Beijing Institute of Control EngineeringChina SpecChecker-ISA: A Data Sharing Analyzer for Interrupt-driven Embedded Software Precise and Efficient Atomicity Violation Detection for Interrupt-driven Programs via Staged Path Pruning
Wei ChenChen, Wei Institute of Software at Chinese Academy of Sciences, China Understanding Device Integration Bugs in Smart Home System
Weimin ChenChen, Weimin The Hong Kong Polytechnic University WASAI: Uncovering Vulnerabilities in Wasm Smart Contracts
Xiangqun ChenChen, Xiangqun Peking University TEESlice: Slicing DNN Models for Secure and Efficient Deployment
Xiao ChenChen, Xiao Sun Yat-sen University SmartDagger : A Bytecode-based Static Analysis Approach for Detecting Cross-contract Vulnerability
Zhenyu ChenChen, Zhenyu Nanjing UniversityChina ASRTest: Automated Testing for Deep-Neural-Network-Driven Speech Recognition Systems LiRTest: Augmenting LiDAR Point Clouds for Automated Testing of Autonomous Driving Systems UniRLTest: Universal Platform-Independent Testing with Reinforcement Learning via Image Understanding
Xiao ChengCheng, Xiao University of Technology Sydney Path-Sensitive Code Embedding via Contrastive Learning for Software Vulnerability Detection
Shing-Chi CheungCheung, Shing-Chi Hong Kong University of Science and TechnologyChina Programme Committee in Program Committee within the ISSTA Technical Papers-track
Maria ChristakisChristakis, Maria MPI-SWSGermany Metamorphic Relations via Relaxations: An Approach to Obtain Oracles for Action-Policy Testing
Jürgen CitoCito, Jürgen TU Wien and MetaAustria Artifact Evaluation Co-Chair in Organizing Comittee for ISSTA 2022 Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Lucas C. CordeiroCordeiro, Lucas C. University of ManchesterUnited Kingdom ESBMC-Jimple: Verifying Kotlin Programs via Jimple Intermediate Representation ESBMC-CHERI: Towards Verification of C Programs for CHERI Platforms with ESBMC
Maxime CordyCordy, Maxime University of Luxembourg, Luxembourg Committee Member in Organizing Committee within the AISTA-track
Eduard Costel PinconschiCostel Pinconschi, Eduard Instituto Superior Técnico, University of Lisboa & INESC-IDPortugal Maestro: A Platform for Benchmarking Automatic Program Repair Tools on Software Vulnerabilities
Christoph CsallnerCsallner, Christoph University of Texas at ArlingtonUnited States Session Chair of Session 2-7: Test Generation and Mutation B (part of ISSTA Technical Papers) Session Chair of Session 2-14: Program Repair B (part of ISSTA Technical Papers) Session Chair of Session 2-1: Oracles, Models, and Measurement E (part of ISSTA Technical Papers) Session Chair of Session 1-14: Android A (part of ISSTA Technical Papers) Session Chair of Session 2-5: Android B (part of ISSTA Technical Papers) Programme Committee in Program Committee within the ISSTA Technical Papers-track
D Marcelo d'Amorimd'Amorim, Marcelo Federal University of PernambucoBrazil PhD advice panel discussion Programme Committee in Program Committee within the ISSTA Doctoral Symposium-track
Xuan Bach D. LeD. Le, Xuan Bach The University of MelbourneAustralia Test Mimicry to Assess the Exploitability of Library Vulnerabilities
Rosiane de Freitasde Freitas, Rosiane Federal University of Amazonas ESBMC-Jimple: Verifying Kotlin Programs via Jimple Intermediate Representation
Andrew DeOrioDeOrio, Andrew University of Michigan On the Use of Mutation Analysis For Evaluating Student Test Suite Quality
Xavier DevroeyDevroey, Xavier University of NamurBelgium Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Hyunsook DoDo, Hyunsook University of North TexasUnited States Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Julian DolbyDolby, Julian IBM Research, USA The Raise of Machine Learning Hyperparameter Constraints in Python Code
Alastair F. DonaldsonDonaldson, Alastair F. Imperial College LondonUnited Kingdom Combining Static Analysis Error Traces with Dynamic Symbolic Execution (Experience Paper)
Jin Song DongDong, Jin Song National University of SingaporeSingapore RegMiner: Towards Constructing a Large Regression Dataset from Code Evolution History
Zhen DongDong, Zhen Fudan University, ChinaChina iFixDataloss: A Tool for Detecting and Fixing Data Loss Issues in Android Apps Detecting and Fixing Data Loss Issues in Android Apps
Wensheng DouDou, Wensheng Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Finding Bugs in Gremlin-Based Graph Database Systems via Randomized Differential Testing Understanding Device Integration Bugs in Smart Home System
Xiaoning DuDu, Xiaoning Monash University, Australia Committee Member in Organizing Committee within the AISTA-track
Gregory J. DuckDuck, Gregory J. National University of SingaporeSingapore Program Vulnerability Repair via Inductive Inference
Matthew B DwyerDwyer, Matthew B University of Virginia Probabilistic Symbolic Execution: Quantitative Program Analysis through Model Counting
E Sebastian ElbaumElbaum, Sebastian University of VirginiaUnited States Programme Committee in Program Committee within the ISSTA Technical Papers-track
Hasan Ferit EniserEniser, Hasan Ferit MPI-SWSGermany Metamorphic Relations via Relaxations: An Approach to Obtain Oracles for Action-Policy Testing
F Ming FanFan, Ming Xi'an Jiaotong University One Step Further: Evaluating Interpreters Using Metamorphic Testing
Chunrong FangFang, Chunrong Nanjing UniversityChina UniRLTest: Universal Platform-Independent Testing with Reinforcement Learning via Image Understanding CIRCLE: Continual Repair across Programming Languages
Mattia FazziniFazzini, Mattia University of MinnesotaUnited States Publicity Chair in Organizing Comittee for ISSTA 2022 Automatically Detecting API-induced Compatibility Issues in Android Apps: A Comparative Analysis (Replicability Study) Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Yang FengFeng, Yang Nanjing UniversityChina ASRTest: Automated Testing for Deep-Neural-Network-Driven Speech Recognition Systems LiRTest: Augmenting LiDAR Point Clouds for Automated Testing of Autonomous Driving Systems
Bernd FischerFischer, Bernd Stellenbosch University, South AfricaSouth Africa Programme Committee in Program Committee within the ISSTA Technical Papers-track
Daniel FortunatoFortunato, Daniel INESC-ID, University of Porto QMutPy: A Mutation Testing Tool for Quantum Algorithms & Applications in Qiskit
Michael FranzFranz, Michael University of California, IrvineUnited States Improving Cross-Platform Binary Analysis using Representation Learning via Graph Alignment
Gordon FraserFraser, Gordon University of Passau Programme Committee in Program Committee within the ISSTA Technical Papers-track
Marcelo F. FriasFrias, Marcelo F. Dept. of Software Engineering Instituto Tecnológico de Buenos Aires ATR: Template-based Repair for Alloy Specifications
G Dongdong GaoGao, Dongdong Beijing Institute of Control Engineering and Beijing Sunwise Information Technology Ltd SpecChecker-ISA: A Data Sharing Analyzer for Interrupt-driven Embedded Software Precise and Efficient Atomicity Violation Detection for Interrupt-driven Programs via Staged Path Pruning
Xiang GaoGao, Xiang Beihang University, ChinaChina Program Vulnerability Repair via Inductive Inference
Yu GaoGao, Yu Institute of Software, Chinese Academy of Sciences, ChinaChina Finding Bugs in Gremlin-Based Graph Database Systems via Randomized Differential Testing
Zeyu GaoGao, Zeyu University of Science and Technology of China jTrans: Jump-Aware Transformer for Binary Code Similarity Detection
Gregory GayGay, Gregory Chalmers and the University of GothenburgSweden Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Charaka GeethalGeethal, Charaka Monash UniversityAustralia Human-in-the-Loop Oracle Learning for Semantic Bugs in String Processing Programs
Jaco GeldenhuysGeldenhuys, Jaco University of Stellenbosch, South AfricaSouth Africa Probabilistic Symbolic Execution: Quantitative Program Analysis through Model Counting
Asem GhalebGhaleb, Asem University of British ColumbiaCanada eTainter: Detecting Gas-Related Vulnerabilities in Smart Contracts
Ali GhanbariGhanbari, Ali Iowa State UniversityUnited States Faster Mutation Analysis with MeMu Patch Correctness Assessment in Automated Program Repair Based on the Impact of Patches on Production and Test Code
Pritam GharatGharat, Pritam Imperial College London Combining Static Analysis Error Traces with Dynamic Symbolic Execution (Experience Paper)
Michael W. GodfreyGodfrey, Michael W. University of Waterloo, CanadaCanada DocTer: Documentation-Guided Fuzzing for Testing Deep Learning API Functions
Yuanjun GongGong, Yuanjun Renmin University of China Hunting Bugs with Accelerated Optimal Graph Vertex Matching
Alessandra GorlaGorla, Alessandra IMDEA Software InstituteSpain Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Neville GrechGrech, Neville University of MaltaMalta Programme Committee in Program Committee within the ISSTA Technical Papers-track
Mark GrechanikGrechanik, Mark University of Illinois at Chicago Programme Committee in Program Committee within the ISSTA Technical Papers-track
Alex GroceGroce, Alex Northern Arizona UniversityUnited States Programme Committee in Program Committee within the ISSTA Technical Papers-track
Timo P. GrosGros, Timo P. Saarland University, Germany Metamorphic Relations via Relaxations: An Approach to Obtain Oracles for Action-Policy Testing
John GrundyGrundy, John Monash UniversityAustralia Automatically Detecting API-induced Compatibility Issues in Android Apps: A Comparative Analysis (Replicability Study)
Arjun GuhaGuha, Arjun Northeastern UniversityUnited States On the Use of Mutation Analysis For Evaluating Student Test Suite Quality
Shengjian GuoGuo, Shengjian Baidu Security Detecting Multi-Sensor Fusion Errors in Advanced Driver-Assistance Systems
Wunan GuoGuo, Wunan Fudan University iFixDataloss: A Tool for Detecting and Fixing Data Loss Issues in Android Apps Detecting and Fixing Data Loss Issues in Android Apps
Yao GuoGuo, Yao Peking University TEESlice: Slicing DNN Models for Secure and Efficient Deployment
H Sylvain HalléHallé, Sylvain Université du Québec à ChicoutimiCanada Programme Committee in Program Committee within the ISSTA Technical Papers-track
Mohammad HamdaqaHamdaqa, Mohammad Polytechnique MontrealCanada Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Meng HanHan, Meng Binjiang Institute of Zhejiang University & Zhejiang University SLIME: Program-sensitive Energy Allocation for Fuzzing
Xiaodong HaoHao, Xiaodong Nanjing University CIRCLE: Continual Repair across Programming Languages
Mark HarmanHarman, Mark Meta Platforms, Inc. and UCLUnited Kingdom Programme Committee in Program Committee within the ISSTA Technical Papers-track
Behnaz HassanshahiHassanshahi, Behnaz Oracle Labs, Australia Session Chair of Session 3-2: Fuzzing and Friends C (part of ISSTA Technical Papers) Session Chair of Session 2-10: Static Analysis and Specifications Testing B (part of ISSTA Technical Papers) Programme Committee in Program Committee within the ISSTA Technical Papers-track
Pinjia HeHe, Pinjia The Chinese University of Hong Kong, ShenzhenChina AEON: A Method for Automatic Evaluation of NLP Test Cases Automated Testing of Image Captioning Systems Committee Member in Organizing Committee within the AISTA-track
Tieke HeHe, Tieke Nanjing UniversityChina CIRCLE: Continual Repair across Programming Languages
Tobias HeßHeß, Tobias University of UlmGermany Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Martin HirzelHirzel, Martin IBM ResearchUnited States The Raise of Machine Learning Hyperparameter Constraints in Python Code Programme Committee in Program Committee within the ISSTA Technical Papers-track
Jörg HoffmannHoffmann, Jörg Saarland University and DFKI, Germany Metamorphic Relations via Relaxations: An Approach to Obtain Oracles for Action-Policy Testing
Sanghyun HongHong, Sanghyun Oregon State UniversityUnited States Improving Cross-Platform Binary Analysis using Representation Learning via Graph Alignment
Tony HoskingHosking, Tony Australian National UniversityAustralia Programme Committee in Program Committee within the ISSTA Technical Papers-track
Yang HuHu, Yang The University of Texas at AustinUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Zhisheng HuHu, Zhisheng Baidu Security Detecting Multi-Sensor Fusion Errors in Advanced Driver-Assistance Systems
Jeff HuangHuang, Jeff Texas A&M UniversityUnited States Programme Committee in Program Committee within the ISSTA Technical Papers-track
Jen-tse HuangHuang, Jen-tse The Chinese University of Hong Kong AEON: A Method for Automatic Evaluation of NLP Test Cases
Jianjun HuangHuang, Jianjun Renmin University of China, China Hunting Bugs with Accelerated Optimal Graph Vertex Matching
Pei HuangHuang, Pei State Key Laboratory of Computer Science, Institution of Software, Chinese Academy of Sciences ε-weakened Robustness of Deep Neural Networks
Tao HuangHuang, Tao Institute of Software Chinese Academy of Sciences Understanding Device Integration Bugs in Smart Home System
Nguyen Quoc Viet HungHung, Nguyen Quoc Viet Griffith University CIRCLE: Continual Repair across Programming Languages
I Ahmed IrfanIrfan, Ahmed Amazon Web Services Testing Dafny (Experience Paper)
J Reyhaneh JabbarvandJabbarvand, Reyhaneh University of Illinois, Urbana-ChampainUnited States Programme Committee in Program Committee within the ISSTA Technical Papers-track
Gunel JahangirovaJahangirova, Gunel USI Lugano, SwitzerlandSwitzerland Workshops Co-Chair in Organizing Comittee for ISSTA 2022 Workshops Co-Chair in Workshop Committee within the ISSTA Workshops-track
Kaihang JiJi, Kaihang National University of Singapore TELL: Log Level Suggestions via Modeling Multi-level Code Block Information
Pin JiJi, Pin Nanjing University ASRTest: Automated Testing for Deep-Neural-Network-Driven Speech Recognition Systems
Shouling JiJi, Shouling Zhejiang University SLIME: Program-sensitive Energy Allocation for Fuzzing A Large-Scale Empirical Analysis of the Vulnerabilities Introduced by Third-party Components in IoT Firmware
Zhenlan JiJi, Zhenlan The Hong Kong University of Science and TechnologyChina Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Fuqi JiaJia, Fuqi State Key Laboratory of Computer Science, Institution of Software, Chinese Academy of Sciences ε-weakened Robustness of Deep Neural Networks
Wang JialaiJialai, Wang Tsinghua University BET: Black-box Efficient Testing for Convolutional Neural Networks
Yu JiangJiang, Yu Tsinghua UniversityChina Unicorn: Detect Runtime Error in Time-Series Databases With Hybrid Input Synthesis
Wuxia JinJin, Wuxia Xi'an Jiaotong UniversityChina One Step Further: Evaluating Interpreters Using Metamorphic Testing
René JustJust, René University of Washington Programme Committee in Program Committee within the ISSTA Technical Papers-track
K Lucien K. L. NgK. L. Ng, Lucien TEESlice: Slicing DNN Models for Secure and Efficient Deployment
Hong Jin KangKang, Hong Jin Singapore Management University, Singapore Test Mimicry to Assess the Exploitability of Library Vulnerabilities
Gilad KatzKatz, Gilad Ben-Gurion University of the Negev jTrans: Jump-Aware Transformer for Binary Code Similarity Detection
Omer KatzKatz, Omer GoogleGermany Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Mike KaufmanKaufman, Mike Microsoft Corporation Using Pre-trained Language Models to Resolve Textual and Semantic Merge Conflicts (Experience Paper)
Kuljit Kaur ChahalKaur Chahal, Kuljit Guru Nanak Dev University, Amritsar, IndiaIndia Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Samantha Syeda KhairunnesaKhairunnesa, Samantha Syeda Bradley UniversityUnited States Programme Committee in Program Committee within the ISSTA Doctoral Symposium-track
Dongsun KimKim, Dongsun Kyungpook National UniversitySouth Korea Web Co-Chair in Organizing Comittee for ISSTA 2022
Geunwoo KimKim, Geunwoo University of California, Irvine, USA Improving Cross-Platform Binary Analysis using Representation Learning via Graph Alignment
Mijung KimKim, Mijung UNIST DocTer: Documentation-Guided Fuzzing for Testing Deep Learning API Functions
Miryung KimKim, Miryung University of California at Los Angeles, USAUnited States Software Developer Tools for Democratizing Heterogeneous Computing Applications
Myeongsoo KimKim, Myeongsoo Automated Test Generation for REST APIs: No Time to Rest Yet
Raghavan KomondoorKomondoor, Raghavan IISc BengaluruIndia Session Chair of Session 1-7: Static Analysis and Specifications Testing A (part of ISSTA Technical Papers) Session Chair of Session 1-2: Test Generation and Mutation A (part of ISSTA Technical Papers) Programme Committee in Program Committee within the ISSTA Technical Papers-track
Konstantin KorovinKorovin, Konstantin University of Manchester ESBMC-CHERI: Towards Verification of C Programs for CHERI Platforms with ESBMC
L Shuvendu LahiriLahiri, Shuvendu Microsoft ResearchUnited States Using Pre-trained Language Models to Resolve Textual and Semantic Merge Conflicts (Experience Paper)
Sumit LahiriLahiri, Sumit Indian Institute Of Technology Kanpur Almost Correct Invariants: Synthesizing Inductive Invariants by Fuzzing Proofs
Wing LamLam, Wing University of Illinois at Urbana-ChampaignUnited States PhD advice panel discussion
Wing LamLam, Wing George Mason University Programme Committee in Program Committee within the ISSTA Doctoral Symposium-track
John LangeLange, John Oak Ridge National Lab/University of Pittsburgh Deadlock Prediction via Generalized Dependency
Caroline LemieuxLemieux, Caroline University of British ColumbiaUnited States Programme Committee in Program Committee within the ISSTA Technical Papers-track
Chao LiLi, Chao Beijing Institute of Control Engineering and Beijing Sunwise Information Technology Ltd SpecChecker-ISA: A Data Sharing Analyzer for Interrupt-driven Embedded Software Precise and Efficient Atomicity Violation Detection for Interrupt-driven Programs via Staged Path Pruning
Chengpeng LiLi, Chengpeng University of Texas at AustinUnited States Evolution-Aware Detection of Order-Dependent Flaky Tests
Ding LiLi, Ding Peking UniversityChina Session Chair of Session 3-1: Static Analysis and Specifications Testing C (part of ISSTA Technical Papers) Session Chair of Session 3-4: Fuzzing and Friends E (part of ISSTA Technical Papers) TEESlice: Slicing DNN Models for Secure and Efficient Deployment Committee Member in Organizing Committee within the AISTA-track Programme Committee in Program Committee within the ISSTA Technical Papers-track
Haoliang LiLi, Haoliang City University of Hong Kong Cross-Lingual Transfer Learning for Statistical Type Inference
Jing LiLi, Jing The Hong Kong Polytech University An Extensive Study on Pre-trained Models for Program Understanding and Generation
Li LiLi, Li Monash UniversityAustralia Automatically Detecting API-induced Compatibility Issues in Android Apps: A Comparative Analysis (Replicability Study)
Qi LiLi, Qi Tsinghua University BET: Black-box Efficient Testing for Convolutional Neural Networks
Xin LiLi, Xin Nanjing University UniRLTest: Universal Platform-Independent Testing with Reinforcement Learning via Image Understanding
Xuandong LiLi, Xuandong Nanjing UniversityChina Detecting Resource Utilization Bugs Induced by Variant Lifecycles in Android
Yi LiLi, Yi Nanyang Technological University, SingaporeSingapore Cross-Lingual Transfer Learning for Statistical Type Inference Finding Permission Bugs in Smart Contracts with Role Mining
Yitong LiLi, Yitong University of Waterloo DocTer: Documentation-Guided Fuzzing for Testing Deep Learning API Functions
Yu LiLi, Yu The Chinese University of Hong Kong HybridRepair: Towards Annotation-Efficient Repair for Deep Learning Models
Yue LiLi, Yue Nanjing UniversityChina Programme Committee in Program Committee within the ISSTA Technical Papers-track
Yuekang LiLi, Yuekang Nanyang Technological University Efficient Greybox Fuzzing of Applications in Linux-based IoT Devices via Enhanced User-mode Emulation
Yun LiLi, Yun Huawei Technologies Co., Ltd. SLIME: Program-sensitive Energy Allocation for Fuzzing
Zheming LiLi, Zheming Tsinghua UniversityChina PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation
Zhiming LiLi, Zhiming Nanyang Technological University, SingaporeChina Cross-Lingual Transfer Learning for Statistical Type Inference
Zongjie LiLi, Zongjie The Hong Kong University of Science and Technology Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Zongpeng LiLi, Zongpeng Tsinghua University BET: Black-box Efficient Testing for Convolutional Neural Networks
Bin LiangLiang, Bin Renmin University of China, China Hunting Bugs with Accelerated Optimal Graph Vertex Matching
Hong LiangLiang, Hong Zhejiang University SLIME: Program-sensitive Energy Allocation for Fuzzing
Jie LiangLiang, Jie School of Software, Tsinghua University Unicorn: Detect Runtime Error in Time-Series Databases With Hybrid Input Synthesis
Zhenkai LiangLiang, Zhenkai National University of SingaporeSingapore TELL: Log Level Suggestions via Modeling Multi-level Code Block Information
Zeqin LiaoLiao, Zeqin Sun Yat-sen UniversityChina SmartDagger : A Bytecode-based Static Analysis Approach for Detecting Cross-contract Vulnerability
Bo LinLin, Bo National University of Defense TechnologyChina Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Changting LinLin, Changting Binjiang Institute of Zhejiang University A Large-Scale Empirical Analysis of the Vulnerabilities Introduced by Third-party Components in IoT Firmware
Qingwei LinLin, Qingwei Microsoft ResearchChina Programme Committee in Program Committee within the ISSTA Technical Papers-track
Shang-Wei LinLin, Shang-Wei Nanyang Technological UniversitySingapore Finding Permission Bugs in Smart Contracts with Role Mining
Yun LinLin, Yun National University of SingaporeSingapore RegMiner: Towards Constructing a Large Regression Dataset from Code Evolution History Committee Member in Organizing Committee within the AISTA-track
Stephan LippLipp, Stephan Technical University of Munich An Empirical Study on the Effectiveness of Static C/C++ Analyzers for Vulnerability Detection
Bingyan LiuLiu, Bingyan Peking UniversityChina TEESlice: Slicing DNN Models for Secure and Efficient Deployment
Jia LiuLiu, Jia Nanjing UniversityChina ASRTest: Automated Testing for Deep-Neural-Network-Driven Speech Recognition Systems
Jiahao LiuLiu, Jiahao National University of Singapore TELL: Log Level Suggestions via Modeling Multi-level Code Block Information
Minghao LiuLiu, Minghao Institute of Software, Chinese Academy of SciencesChina ε-weakened Robustness of Deep Neural Networks
Pei LiuLiu, Pei Monash University Automatically Detecting API-induced Compatibility Issues in Android Apps: A Comparative Analysis (Replicability Study)
Ting LiuLiu, Ting Xi'an Jiaotong University One Step Further: Evaluating Interpreters Using Metamorphic Testing
Tongping LiuLiu, Tongping University of Massachusetts at Amherst Deadlock Prediction via Generalized Dependency
Xuwei LiuLiu, Xuwei Purdue University, USA TensileFuzz: Facilitating Seed Input Generation in Fuzzing via String Constraint Solving
Yang LiuLiu, Yang Nanyang Technological University Cross-Lingual Transfer Learning for Statistical Type Inference Efficient Greybox Fuzzing of Applications in Linux-based IoT Devices via Enhanced User-mode Emulation
Ye LiuLiu, Ye Nanyang Technological University, Singapore Finding Permission Bugs in Smart Contracts with Role Mining
Yulei LiuLiu, Yulei Nanjing University UniRLTest: Universal Platform-Independent Testing with Reinforcement Learning via Image Understanding
Zhibo LiuLiu, Zhibo Hong Kong University of Science and TechnologyChina Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
David LoLo, David Singapore Management UniversitySingapore Test Mimicry to Assess the Exploitability of Library Vulnerabilities
Panos LouridasLouridas, Panos Athens University of Economics and Business Programme Committee in Program Committee within the ISSTA Technical Papers-track
Yifei LuLu, Yifei Nanjing University Detecting Resource Utilization Bugs Induced by Variant Lifecycles in Android
Chuan LuoLuo, Chuan Beihang UniversityChina Programme Committee in Program Committee within the ISSTA Technical Papers-track
Xiapu LuoLuo, Xiapu Hong Kong Polytechnic UniversityChina Park: Accelerating Smart Contract Vulnerability Detection via Parallel-fork Symbolic Execution PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation NCScope: Hardware-Assisted Analyzer for Native Code in Android Apps WASAI: Uncovering Vulnerabilities in Wasm Smart Contracts
Chenyang LyuLyu, Chenyang Zhejiang University SLIME: Program-sensitive Energy Allocation for Fuzzing A Large-Scale Empirical Analysis of the Vulnerabilities Introduced by Third-party Components in IoT Firmware
Michael LyuLyu, Michael The Chinese University of Hong Kong AEON: A Method for Automatic Evaluation of NLP Test Cases
M Feifei MaMa, Feifei Institute of Software, Chinese Academy of Sciences ε-weakened Robustness of Deep Neural Networks
Lei MaMa, Lei University of AlbertaCanada Session Chair of Main Session (part of AISTA) Co-chair in Organizing Committee within the AISTA-track
Pingchuan MaMa, Pingchuan HKUST Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Siqi MaMa, Siqi the University of Queensland PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation
Zheyu MaMa, Zheyu PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation
Magnus MadsenMadsen, Magnus Aarhus UniversityDenmark Programme Committee in Program Committee within the ISSTA Technical Papers-track
Sonal MahajanMahajan, Sonal Uber Technologies Inc.United States Student Volunteer Co-Chair in Organizing Comittee for ISSTA 2022 Student Volunteer Co-Chair in Student Volunteer Committee within the ISSTA Student Volunteers-track Programme Committee in Program Committee within the ISSTA Technical Papers-track
Andrian MarcusMarcus, Andrian University of Texas at DallasUnited States Faster Mutation Analysis with MeMu Patch Correctness Assessment in Automated Program Repair Based on the Impact of Patches on Production and Test Code
Leonardo MarianiMariani, Leonardo University of Milano-BicoccaItaly Automatic Generation of Smoke Test Suites for Kubernetes
Darko MarinovMarinov, Darko University of Illinois at Urbana-ChampaignUnited States After graduation: academia vs industry Programme Committee in Program Committee within the ISSTA Doctoral Symposium-track
Hong MeiMei, Hong Peking University RegMiner: Towards Constructing a Large Regression Dataset from Code Evolution History
Kristof MeixnerMeixner, Kristof TU Wien Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Rafael MenezesMenezes, Rafael University of ManchesterUnited Kingdom ESBMC-Jimple: Verifying Kotlin Programs via Jimple Intermediate Representation ESBMC-CHERI: Towards Verification of C Programs for CHERI Platforms with ESBMC
Ruijie MengMeng, Ruijie National University of Singapore, SingaporeSingapore Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Gabriela Karoline MichelonMichelon, Gabriela Karoline Johannes Kepler University LinzAustria Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Ana MilanovaMilanova, Ana Rensselaer Polytechnic Institute The Raise of Machine Learning Hyperparameter Constraints in Python Code
Breno MirandaMiranda, Breno Federal University of PernambucoBrazil Tool demonstration Co-Chair in Organizing Comittee for ISSTA 2022 Tool demonstration Co-Chair in Program Committee within the ISSTA Tool Demonstrations-track
Sasa MisailovicMisailovic, Sasa University of Illinois at Urbana-ChampaignUnited States PhD advice panel discussion Programme Committee in Program Committee within the ISSTA Doctoral Symposium-track
Shouvick MondalMondal, Shouvick Concordia University, Montreal, CanadaCanada Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Austin MordahlMordahl, Austin University of Texas at DallasUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Daniel MouraMoura, Daniel Federal University of Amazonas ESBMC-Jimple: Verifying Kotlin Programs via Jimple Intermediate Representation
Rebecca MoussaMoussa, Rebecca University College LondonUnited Kingdom On the Use of Evaluation Measures for Defect Prediction Studies
Todd MytkowiczMytkowicz, Todd Microsoft ResearchUnited States Using Pre-trained Language Models to Resolve Textual and Semantic Merge Conflicts (Experience Paper)
Anders MøllerMøller, Anders Aarhus UniversityDenmark Programme Committee in Program Committee within the ISSTA Technical Papers-track
Peter MüllerMüller, Peter ETH ZurichSwitzerland Programme Committee in Program Committee within the ISSTA Technical Papers-track
N Marcus NachtigallNachtigall, Marcus Heinz Nixdorf Institute, Paderborn University A Large-scale Study of Usability Criteria addressed by Static Analysis Tools
Yuhong NanNan, Yuhong Sun Yat-sen UniversityChina SmartDagger : A Bytecode-based Static Analysis Approach for Detecting Cross-contract Vulnerability
Neelofar NeelofarNeelofar, Neelofar Monash UniversityAustralia Programme Committee in Program Committee within the ISSTA Doctoral Symposium-track
Siang Hwee NgNg, Siang Hwee National University of Singapore RegMiner: Towards Constructing a Large Regression Dataset from Code Evolution History
Chanh-Duc NgoNgo, Chanh-Duc University of LuxembourgLuxembourg ATUA: an Update-driven App Testing Tool
Lisa Nguyen Quang DoNguyen Quang Do, Lisa GoogleSwitzerland Switzerland in Program Committee within the ISSTA Doctoral Symposium-track
Phuong T. NguyenNguyen, Phuong T. University of L’AquilaItaly Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
ThanhVu NguyenNguyen, ThanhVu George Mason UniversityUnited States ATR: Template-based Repair for Alloy Specifications
Truong Giang NguyenNguyen, Truong Giang School of Computing and Information Systems, Singapore Management University Test Mimicry to Assess the Exploitability of Library Vulnerabilities
Yannic NollerNoller, Yannic National University of SingaporeSingapore Programme Committee in Program Committee within the ISSTA Technical Papers-track
O Hakjoo OhOh, Hakjoo Korea UniversitySouth Korea Programme Committee in Program Committee within the ISSTA Technical Papers-track
John-Paul OreOre, John-Paul North Carolina State UniversityUnited States Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Alessandro OrsoOrso, Alessandro Georgia TechUnited States Automated Test Generation for REST APIs: No Time to Rest Yet
Alex OrsoOrso, Alex Georgia Institute of Technology United States Publishing strategies Programme Committee in Program Committee within the ISSTA Technical Papers-track
P Rohan PadhyePadhye, Rohan Carnegie Mellon University Programme Committee in Program Committee within the ISSTA Technical Papers-track
Minxue PanPan, Minxue Nanjing UniversityChina Detecting Resource Utilization Bugs Induced by Variant Lifecycles in Android
Qi PangPang, Qi HKUST MDPFuzz: Testing Models Solving Markov Decision Processes
Jihyeok ParkPark, Jihyeok Oracle Labs, AustraliaSouth Korea Web Co-Chair in Organizing Comittee for ISSTA 2022
Corina S. PasareanuPasareanu, Corina S. Carnegie Mellon University Silicon Valley, NASA Ames Research Center Test Mimicry to Assess the Exploitability of Library Vulnerabilities Programme Committee in Program Committee within the ISSTA Technical Papers-track
Fabrizio PastorePastore, Fabrizio University of LuxembourgLuxembourg ATUA: an Update-driven App Testing Tool
Karthik PattabiramanPattabiraman, Karthik University of British Columbia eTainter: Detecting Gas-Related Vulnerabilities in Smart Contracts
Yu PeiPei, Yu Hong Kong Polytechnic UniversityChina Detecting Resource Utilization Bugs Induced by Variant Lifecycles in Android
Hila PelegPeleg, Hila TechnionIsrael Tool demonstration Co-Chair in Organizing Comittee for ISSTA 2022 Tool demonstration Co-Chair in Program Committee within the ISSTA Tool Demonstrations-track
Chao PengPeng, Chao ByteDance, ChinaChina Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Xin PengPeng, Xin Fudan UniversityChina RegMiner: Towards Constructing a Large Regression Dataset from Code Evolution History iFixDataloss: A Tool for Detecting and Fixing Data Loss Issues in Android Apps Detecting and Fixing Data Loss Issues in Android Apps
James PerrettaPerretta, James Northeastern University On the Use of Mutation Analysis For Evaluating Student Test Suite Quality
Mauro PezzePezze, Mauro USI Lugano; Schaffhausen Institute of TechnologySwitzerland Programme Committee in Program Committee within the ISSTA Technical Papers-track
Hung Viet PhamPham, Hung Viet University of WaterlooCanada DocTer: Documentation-Guided Fuzzing for Testing Deep Learning API Functions
Thuan PhamPham, Thuan The University of Melbourne Human-in-the-Loop Oracle Learning for Semantic Bugs in String Processing Programs
Oskar PicusPicus, Oskar A tool support for bug triage automation
Ruzica PiskacPiskac, Ruzica Yale UniversityUnited States Using Pre-trained Language Models to Resolve Textual and Semantic Merge Conflicts (Experience Paper)
Sorawee PorncharoenwasePorncharoenwase, Sorawee University of WashingtonUnited States Testing Dafny (Experience Paper)
Michael PradelPradel, Michael University of StuttgartGermany Neural Software Analysis: the Good, the Bad, and the Ugly Programme Committee in Program Committee within the ISSTA Technical Papers-track
Alexander PretschnerPretschner, Alexander TU MunichGermany An Empirical Study on the Effectiveness of Static C/C++ Analyzers for Vulnerability Detection
Rahul PurandarePurandare, Rahul IIIT-DelhiIndia Programme Committee in Program Committee within the ISSTA Technical Papers-track
Q Xu, QiangQiang, Xu, HybridRepair: Towards Annotation-Efficient Repair for Deep Learning Models
Xinran QinQin, Xinran South China University of Technology Automated Testing of Image Captioning Systems
Zheng QinQin, Zheng Institute of Software Chinese Academy of Sciences Finding Bugs in Gremlin-Based Graph Database Systems via Randomized Differential Testing
Han QiuQiu, Han Tsinghua University jTrans: Jump-Aware Transformer for Binary Code Similarity Detection BET: Black-box Efficient Testing for Convolutional Neural Networks
Wenjie QuQu, Wenjie Huazhong University of Science and Technology jTrans: Jump-Aware Transformer for Binary Code Similarity Detection
R Mikhail R. GadelhaR. Gadelha, Mikhail IgaliaBrazil ESBMC-CHERI: Towards Verification of C Programs for CHERI Platforms with ESBMC
Ingkarat Rak-amnouykitRak-amnouykit, Ingkarat Rensselaer Polytechnic Institute The Raise of Machine Learning Hyperparameter Constraints in Python Code
Zvonimir RakamaricRakamaric, Zvonimir Amazon Web Services Testing Dafny (Experience Paper)
Aurora RamírezRamírez, Aurora University of CórdobaSpain Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Baishakhi RayRay, Baishakhi Columbia UniversityUnited States Detecting Multi-Sensor Fusion Errors in Advanced Driver-Assistance Systems
Giles RegerReger, Giles University of ManchesterUnited Kingdom ESBMC-CHERI: Towards Verification of C Programs for CHERI Platforms with ESBMC
Germán RegisRegis, Germán Universidad Nacional de Río CuartoArgentina ATR: Template-based Repair for Alloy Specifications
Sofia ReisReis, Sofia Instituto Superior Técnico, U. Lisboa & INESC-IDPortugal Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Letu RenRen, Letu Department of Computer Science and Technology, Tsinghua University PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation
Juri Di RoccoRocco, Juri Di University of L'AquilaItaly Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Yi RongRong, Yi Tsinghua University BET: Black-box Efficient Testing for Convolutional Neural Networks
Subhajit RoyRoy, Subhajit IIT Kanpur, India Almost Correct Invariants: Synthesizing Inductive Invariants by Fuzzing Proofs
Abhik RoychoudhuryRoychoudhury, Abhik National University of SingaporeSingapore Program Vulnerability Repair via Inductive Inference Programme Committee in Program Committee within the ISSTA Technical Papers-track
Julia RubinRubin, Julia University of British ColumbiaCanada eTainter: Detecting Gas-Related Vulnerabilities in Smart Contracts
Cindy Rubio-GonzálezRubio-González, Cindy University of California at DavisUnited States Programme Committee in Program Committee within the ISSTA Technical Papers-track
Neha RungtaRungta, Neha Amazon Web ServicesUnited States Testing Dafny (Experience Paper)
Sukyoung RyuRyu, Sukyoung KAISTSouth Korea General Chair in Organizing Comittee for ISSTA 2022 Session Chair of Keynote (part of ISSTA Keynotes) Session Chair of Keynote (part of ISSTA Keynotes) Session Chair of Impact Paper Presentation (part of ISSTA Keynotes) Award Presentations & Chair Report
S Federica SarroSarro, Federica University College LondonUnited Kingdom On the Use of Evaluation Measures for Defect Prediction Studies
Riccardo ScandariatoScandariato, Riccardo Hamburg University of Technology Maestro: A Platform for Benchmarking Automatic Program Repair Tools on Software Vulnerabilities
Michael SchlichtigSchlichtig, Michael Heinz Nixdorf Institute, Paderborn University A Large-scale Study of Usability Criteria addressed by Static Analysis Tools
Michael SchröderSchröder, Michael TU WienAustria Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Koushik SenSen, Koushik University of California at BerkeleyUnited States Programme Committee in Program Committee within the ISSTA Technical Papers-track
Camelia SerbanSerban, Camelia Department of Computer Science, Babes-Bolyai UniversityRomania A tool support for bug triage automation
Ridwan Salihin ShariffdeenShariffdeen, Ridwan Salihin National University of SingaporeSingapore Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Arnab SharmaSharma, Arnab University of PaderbornGermany Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Jiasi ShenShen, Jiasi Massachusetts Institute of Technology Committee Member in Organizing Committee within the AISTA-track
Liwei ShenShen, Liwei Fudan University iFixDataloss: A Tool for Detecting and Fixing Data Loss Issues in Android Apps Detecting and Fixing Data Loss Issues in Android Apps
August ShiShi, August University of Texas at AustinUnited States Doctoral Symposium Co-Chair in Organizing Comittee for ISSTA 2022 Evolution-Aware Detection of Order-Dependent Flaky Tests Opening Closing Doctoral Symposium Co-Chair in Program Committee within the ISSTA Doctoral Symposium-track Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Wenchang ShiShi, Wenchang Renmin University of China, China Hunting Bugs with Accelerated Optimal Graph Vertex Matching
Donghwan ShinShin, Donghwan University of LuxembourgLuxembourg Student Volunteer Co-Chair in Organizing Comittee for ISSTA 2022 Student Volunteer Co-Chair in Student Volunteer Committee within the ISSTA Student Volunteers-track
Fedor ShmarovShmarov, Fedor The University of Manchester ESBMC-CHERI: Towards Verification of C Programs for CHERI Platforms with ESBMC
Ali ShokriShokri, Ali Rochester Institute of TechnologyUnited States Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Somesh SinghSingh, Somesh INRIA, ENS LyonFrance Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Saurabh SinhaSinha, Saurabh IBM ResearchUnited States Automated Test Generation for REST APIs: No Time to Rest Yet
Yannis SmaragdakisSmaragdakis, Yannis University of AthensGreece Program Chair in Organizing Comittee for ISSTA 2022 Session Chair of Keynote (part of ISSTA Keynotes) Session Chair of Keynote (part of ISSTA Keynotes) Award Presentations & Chair Report Program Chair in Program Committee within the ISSTA Technical Papers-track
Jeongju SohnSohn, Jeongju University of Luxembourg, LuxembourgLuxembourg Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Dokyung SongSong, Dokyung Yonsei University, South KoreaSouth Korea Improving Cross-Platform Binary Analysis using Representation Learning via Graph Alignment
Wei SongSong, Wei Nanjing University of Science and TechnologyChina PermDroid: Automatically Testing Permission-Related Behaviour of Android Applications
Xuezhi SongSong, Xuezhi Fudan University RegMiner: Towards Constructing a Large Regression Dataset from Code Evolution History
Diomidis SpinellisSpinellis, Diomidis Athens University of Economics and Business; Delft University of TechnologyGreece Programme Committee in Program Committee within the ISSTA Technical Papers-track
Steffen SpätheSpäthe, Steffen Friedrich Schiller University Jena Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Clay StevensStevens, Clay University of Nebraska-Lincoln Combining Solution Reuse and Bound Tightening for Efficient Analysis of Evolving Systems
Ting SuSu, Ting East China Normal UniversityChina iFixDataloss: A Tool for Detecting and Fixing Data Loss Issues in Android Apps Detecting and Fixing Data Loss Issues in Android Apps
Yuxin SuSu, Yuxin Sun Yat-sen University AEON: A Method for Automatic Evaluation of NLP Test Cases
Yulei SuiSui, Yulei University of New South WalesAustralia Path-Sensitive Code Embedding via Contrastive Learning for Software Vulnerability Detection
Jun SunSun, Jun Singapore Management UniversitySingapore Neural Network Fairness: Verification and Repair
Limin SunSun, Limin Beijing Key Laboratory of IOT Information Security Technology, Institute of Information Engineering, CAS, China; School of Cyber Security, University of Chinese Academy of Sciences, China Efficient Greybox Fuzzing of Applications in Linux-based IoT Devices via Enhanced User-mode Emulation
Zihan SunSun, Zihan Beijing University of Posts and Telecommunications WASAI: Uncovering Vulnerabilities in Wasm Smart Contracts
Chico SundermannSundermann, Chico University of UlmGermany Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
T Hanzhuo TanTan, Hanzhuo Southern University of Science and Technology, The Hong Kong Polytechnic University An Extensive Study on Pre-trained Models for Program Understanding and Generation
Lin TanTan, Lin Purdue UniversityUnited States DocTer: Documentation-Guided Fuzzing for Testing Deep Learning API Functions
Shin Hwei TanTan, Shin Hwei Southern University of Science and TechnologyChina Programme Committee in Program Committee within the ISSTA Technical Papers-track
Lei TangTang, Lei Institute of Software Chinese Academy of Sciences Finding Bugs in Gremlin-Based Graph Database Systems via Randomized Differential Testing
Yiming TangTang, Yiming Concordia UniversityCanada Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Wei TianTian, Wei Fudan University iFixDataloss: A Tool for Detecting and Fixing Data Loss Issues in Android Apps Detecting and Fixing Data Loss Issues in Android Apps
Yuan TianTian, Yuan University of VirginiaUnited States A Large-Scale Empirical Analysis of the Vulnerabilities Introduced by Third-party Components in IoT Firmware
Frank TipTip, Frank Northeastern UniversityUnited States Programme Committee in Program Committee within the ISSTA Technical Papers-track
Cristina-Maria TiutinTiutin, Cristina-Maria Test Case Prioritization based on Neural Networks Classification
Abhishek TiwariTiwari, Abhishek University of Passau, GermanyGermany Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Paolo TonellaTonella, Paolo USI LuganoSwitzerland Simple Techniques Work Surprisingly Well for Neural Network Test Prioritization and Active Learning (Replicability Study)
Emina TorlakTorlak, Emina Amazon Web Services Testing Dafny (Experience Paper)
Michele TufanoTufano, Michele Microsoft Committee Member in Program Committee within the ISSTA Tool Demonstrations-track
Alexi TurcotteTurcotte, Alexi Northeastern UniversityUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
V Andreea VescanVescan, Andreea Babes-Bolyai UniversityRomania Test Case Prioritization based on Neural Networks Classification
Willem VisserVisser, Willem Stellenbosch UniversitySouth Africa Probabilistic Symbolic Execution: Quantitative Program Analysis through Model Counting
W Boxiang WangWang, Boxiang Xidian University and Beijing Sunwise Information Technology Ltd SpecChecker-ISA: A Data Sharing Analyzer for Interrupt-driven Embedded Software Precise and Efficient Atomicity Violation Detection for Interrupt-driven Programs via Staged Path Pruning
Chengpeng WangWang, Chengpeng The Hong Kong University of Science and TechnologyChina Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Dong WangWang, Dong Institute of software, Chinese academy of sciencesChina Finding Bugs in Gremlin-Based Graph Database Systems via Randomized Differential Testing
Guancheng WangWang, Guancheng Peking University, ChinaChina Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Hao WangWang, Hao Tsinghua UniversityChina jTrans: Jump-Aware Transformer for Binary Code Similarity Detection
Haoyu WangWang, Haoyu Huazhong University of Science and Technology, ChinaChina Path-Sensitive Code Embedding via Contrastive Learning for Software Vulnerability Detection WASAI: Uncovering Vulnerabilities in Wasm Smart Contracts
Mingzhe WangWang, Mingzhe Tsinghua UniversityChina Unicorn: Detect Runtime Error in Time-Series Databases With Hybrid Input Synthesis
Qinying WangWang, Qinying Zhejiang University A Large-Scale Empirical Analysis of the Vulnerabilities Introduced by Third-party Components in IoT Firmware
Shangwen WangWang, Shangwen National University of Defense TechnologyChina Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Shuai WangWang, Shuai Hong Kong University of Science and Technology Session Chair of Main Session (part of AISTA) MDPFuzz: Testing Models Solving Markov Decision Processes Co-chair in Organizing Committee within the AISTA-track
Tao WangWang, Tao Understanding Device Integration Bugs in Smart Home System
Ting WangWang, Ting Pennsylvania State University NCScope: Hardware-Assisted Analyzer for Native Code in Android Apps
Wei WangWang, Wei Finding Bugs in Gremlin-Based Graph Database Systems via Randomized Differential Testing
Wenhai WangWang, Wenhai Zhejiang University SLIME: Program-sensitive Energy Allocation for Fuzzing
Wenxi WangWang, Wenxi University of Texas at AustinUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Wenxuan WangWang, Wenxuan The Chinese University of Hong Kong AEON: A Method for Automatic Evaluation of NLP Test Cases
Xiang WangWang, Xiang University of Science and Technology of China TELL: Log Level Suggestions via Modeling Multi-level Code Block Information
Yicheng WangWang, Yicheng Institute of Software Chinese Academy of Sciences Finding Bugs in Gremlin-Based Graph Database Systems via Randomized Differential Testing
Yuancheng WangWang, Yuancheng The Chinese University of Hong Kong, Shenzhen Automated Testing of Image Captioning Systems
Yuke WangWang, Yuke UC Santa BarbaraUnited States Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Zhe WangWang, Zhe State Key Laboratory of Computer Architecture, Institute of Computing Technology, Chinese Academy of Sciences SLIME: Program-sensitive Energy Allocation for Fuzzing
Jiali WeiWei, Jiali Xi'an Jiaotong UniversityChina One Step Further: Evaluating Interpreters Using Metamorphic Testing
Jun WeiWei, Jun Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Finding Bugs in Gremlin-Based Graph Database Systems via Randomized Differential Testing Understanding Device Integration Bugs in Smart Home System
Qiuyang WeiWei, Qiuyang Zhejiang University A Large-Scale Empirical Analysis of the Vulnerabilities Introduced by Third-party Components in IoT Firmware
Wenying WeiWei, Wenying Xi'an Jiaotong University One Step Further: Evaluating Interpreters Using Metamorphic Testing
Michael WeissWeiss, Michael Università della Svizzera italiana (USI)Switzerland Simple Techniques Work Surprisingly Well for Neural Network Test Prioritization and Active Learning (Replicability Study) Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
John WickersonWickerson, John Imperial College LondonUnited Kingdom Programme Committee in Program Committee within the ISSTA Technical Papers-track
Stefan WinterWinter, Stefan LMU MunichGermany Session Chair of Session 3-13: Oracles, Models, and Measurement F (part of ISSTA Technical Papers) Session Chair of Session 3-3: Test Generation and Mutation C (part of ISSTA Technical Papers) Session Chair of Session 3-5: Concurrency, IoT, Embedded C (part of ISSTA Technical Papers) Programme Committee in Program Committee within the ISSTA Technical Papers-track
Jingzheng WuWu, Jingzheng Institute of Software, The Chinese Academy of Sciences A Large-Scale Empirical Analysis of the Vulnerabilities Introduced by Third-party Components in IoT Firmware
Lei WuWu, Lei Zhejiang University WASAI: Uncovering Vulnerabilities in Wasm Smart Contracts
Shuohan WuWu, Shuohan The Hong Kong Polytechnic University NCScope: Hardware-Assisted Analyzer for Native Code in Android Apps
Yijian WuWu, Yijian Fudan UniversityChina RegMiner: Towards Constructing a Large Regression Dataset from Code Evolution History
Zhiyong WuWu, Zhiyong Tsinghua University, ChinaChina Unicorn: Detect Runtime Error in Time-Series Databases With Hybrid Input Synthesis
Valentin WüstholzWüstholz, Valentin ConsenSysGermany Metamorphic Relations via Relaxations: An Approach to Obtain Oracles for Action-Policy Testing
X Dongwei XiaoXiao, Dongwei The Hong Kong University of Science and Technology Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Xusheng XiaoXiao, Xusheng Case Western Reserve UniversityUnited States PhD advice panel discussion Programme Committee in Program Committee within the ISSTA Doctoral Symposium-track
Danning XieXie, Danning Purdue University DocTer: Documentation-Guided Fuzzing for Testing Deep Learning API Functions
Xiaofei XieXie, Xiaofei Singapore Management University, SingaporeSingapore Session Chair of Main Session (part of AISTA) Cross-Lingual Transfer Learning for Statistical Type Inference Co-chair in Organizing Committee within the AISTA-track
Qi XinXin, Qi Wuhan UniversityChina Automated Test Generation for REST APIs: No Time to Rest Yet
Jiacheng XuXu, Jiacheng Zhejiang University A Large-Scale Empirical Analysis of the Vulnerabilities Introduced by Third-party Components in IoT Firmware
Zhengzi XuXu, Zhengzi Nanyang Technological University Cross-Lingual Transfer Learning for Statistical Type Inference
Zhou XuXu, Zhou Wuhan University One Step Further: Evaluating Interpreters Using Metamorphic Testing
Y Hanmei YangYang, Hanmei University of Massachusetts Amherst Deadlock Prediction via Generalized Dependency
Mengfei YangYang, Mengfei China Academy of Space Technology, China SpecChecker-ISA: A Data Sharing Analyzer for Interrupt-driven Embedded Software Precise and Efficient Atomicity Violation Detection for Interrupt-driven Programs via Staged Path Pruning
Shuaihao YangYang, Shuaihao Nanjing University of Science and Technology PermDroid: Automatically Testing Permission-Related Behaviour of Android Applications
Wei YangYang, Wei University of Texas at DallasUnited States PhD advice panel discussion Programme Committee in Program Committee within the ISSTA Doctoral Symposium-track
Yuting YangYang, Yuting Institute of Computing Technology,Chinese Academy of Sciences; University of Chinese Academy of Sciences ε-weakened Robustness of Deep Neural Networks
Jiayi YaoYao, Jiayi The Chinese University of Hong Kong, Shenzhen Automated Testing of Image Captioning Systems
Hengkai YeYe, Hengkai Purdue University BET: Black-box Efficient Testing for Convolutional Neural Networks
Hongzhi YinYin, Hongzhi The University of Queensland CIRCLE: Continual Repair across Programming Languages
Shin YooYoo, Shin KAISTSouth Korea Workshops Co-Chair in Organizing Comittee for ISSTA 2022 FDG: A Precise Measurement of Fault Diagnosability Gain of Test Cases Workshops Co-Chair in Workshop Committee within the ISSTA Workshops-track Programme Committee in Program Committee within the ISSTA Technical Papers-track
Wei YouYou, Wei Renmin University of ChinaChina Hunting Bugs with Accelerated Optimal Graph Vertex Matching TensileFuzz: Facilitating Seed Input Generation in Fuzzing via String Constraint Solving
Michal YoungYoung, Michal University of OregonUnited States Programme Committee in Program Committee within the ISSTA Technical Papers-track
BoXi YuYu, BoXi The Chinese University of Hong Kong, Shenzhen Automated Testing of Image Captioning Systems
Shengcheng YuYu, Shengcheng Nanjing UniversityChina UniRLTest: Universal Platform-Independent Testing with Reinforcement Learning via Image Understanding
Tingting YuYu, Tingting Beijing Institute of Control Engineering and Beijing Sunwise Information Technology Ltd SpecChecker-ISA: A Data Sharing Analyzer for Interrupt-driven Embedded Software Precise and Efficient Atomicity Violation Detection for Interrupt-driven Programs via Staged Path Pruning
Wei YuanYuan, Wei The University of Queensland CIRCLE: Continual Repair across Programming Languages
Yuanyuan YuanYuan, Yuanyuan The Hong Kong University of Science and TechnologyChina MDPFuzz: Testing Models Solving Markov Decision Processes Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Yexiao YunYun, Yexiao Nanjing University UniRLTest: Universal Platform-Independent Testing with Reinforcement Learning via Image Understanding
Z Andreas ZellerZeller, Andreas CISPAGermany Programme Committee in Program Committee within the ISSTA Technical Papers-track
Jun ZengZeng, Jun National University of Singapore TELL: Log Level Suggestions via Modeling Multi-level Code Block Information
Zhengran ZengZeng, Zhengran Southern University of Science and TechnologyChina An Extensive Study on Pre-trained Models for Program Understanding and Generation
Zigang ZengZeng, Zigang Nanjing University of Science and Technology PermDroid: Automatically Testing Permission-Related Behaviour of Android Applications
Cen ZhangZhang, Cen Nanyang Technological University Efficient Greybox Fuzzing of Applications in Linux-based IoT Devices via Enhanced User-mode Emulation
Chao ZhangZhang, Chao Tsinghua UniversityChina jTrans: Jump-Aware Transformer for Binary Code Similarity Detection BET: Black-box Efficient Testing for Convolutional Neural Networks PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation NCScope: Hardware-Assisted Analyzer for Native Code in Android Apps
Guanqin ZhangZhang, Guanqin University of Technology Sydney Path-Sensitive Code Embedding via Contrastive Learning for Software Vulnerability Detection
Haotian ZhangZhang, Haotian An Extensive Study on Pre-trained Models for Program Understanding and Generation
Jialu ZhangZhang, Jialu Yale University Using Pre-trained Language Models to Resolve Textual and Semantic Merge Conflicts (Experience Paper)
Jian ZhangZhang, Jian Institute of Software at Chinese Academy of Sciences, China ε-weakened Robustness of Deep Neural Networks Hunting Bugs with Accelerated Optimal Graph Vertex Matching
Jianping ZhangZhang, Jianping The Chinese University of Hong Kong AEON: A Method for Automatic Evaluation of NLP Test Cases
Kangkang ZhangZhang, Kangkang Institute of Software Chinese Academy of Sciences Understanding Device Integration Bugs in Smart Home System
Lingming ZhangZhang, Lingming University of Illinois at Urbana-ChampaignUnited States An Extensive Study on Pre-trained Models for Program Understanding and Generation
Quanjun ZhangZhang, Quanjun Nanjing University CIRCLE: Continual Repair across Programming Languages
Sai ZhangZhang, Sai Google Cloud After graduation: academia vs industry
Xiangyu ZhangZhang, Xiangyu Purdue UniversityUnited States DocTer: Documentation-Guided Fuzzing for Testing Deep Learning API Functions TensileFuzz: Facilitating Seed Input Generation in Fuzzing via String Constraint Solving
Xiaohui ZhangZhang, Xiaohui Renmin University of China Hunting Bugs with Accelerated Optimal Graph Vertex Matching
Xinyang ZhangZhang, Xinyang Baidu Security Detecting Multi-Sensor Fusion Errors in Advanced Driver-Assistance Systems
Xuhong ZhangZhang, Xuhong Zhejiang University SLIME: Program-sensitive Energy Allocation for Fuzzing A Large-Scale Empirical Analysis of the Vulnerabilities Introduced by Third-party Components in IoT Firmware
Yiyu ZhangZhang, Yiyu Nanjing UniversityChina Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Yuntong ZhangZhang, Yuntong National University of Singapore Program Vulnerability Repair via Inductive Inference
Yuqun ZhangZhang, Yuqun Southern University of Science and TechnologyChina An Extensive Study on Pre-trained Models for Program Understanding and Generation
Zhuo ZhangZhang, Zhuo Purdue UniversityUnited States TensileFuzz: Facilitating Seed Input Generation in Fuzzing via String Constraint Solving
Ziqi ZhangZhang, Ziqi Peking UniversityChina TEESlice: Slicing DNN Models for Secure and Efficient Deployment
Ziqian ZhangZhang, Ziqian Nanjing University UniRLTest: Universal Platform-Independent Testing with Reinforcement Learning via Image Understanding
Binbin ZhaoZhao, Binbin Georgia Institute of Technology SLIME: Program-sensitive Energy Allocation for Fuzzing A Large-Scale Empirical Analysis of the Vulnerabilities Introduced by Third-party Components in IoT Firmware
Bodong ZhaoZhao, Bodong Tsinghua UniversityChina PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation
Yanjie ZhaoZhao, Yanjie Monash University Automatically Detecting API-induced Compatibility Issues in Android Apps: A Comparative Analysis (Replicability Study)
Zhe ZhaoZhao, Zhe ShanghaiTech UniversityChina Committee Member in Artifact Evaluation Committee within the ISSTA Artifact Evaluation-track
Zhihong ZhaoZhao, Zhihong Nanjing Tech Unniversity ASRTest: Automated Testing for Deep-Neural-Network-Driven Speech Recognition Systems
Guolong ZhengZheng, Guolong University of Nebraska Lincoln ATR: Template-based Repair for Alloy Specifications
Peilin ZhengZheng, Peilin Sun Yat-sen University Park: Accelerating Smart Contract Vulnerability Detection via Parallel-fork Symbolic Execution
Yaowen ZhengZheng, Yaowen Nanyang Technological University; Beijing Key Laboratory of IOT Information Security Technology, Institute of Information Engineering, CAS, China; Efficient Greybox Fuzzing of Applications in Linux-based IoT Devices via Enhanced User-mode Emulation
Yingying ZhengZheng, Yingying Institute of Software Chinese Academy of Sciences Finding Bugs in Gremlin-Based Graph Database Systems via Randomized Differential Testing
Zibin ZhengZheng, Zibin School of Data and Computer Science, Sun Yat-sen University Park: Accelerating Smart Contract Vulnerability Detection via Parallel-fork Symbolic Execution SmartDagger : A Bytecode-based Static Analysis Approach for Detecting Cross-contract Vulnerability
Zhenyu ZhongZhong, Zhenyu Baidu USA Detecting Multi-Sensor Fusion Errors in Advanced Driver-Assistance Systems
Zhiqing ZhongZhong, Zhiqing South China University of Technology Automated Testing of Image Captioning Systems
Ziyuan ZhongZhong, Ziyuan Columbia University Detecting Multi-Sensor Fusion Errors in Advanced Driver-Assistance Systems
Chijin ZhouZhou, Chijin Tsinghua University Unicorn: Detect Runtime Error in Time-Series Databases With Hybrid Input Synthesis
Hao ZhouZhou, Hao The Hong Kong Polytechnic UniversityChina NCScope: Hardware-Assisted Analyzer for Native Code in Android Apps
Jinpeng ZhouZhou, Jinpeng University of Pittsburgh Deadlock Prediction via Generalized Dependency
Yajin ZhouZhou, Yajin Zhejiang UniversityChina NCScope: Hardware-Assisted Analyzer for Native Code in Android Apps
Hongsong ZhuZhu, Hongsong Beijing Key Laboratory of IOT Information Security Technology, Institute of Information Engineering, CAS, China; School of Cyber Security, University of Chinese Academy of Sciences, China Efficient Greybox Fuzzing of Applications in Linux-based IoT Devices via Enhanced User-mode Emulation
Jiaxin ZhuZhu, Jiaxin Institute of Software at Chinese Academy of Sciences, China Understanding Device Integration Bugs in Smart Home System
Wenyu ZhuZhu, Wenyu Tsinghua University jTrans: Jump-Aware Transformer for Binary Code Similarity Detection
Jianwei ZhugeZhuge, Jianwei Tsinghua University jTrans: Jump-Aware Transformer for Binary Code Similarity Detection