ACM SIGSOFT International Symposium on Software Testing and Analysis

ACM SIGSOFT International Symposium on Software Testing and Analysis
Name	ACM SIGSOFT International Symposium on Software Testing and Analysis
Acronym	ISSTA
Discipline	Software testing, program analysis
Sponsor	Association for Computing Machinery, Special Interest Group on Software Engineering
Established	1990
Frequency	Annual

ACM SIGSOFT International Symposium on Software Testing and Analysis is an annual research conference that brings together researchers and practitioners in software testing, program analysis, formal methods, software engineering and related areas. The symposium features peer-reviewed papers, tool demonstrations, tutorials, and workshops that promote advances in testing, analysis, verification and validation for software systems. ISSTA is organized under the aegis of Association for Computing Machinery and its Special Interest Group on Software Engineering.

History

ISSTA originated in 1990 as a venue to unify research found in venues such as ICSE, FSE, ASE (conference), ESEC/FSE 1997, and earlier meetings like Testing: Academic and Industrial Conference (TAIC PART), evolving alongside communities attending PLDI, POPL, SOSP, and USENIX. Founding contributors who published at early ISSTA meetings included researchers affiliated with Bell Labs, IBM Research, Microsoft Research, PARC, University of Cambridge, Stanford University, and Massachusetts Institute of Technology. Over decades ISSTA paralleled developments reported at ICLP, CADE, CAV, TACAS, and FM (conference), reflecting shifts prompted by industry players such as Google, Facebook, Amazon, Intel, Oracle, and SAP SE. The symposium’s evolution intersected with milestones from JUnit, Eclipse, LLVM, GCC, GitHub, and standards groups like IEEE and ISO/IEC.

Scope and Topics

ISSTA covers topics that overlap with subject matter from SIGPLAN, SIGMOD, SIGSOFT, and SIGOPS communities, including test generation and selection in contexts studied by NASA, DARPA, NIH, NIST, and European Commission projects. Typical research addresses static analysis techniques influenced by work from Frama-C, Clang, LLVM Project, and Cppcheck, dynamic analysis approaches related to artifacts like Android, iOS, Linux kernel, and web platforms discussed across WWW Conference and SIGCHI venues. Cross-cutting themes reference formal verification advances from Z3, Coq, Isabelle (proof assistant), and SPIN, empirical studies akin to those at ESEM, human factors studies paralleling CHI, and reproducibility conversations present at NeurIPS and ICLR.

Conference Format and Organization

ISSTA’s program committee structure mirrors selection processes used by ICSE, FSE, PLDI, and POPL, with an annual steering committee drawn from academics and industry labs such as Carnegie Mellon University, ETH Zurich, University of California, Berkeley, Princeton University, Harvard University, University of Illinois Urbana-Champaign, Microsoft Research Redmond, and Google Research. The format includes a peer-reviewed proceedings track, poster sessions similar to SIGCOMM poster programs, tool demonstrations akin to KDD demonstrations, hands-on tutorials comparable to OOPSLA tutorials, and satellite workshops reflecting models used by ICML workshops and NeurIPS workshops. Conference logistics have been hosted in cities that also stage events like San Diego Comic-Con International, SIGGRAPH, EuroSys, and SOSP.

Proceedings and Publication

Accepted ISSTA papers are published in the ACM Digital Library and indexed in digital repositories alongside proceedings from SIGPLAN, SIGMOD, SIGGRAPH, and SIGCOMM. The proceedings follow ACM’s proceedings format used also by CHI, KDD, EC events and are assigned DOIs and indexed in databases used by Scopus, Web of Science, and Google Scholar. Selected papers are sometimes expanded for journals such as TOSEM (ACM Transactions on Software Engineering and Methodology), TSE (IEEE Transactions on Software Engineering), and JACM, following a pipeline similar to contributions that move from venues like ICML to JMLR.

Awards and Recognition

ISSTA confers best paper awards and distinctions paralleling honors at ICSE and PLDI, with committees drawn from researchers affiliated with University of Oxford, University of Toronto, Tsinghua University, Peking University, National University of Singapore, Imperial College London, and industrial research centers like IBM Research Zurich, Bell Labs, and Facebook AI Research. Past recognition highlights work connected to influential tools and projects such as AFL (American Fuzzy Lop), KLEE, Valgrind, FindBugs, and SonarQube. ISSTA awardees often receive invitations to keynote at venues like ESEC/FSE, ICSE, CAV, and TACAS.

Notable Papers and Impact

Influential ISSTA papers have shaped techniques used in continuous integration pipelines at companies like Netflix, Spotify, Uber, Airbnb, and Stripe, and influenced standards work at ISO, IEEE, and regulatory discussions involving FDA. Contributions from ISSTA have fed into widely used projects such as Jenkins, Travis CI, CircleCI, Gradle, Maven, and static analysis integrations in GitHub Actions. Seminal ISSTA results intersect with research on fuzzing pioneered by groups at CMU, Stanford University, Berkeley AI Research, and University College London, and with model-based testing studies from Siemens, Bosch, and Toyota Research Institute.

Related Events and Collaborations

ISSTA maintains close relationships with workshops and conferences like ICPC, ISOLA, TACAS, CAV, ESEC/FSE, ICSE, ASE (conference), SPLC (Software Product Line Conference), RE (Requirements Engineering) and collaborates with initiatives supported by funding agencies such as NSF, EPSRC, ERC, DFG, and ANR. Cross-disciplinary collaborations connect ISSTA authors to programs at MIT CSAIL, Stanford AI Lab, Berkeley BIDS, INRIA, and industry consortia including Linux Foundation, OpenSSF, OWASP, and CNCF.

Category:Computer science conferences Category:Association for Computing Machinery conferences