International Symposium on Software Testing and Analysis
ISSTA
A
CORE rank
CORE rank (raw)
A
Fields of research
Software Engineering
Papers indexed
1,511
1989–2025
Papers per year
1989170 peak2025
Most published authors
ISSTA papers
1,511 records sourced from DBLP. Search titles, filter by year, sort by recency.
| Year | Title | Authors |
|---|---|---|
| 2024 | Learning to Check LTL Satisfiability and to Generate Traces via Differentiable Trace Checking. | Weilin Luo, Pingjia Liang, Junming Qiu, Polong Chen, Hai Wan, Jianfeng Du, Weiyuan Fang |
| 2024 | Distance-Aware Test Input Selection for Deep Neural Networks. | Zhong Li, Zhengfeng Xu, Ruihua Ji, Minxue Pan, Tian Zhang, Linzhang Wang, Xuandong Li |
| 2024 | DBStorm: Generating Various Effective Workloads for Testing Isolation Levels. | Keqiang Li, Siyang Weng, Lyu Ni, Chengcheng Yang, Rong Zhang, Xuan Zhou, Aoying Zhou |
| 2024 | FunRedisp: A Function Redispatch Tool to Reduce Invocation Gas Fees in Solidity Smart Contracts. | Yunqi Liu, Wei Song |
| 2024 | FunRedisp: Reordering Function Dispatch in Smart Contract to Reduce Invocation Gas Fees. | Yunqi Liu, Wei Song |
| 2024 | CoEdPilot: Recommending Code Edits with Learned Prior Edit Relevance, Project-wise Awareness, and Interactive Nature. | Chenyan Liu, Yufan Cai, Yun Lin, Yuhuan Huang, Yunrui Pei, Bo Jiang, Ping Yang, Jin Song Dong, Hong Mei |
| 2024 | Synthesizing Boxes Preconditions for Deep Neural Networks. | Zengyu Liu, Liqian Chen, Wanwei Liu, Ji Wang |
| 2024 | One Size Does Not Fit All: Multi-granularity Patch Generation for Better Automated Program Repair. | Bo Lin, Shangwen Wang, Ming Wen, Liqian Chen, Xiaoguang Mao |
| 2024 | SQLess: Dialect-Agnostic SQL Query Simplification. | Li Lin, Zongyin Hao, Chengpeng Wang, Zhuangda Wang, Rongxin Wu, Gang Fan |
| 2024 | VioHawk: Detecting Traffic Violations of Autonomous Driving Systems through Criticality-Guided Simulation Testing. | Zhongrui Li, Jiarun Dai, Zongan Huang, Nianhao You, Yuan Zhang, Min Yang |
| 2024 | CoSec: On-the-Fly Security Hardening of Code LLMs via Supervised Co-decoding. | Dong Li, Meng Yan, Yaosheng Zhang, Zhongxin Liu, Chao Liu, Xiaohong Zhang, Ting Chen, David Lo |
| 2024 | Foliage: Nourishing Evolving Software by Characterizing and Clustering Field Bugs. | Zhanyao Lei, Yixiong Chen, Mingyuan Xia, Zhengwei Qi |
| 2024 | DeLink: Source File Information Recovery in Binaries. | Zhe Lang, Zhengzi Xu, Xiaohui Chen, Shichao Lv, Zhanwei Song, Zhiqiang Shi, Limin Sun |
| 2024 | Equivalent Mutants in the Wild: Identifying and Efficiently Suppressing Equivalent Mutants for Java Programs. | Benjamin Kushigian, Samuel J. Kaufman, Ryan Featherman, Hannah Potter, Ardi Madadi, Ren Just |
| 2024 | An Empirical Examination of Fuzzer Mutator Performance. | James Kukucka, Lus Pina, Paul Ammann, Jonathan Bell |
| 2024 | Quality Assurance for Non-trivial Systems: Use Case GCC Plugins. | Nimantha Kariyakarawana |
| 2024 | Interprocedural Path Complexity Analysis. | Mira Bhagirathi Kaniyur, Ana Cavalcante-Studart, Yihan Yang, Sangeon Park, David Chen, Duy Lam, Lucas Bang |
| 2024 | A Large-Scale Evaluation for Log Parsing Techniques: How Far Are We? | Zhihan Jiang, Jinyang Liu, Junjie Huang, Yichen Li, Yintong Huo, Jiazhen Gu, Zhuangbin Chen, Jieming Zhu, Michael R. Lyu |
| 2024 | Interoperability in Deep Learning: A User Survey and Failure Analysis of ONNX Model Converters. | Purvish Jajal, Wenxin Jiang, Arav Tewari, Erik Kocinare, Joseph Woo, Anusha Sarraf, Yung-Hsiang Lu, George K. Thiruvathukal, James C. Davis |
| 2024 | Integrating Mutation Techniques to Keep Specification and Source Code in Sync. | Kerstin Jacob |
| 2024 | UPBEAT: Test Input Checks of Q# Quantum Libraries. | Tianmin Hu, Guixin Ye, Zhanyong Tang, Shin Hwei Tan, Huanting Wang, Meng Li, Zheng Wang |
| 2024 | Segment-Based Test Case Prioritization: A Multi-objective Approach. | Hieu Huynh, Nhu Pham, Tien N. Nguyen, Vu Nguyen |
| 2024 | Multi-modal Learning for WebAssembly Reverse Engineering. | Hanxian Huang, Jishen Zhao |
| 2024 | SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries. | Ningyu He, Zhehao Zhao, Hanqin Guan, Jikai Wang, Shuo Peng, Ding Li, Haoyu Wang, Xiangqun Chen, Yao Guo |
| 2024 | Define-Use Guided Path Exploration for Better Forced Execution. | Dongnan He, Dongchen Xie, Yujie Wang, Wei You, Bin Liang, Jianjun Huang, Wenchang Shi, Zhuo Zhang, Xiangyu Zhang |
126–150 of 1,511← PreviousNext →
Comparable venues
Other A*/A conferences filed under the same field of research.
- A*ICSEInternational Conference on Software Engineering
- AOOPSLAACM Conference on Object Oriented Programming Systems Languages and Applications
- AMODELSInternational Conference on Model Driven Engineering Languages and Systems (Previously UML, changed in 2005)
- AREIEEE International Requirements Engineering Conference
- ABPMInternational Conference in Business Process Management
- AISSREInternational Symposium on Software Reliability Engineering
- AICSTInternational Conference on Software Testing, Verification and Validation
- A*SIGMETRICSMeasurement and Modeling of Computer Systems