International Symposium on Software Testing and Analysis

ISSTA

CORE rank

CORE rank (raw)

Fields of research

Software Engineering

Papers indexed

1,511

1989–2025

Best Software Engineering conferences

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
2021	Empirically evaluating readily available information for regression test optimization in continuous integration.	Daniel Elsner, Florian Hauer, Alexander Pretschner, Silke Reimer
2021	Optional monitoring for long-lived transactions.	Joshua Ellul, Gordon J. Pace
2021	Exposing previously undetectable faults in deep neural networks.	Isaac Dunn, Hadrien Pouget, Daniel Kroening, Tom Melham
2021	Runtime verification for trustworthy secure shell deployment.	Axel Curmi, Christian Colombo, Mark Vella
2021	Runtime detection of memory errors with smart status.	Zhe Chen, Chong Wang, Junqi Yan, Yulei Sui, Jingling Xue
2021	Test-case prioritization for configuration testing.	Runxiang Cheng, Lingming Zhang, Darko Marinov, Tianyin Xu
2021	Synthesize solving strategy for symbolic execution.	Zhenbang Chen, Zehua Chen, Ziqi Shuai, Guofeng Zhang, Weiyu Pan, Yufeng Zhang, Ji Wang
2021	Towards aggregate monitoring of spatio-temporal properties.	Giorgio Audrito, Gianluca Torta
2021	RM for users' safety and security in the built environment.	Giorgio Audrito, Ferruccio Damiani, Giuseppe Martino Di Giuda, Silvia Meschini, Laura Pellegrini, Elena Seghezzi, Lavinia Chiara Tagliabue, Lorenzo Testa, Gianluca Torta
2021	Parema: an unpacking framework for demystifying VM-based Android packers.	Lei Xue, Yuxiao Yan, Luyi Yan, Muhui Jiang, Xiapu Luo, Dinghao Wu, Yajin Zhou
2021	TERA: optimizing stochastic regression tests in machine learning projects.	Saikat Dutta, Jeeva Selvam, Aryaman Jain, Sasa Misailovic
2021	Increasing confidence in autonomous systems.	Michael Fisher, Angelo Ferrando, Rafael C. Cardoso
2020	FineLock: automatically refactoring coarse-grained locks into fine-grained locks.	Yang Zhang, Shuai Shao, Juan Zhai, Shiqing Ma
2020	Learning to detect table clones in spreadsheets.	Yakun Zhang, Wensheng Dou, Jiaxin Zhu, Liang Xu, Zhiyong Zhou, Jun Wei, Dan Ye, Bo Yang
2020	Fast bit-vector satisfiability.	Peisen Yao, Qingkai Shi, Heqing Huang, Charles Zhang
2020	EShield: protect smart contracts against reverse engineering.	Wentian Yan, Jianbo Gao, Zhenhao Wu, Yue Li, Zhi Guan, Qingshan Li, Zhong Chen
2020	Patch based vulnerability matching for binary programs.	Yifei Xu, Zhengzi Xu, Bihuan Chen, Fu Song, Yang Liu, Ting Liu
2020	Automated mobile apps testing from visual perspective.	Feng Xue
2020	Scalable build service system with smart scheduling service.	Kaiyuan Wang, Greg Tener, Vijay Gullapalli, Xin Huang, Ahmed Gad, Daniel Rall
2020	Discovering discrepancies in numerical libraries.	Jackson Vanover, Xuan Deng, Cindy Rubio-Gonzlez
2020	Relocatable addressing model for symbolic execution.	David Trabish, Noam Rinetzky
2020	Detecting and understanding real-world differential performance bugs in machine learning libraries.	Saeid Tizpaz-Niari, Pavol Cern, Ashutosh Trivedi
2020	ProFL: a fault localization framework for Prolog.	George Thompson, Allison K. Sullivan
2020	Intermittently failing tests in the embedded systems domain.	Per Erik Strandberg, Thomas J. Ostrand, Elaine J. Weyuker, Wasif Afzal, Daniel Sundmark
2020	Higher income, larger loan? monotonicity testing of machine learning models.	Arnab Sharma, Heike Wehrheim

476–500 of 1,511← Previous Next →

Comparable venues

Other A*/A conferences filed under the same field of research.