ISSTA 2026 - Research papers - ISSTA 2026
Welcome to the website of the ISSTA 2026 conference.
The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) is the leading research symposium on software testing and analysis...
π’ Call for Papers for ISSTA 2026
We invite high-quality submissions on software testing and analysis from industry and academia, incl.
* research papers
* experience papers, and
* replicability studies.
π 29th January 2026
ποΈ issta2026.hotcrp.com
π conf.researchr.org/track/issta-...
17.12.2025 08:33 β π 5 π 2 π¬ 0 π 0
Claire Le Goues @clegoues.bsky.social gave a fantastic ISSTA @issta.bsky.social 2025 keynote this morning on software correctness in the age of generative AI.
26.06.2025 09:22 β π 11 π 3 π¬ 0 π 0
π£ This year, ISSTA will feature a special session on Software Inclusivity:
π Four short talks
π Guided networking session
β
Topics: accessibility testing, digitalisation costs, AR for neurodiversity etc.
β²οΈ 11am on Thursday 26th June
πΊοΈ Aurora A room.
20.06.2025 15:56 β π 1 π 1 π¬ 0 π 0
FUZZING'25 Workshop @ ISSTA
The 4th International Fuzzing Workshop (FUZZING) 2025 welcomes all researchers,
scientists, engineers and practitioners to present their latest research findings,
empirical analyses, t...
#FUZZING'25 Deadline Extension
ββββββ
If you have not finished your #FUZZING paper yet, you are in luck! :) We decided to extend the deadline to March 26, 2025!
π fuzzingworkshop.github.io
//cc @rohan.padhye.org, LΓ‘szlΓ³ Szekeres,
@ruijiemeng.bsky.social, @mboehme.bsky.social
21.03.2025 12:26 β π 3 π 7 π¬ 0 π 0
Registration - ISSTA 2025
Welcome to the website of the ISSTA 2025 conference.
The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) is the leading research symposium on software testing and analysi...
π’ Registrations + Travel/Childcare Grant Applications are open!
Early bird deadline: Apr 16
π Register: conf.researchr.org/attending/is...
@sigsoft.bsky.social will again support through travel and childcare grants!
Application deadline: Apr 2
π Apply: www2.sigsoft.org/caps/capsmain
04.03.2025 16:27 β π 2 π 1 π¬ 0 π 0
#FUZZING'25 CALL FOR PAPERS
ββββββ
β¨ New OC members:
* Ruijie Meng (@ruijiemeng.bsky.social; NUS)
* Rohan Padhye (@rohan.padhye.org; CMU).
β¨ New paper type: Fuzzing Nuggets (short papers).
π fuzzingworkshop.github.io
π
20.March (Submission)
π
17.April (Notification)
π
28.June (Workshop)
17.02.2025 18:40 β π 18 π 11 π¬ 1 π 0
π£ Check out our workshops!
π‘ Topics: CPAchecker, EXPlainable and REliable Systems, fuzzing and LLM supply chain
π
Submission in March
CPA'25: cpa.sosy-lab.org/2025
EXPRESS'25: conf.researchr.org/home/issta-2...
FUZZING'25: fuzzingworkshop.github.io
LLMSC'25: llmsc.github.io
21.02.2025 12:15 β π 0 π 0 π¬ 0 π 0
β οΈ The deadline for tool demo submissions will be *EARLIER* than previously planned. The updated schedule is:
π
Submission: March 20th, 2025 at issta25demos.hotcrp.com
π
Notification: April 10th, 2025
π· Camera-ready: April 24th, 2025
17.01.2025 10:44 β π 0 π 0 π¬ 0 π 0
ISSTA'25 Tool Demos
π’ CALL FOR #ISSTA25 TOOL DEMOS
π§ Showcase your innovative software testing and analysis tools from both academia and industry.
π
Submission: April 4th, 2025 at issta25demos.hotcrp.com
π
Notification: April 25th, 2025
More details: conf.researchr.org/track/issta-...
06.01.2025 15:49 β π 1 π 0 π¬ 0 π 1
π’ CALL FOR #ISSTA25 NOMINATIONS: IMPACT PAPER AWARD
π Last nomination by January 3
Details: see attached picture
25.11.2024 09:55 β π 3 π 2 π¬ 0 π 0
π’ CALL FOR #ISSTA25 NOMINATIONS: IMPACT PAPER AWARD
π Last nomination by January 3
Details: see attached picture
25.11.2024 09:55 β π 3 π 2 π¬ 0 π 0
postdoc @TU Wien, PhD from TU Munich. Fond of program synthesis and analysis, cleaning up finite-precision mess (old spelling Anastasiia Izycheva)
https://aisychev.github.io
Synth-sizing programs. Associate Professor at U. Lisbon. blogs at alcidesfonseca.com
PhD Candidate @ Zhejiang University.
Language-based security is the continuation of compiler construction by other means.
PLs, pretty much all things compilers.
(Just a blackboard from systems programming 101. Is it tacky? 100pct yes; but then again, did you *really* come for nice pictures?)
PhD Candidate in Software Engineering @CMU
Studying Rust interop π¦
borrowsanitizer.com
Tweeting about my personal opinions; RT or Following β endorsement. Professor of Empirical Software Engineering at the University of Zurich. Bolognese.
Faculty @utah.edu.
My lab hunts bugs: https://futures.cs.utah.edu/bugs.
Mastodon: snagy@infosec.exchange
Twitter: @snagycs
Software Engineer & Lecturer in Software Testing @sheffielduni.bsky.social
Professor in software engineering at Delft University of Technology, The Netherlands. I'm mostly active on Mastodon, as https://mastodon.acm.org/@avandeursen
Assistant Professor (Lecturer) at University of Manchester
Formal Methods Engineering Lab: https://manchester-fme.github.io
Professor of Computer Science at National University of Singapore
https://abhikrc.com
DevAI @google, working on PL/SE+ ML. CS PhD (@MIT_CSAIL) π¨π· in ATL. www.josecambronero.com
Lecturer in Computer Science at the University of Sheffield. Researcher interests in software analysis and testing, and their links to causal reasoning and ML.
New blue sky. Same old troll.
now: Assistant Professingβ’ in Software Practices Lab at UBC. was: postdoc MSR NYC, phd UC Berkeley. also at https://mastodon.acm.org/@cestlemieux. she/her.
Software Engineering & Empirical Research
https://empirical-software.engineering
Professor at Aarhus University
https://cs.au.dk/~amoeller
Garbage collector.
Professor.
Software engineering research | Assistant Professor at University of Groningen