Lis of the accepted short, vision and emerging results papers for ICST 2025.
With 11 short papers on the program, this year’s conference will highlight upcoming research and new ideas in software testing.
#SEResearch
conf.researchr.org/track/icst-2...
With 11 short papers on the program, this year’s conference will highlight upcoming research and new ideas in software testing.
#SEResearch
conf.researchr.org/track/icst-2...
ICST 2025 - Short Papers, Vision and Emerging Results - ICST 2025
The 18th IEEE International Conference on Software Testing, Verification and Validation (ICST) 2025 ICST serves as a premier platform uniting researchers, scientists, engineers, and practitioners worl...
conf.researchr.org
January 23, 2025 at 10:11 AM
Lis of the accepted short, vision and emerging results papers for ICST 2025.
With 11 short papers on the program, this year’s conference will highlight upcoming research and new ideas in software testing.
#SEResearch
conf.researchr.org/track/icst-2...
With 11 short papers on the program, this year’s conference will highlight upcoming research and new ideas in software testing.
#SEResearch
conf.researchr.org/track/icst-2...
I'm happy to have been invited to give a keynote at the Mutation Workshop at ICST next month, where I'll discuss mutation testing adoption in industry. If you'll be at the conference, I hope you attend! More info: conf.researchr.org/home/icst-20...
Mutation 2025 - ICST 2025
Mutation analysis involves mutations of software artifacts that are then used to evaluate the quality of software verification tools and techniques. It is considered the premier technique for evaluati...
conf.researchr.org
March 10, 2025 at 5:21 PM
I'm happy to have been invited to give a keynote at the Mutation Workshop at ICST next month, where I'll discuss mutation testing adoption in industry. If you'll be at the conference, I hope you attend! More info: conf.researchr.org/home/icst-20...
🌟 Hello, BlueSky! 🌟
I’m Carmen Jimenez-Pride—play therapist, IFS lead trainer, EMDR consultant, ICST-P, award-winning author, speaker, and serial entrepreneur
#PlayTherapy #MentalHealth #IFS #EMDR
I’m Carmen Jimenez-Pride—play therapist, IFS lead trainer, EMDR consultant, ICST-P, award-winning author, speaker, and serial entrepreneur
#PlayTherapy #MentalHealth #IFS #EMDR
March 10, 2025 at 3:57 PM
🌟 Hello, BlueSky! 🌟
I’m Carmen Jimenez-Pride—play therapist, IFS lead trainer, EMDR consultant, ICST-P, award-winning author, speaker, and serial entrepreneur
#PlayTherapy #MentalHealth #IFS #EMDR
I’m Carmen Jimenez-Pride—play therapist, IFS lead trainer, EMDR consultant, ICST-P, award-winning author, speaker, and serial entrepreneur
#PlayTherapy #MentalHealth #IFS #EMDR
Meicne Tastatur icst kaputt. Ratet mal was niccht funkticonicert. Es icst grauenhaft! So kann icch niccht arbeicten! 🥴
May 17, 2024 at 6:13 AM
Meicne Tastatur icst kaputt. Ratet mal was niccht funkticonicert. Es icst grauenhaft! So kann icch niccht arbeicten! 🥴
Si fueras mí madre tendría mucho icst con vos
April 17, 2025 at 6:43 AM
Si fueras mí madre tendría mucho icst con vos
John McCarthy and Gloria Purvis join ICST as inaugural senior fellows
mailchi.mp
September 8, 2025 at 9:53 PM
Happy and proud! 😊
Our paper “How Developers Engage with Static Analysis Tools in Different Contexts” won the Most Influential 5-Years Journal First Paper on Software Testing at ICST 2025. Congratulations to my co-authors Carmine, Sebastiano, Fabio, Sebastian, and Harald!
Our paper “How Developers Engage with Static Analysis Tools in Different Contexts” won the Most Influential 5-Years Journal First Paper on Software Testing at ICST 2025. Congratulations to my co-authors Carmine, Sebastiano, Fabio, Sebastian, and Harald!
January 30, 2025 at 8:21 PM
Happy and proud! 😊
Our paper “How Developers Engage with Static Analysis Tools in Different Contexts” won the Most Influential 5-Years Journal First Paper on Software Testing at ICST 2025. Congratulations to my co-authors Carmine, Sebastiano, Fabio, Sebastian, and Harald!
Our paper “How Developers Engage with Static Analysis Tools in Different Contexts” won the Most Influential 5-Years Journal First Paper on Software Testing at ICST 2025. Congratulations to my co-authors Carmine, Sebastiano, Fabio, Sebastian, and Harald!
📣 ICST 2026: Call for Research Papers!
The International Conference on Software Testing, Verification and Validation (ICST) 2026 call for research-track submissions.
📅 Important Dates:
Abstract Due: Dec 15
Full Paper Due: Dec 22
🔗 Learn More & Submit:
conf.researchr.org/track/icst-2...
The International Conference on Software Testing, Verification and Validation (ICST) 2026 call for research-track submissions.
📅 Important Dates:
Abstract Due: Dec 15
Full Paper Due: Dec 22
🔗 Learn More & Submit:
conf.researchr.org/track/icst-2...
ICST 2026 - Research Papers - ICST 2026
The Research Papers track of ICST 2026 invites high-quality submissions in all areas of software testing, verification, and validation. Papers for the research track should present novel and original ...
conf.researchr.org
October 18, 2025 at 9:50 AM
📣 ICST 2026: Call for Research Papers!
The International Conference on Software Testing, Verification and Validation (ICST) 2026 call for research-track submissions.
📅 Important Dates:
Abstract Due: Dec 15
Full Paper Due: Dec 22
🔗 Learn More & Submit:
conf.researchr.org/track/icst-2...
The International Conference on Software Testing, Verification and Validation (ICST) 2026 call for research-track submissions.
📅 Important Dates:
Abstract Due: Dec 15
Full Paper Due: Dec 22
🔗 Learn More & Submit:
conf.researchr.org/track/icst-2...
In two weeks (April 1st), the 5th edition of the Artificial Intelligence in Software Testing (#AIST) workshop will be held, an event colocated with the ICST conference. In this thread, we'll tell you about the program Aitor Arrieta and I are preparing:
conf.researchr.org/home/icst-20...
conf.researchr.org/home/icst-20...
AIST 2025 - 5th International Workshop on Artificial Intelligence in Software Testing - ICST 2025
The integration of AI techniques in the domain of software testing represents a promising frontier, one that is still at the dawn of its potential. Over the past few years, software developers have wi...
conf.researchr.org
March 18, 2025 at 9:50 AM
In two weeks (April 1st), the 5th edition of the Artificial Intelligence in Software Testing (#AIST) workshop will be held, an event colocated with the ICST conference. In this thread, we'll tell you about the program Aitor Arrieta and I are preparing:
conf.researchr.org/home/icst-20...
conf.researchr.org/home/icst-20...
Tomorrow Manuel Carrasco will present our work on "Scalable SMT Sampling for Floating-point Formulas via Coverage-guided Fuzzing" at ICST, joint with @ccadar.bsky.social - check out the paper, which builds on our prior work on JFS (Just Fuzz It Solver)! www.doc.ic.ac.uk/~afd/papers/...
April 1, 2025 at 1:11 PM
Tomorrow Manuel Carrasco will present our work on "Scalable SMT Sampling for Floating-point Formulas via Coverage-guided Fuzzing" at ICST, joint with @ccadar.bsky.social - check out the paper, which builds on our prior work on JFS (Just Fuzz It Solver)! www.doc.ic.ac.uk/~afd/papers/...
Excited that our paper on compiler fuzzing in continuous integration will appear at the ICST industry track. Lead author Bua presented on this work at Dafny workshop at #POPL. Joint with Stefan Zetzsche at AWS, supported by Amazon Research Award. Check it out doc.ic.ac.uk/~afd/papers/...
January 20, 2025 at 1:34 PM
Excited that our paper on compiler fuzzing in continuous integration will appear at the ICST industry track. Lead author Bua presented on this work at Dafny workshop at #POPL. Joint with Stefan Zetzsche at AWS, supported by Amazon Research Award. Check it out doc.ic.ac.uk/~afd/papers/...
August 8, 2025 at 9:44 PM
"Já em agosto, os índices de atividade e de emprego ficaram em patamares muito acima do usual, afirma a Confederação Nacional da Indústria. Acesse: ptnosenado.org.br/confianca-da...
September 20, 2024 at 3:37 PM
"Já em agosto, os índices de atividade e de emprego ficaram em patamares muito acima do usual, afirma a Confederação Nacional da Indústria. Acesse: ptnosenado.org.br/confianca-da...
Video: Michael Remis & Connor Hrabchak recapped the Winnipeg Jets 5-3 win in Game 1 vs. the St. Louis Blues.
youtu.be/IcST-Nt1gWU
youtu.be/IcST-Nt1gWU
Reaction: Winnipeg Jets win Game 1 vs. St. Louis Blues 5-3
YouTube video by Winnipeg Sports Talk
youtu.be
April 20, 2025 at 4:15 AM
Video: Michael Remis & Connor Hrabchak recapped the Winnipeg Jets 5-3 win in Game 1 vs. the St. Louis Blues.
youtu.be/IcST-Nt1gWU
youtu.be/IcST-Nt1gWU
📣 #ICST2026: Call for Workshop Proposals!
Organize a workshop at #ICST2026. Academic & Industry topics welcome!
📅 Proposal Deadline: Jan 16, 2026 🎓 Workshop Chairs: Shin Yoo & Gunel Jahangirova 🔗 More information: conf.researchr.org/track/icst-2...
#SoftwareTesting #Workshops #IEEE
Organize a workshop at #ICST2026. Academic & Industry topics welcome!
📅 Proposal Deadline: Jan 16, 2026 🎓 Workshop Chairs: Shin Yoo & Gunel Jahangirova 🔗 More information: conf.researchr.org/track/icst-2...
#SoftwareTesting #Workshops #IEEE
ICST 2026 - Workshops - ICST 2026
Call for Papers for the Research Papers Track is Now Open!
We are pleased to announce that the Call for Papers for ICST 2026 is now open!
We welcome original and high-quality submissions on a wide ra...
conf.researchr.org
November 30, 2025 at 1:03 PM
📣 #ICST2026: Call for Workshop Proposals!
Organize a workshop at #ICST2026. Academic & Industry topics welcome!
📅 Proposal Deadline: Jan 16, 2026 🎓 Workshop Chairs: Shin Yoo & Gunel Jahangirova 🔗 More information: conf.researchr.org/track/icst-2...
#SoftwareTesting #Workshops #IEEE
Organize a workshop at #ICST2026. Academic & Industry topics welcome!
📅 Proposal Deadline: Jan 16, 2026 🎓 Workshop Chairs: Shin Yoo & Gunel Jahangirova 🔗 More information: conf.researchr.org/track/icst-2...
#SoftwareTesting #Workshops #IEEE
Our SRG member Manuel Carrasco has presented our paper on "Scalable SMT Sampling for Floating-point Formulas via Coverage-guided Fuzzing" at ICST 2025. @ccadar.bsky.social @afd-icl.bsky.social
Check our paper and experiments at srg.doc.ic.ac.uk/projects/jfs/
Check our paper and experiments at srg.doc.ic.ac.uk/projects/jfs/
April 2, 2025 at 10:21 AM
Our SRG member Manuel Carrasco has presented our paper on "Scalable SMT Sampling for Floating-point Formulas via Coverage-guided Fuzzing" at ICST 2025. @ccadar.bsky.social @afd-icl.bsky.social
Check our paper and experiments at srg.doc.ic.ac.uk/projects/jfs/
Check our paper and experiments at srg.doc.ic.ac.uk/projects/jfs/
📣 ICST 2026: Call for Industry Papers! 🛠️
The 19th ICST 2026 is now inviting submissions for Industry Track.
📅 DDL: Full Paper Submission: February 5, 2026 Author Notification: March 13, 2026
🔗 Learn More: conf.researchr.org/track/icst-2...
The 19th ICST 2026 is now inviting submissions for Industry Track.
📅 DDL: Full Paper Submission: February 5, 2026 Author Notification: March 13, 2026
🔗 Learn More: conf.researchr.org/track/icst-2...
ICST 2026 - Industry - ICST 2026
The Industry Track at ICST 2026 aligns seamlessly with the conference’s overarching themes of innovation, quality, and practicality in Software Testing, Verification, and Validation, emphasizing real-...
conf.researchr.org
November 20, 2025 at 2:05 AM
📣 ICST 2026: Call for Industry Papers! 🛠️
The 19th ICST 2026 is now inviting submissions for Industry Track.
📅 DDL: Full Paper Submission: February 5, 2026 Author Notification: March 13, 2026
🔗 Learn More: conf.researchr.org/track/icst-2...
The 19th ICST 2026 is now inviting submissions for Industry Track.
📅 DDL: Full Paper Submission: February 5, 2026 Author Notification: March 13, 2026
🔗 Learn More: conf.researchr.org/track/icst-2...
Specification-based fuzzers are super-effective - but writing their formal specs needs lots of manual effort. Wednesday at 14:20, we show how to turn natural-language protocol specs (such as RFCs) into formal #Fandango specs automatically! Details and paper:
conf.researchr.org/details/icst...
conf.researchr.org/details/icst...
May 19, 2026 at 12:57 AM
Specification-based fuzzers are super-effective - but writing their formal specs needs lots of manual effort. Wednesday at 14:20, we show how to turn natural-language protocol specs (such as RFCs) into formal #Fandango specs automatically! Details and paper:
conf.researchr.org/details/icst...
conf.researchr.org/details/icst...
How are mature C/C++ software projects tested by developers? Paper by Thomas Bailey and Cristian Cadar @ccadar.bsky.social presented at ICST 2025.
srg.doc.ic.ac.uk/publications...
srg.doc.ic.ac.uk/publications...
April 4, 2025 at 2:10 PM
How are mature C/C++ software projects tested by developers? Paper by Thomas Bailey and Cristian Cadar @ccadar.bsky.social presented at ICST 2025.
srg.doc.ic.ac.uk/publications...
srg.doc.ic.ac.uk/publications...
Here's the plenary address I delivered at the Institute for Critical Social Theory conference in Bristol, UK, last week. It's entitled, "What does it mean to be Critical in an Age of Social Disintegration?" #philosophy #criticaltheory #sociology #theology #Politics www.youtube.com/watch?v=t1lv...
"What does it mean to be Critical in an Age of Social Disintegration" - ICST Plenary Address
YouTube video by Dustin J. Byrd, Ph.D.
www.youtube.com
July 26, 2025 at 9:40 PM
Here's the plenary address I delivered at the Institute for Critical Social Theory conference in Bristol, UK, last week. It's entitled, "What does it mean to be Critical in an Age of Social Disintegration?" #philosophy #criticaltheory #sociology #theology #Politics www.youtube.com/watch?v=t1lv...
We look forward to your valuable contributions and to welcoming you to ICST 2026. Together, let's push the boundaries of software testing!
hashtag#ICST2026 hashtag#CallForResearchPapers hashtag#SoftwareTesting hashtag#Innovation hashtag#Research
hashtag#ICST2026 hashtag#CallForResearchPapers hashtag#SoftwareTesting hashtag#Innovation hashtag#Research
October 18, 2025 at 9:50 AM
We look forward to your valuable contributions and to welcoming you to ICST 2026. Together, let's push the boundaries of software testing!
hashtag#ICST2026 hashtag#CallForResearchPapers hashtag#SoftwareTesting hashtag#Innovation hashtag#Research
hashtag#ICST2026 hashtag#CallForResearchPapers hashtag#SoftwareTesting hashtag#Innovation hashtag#Research
🎓 Meet Our Program Committee Chairs:
We are honored to have Neil Walkinshaw and Xiaoyuan Xie, leaders in the field of software testing and validation, serving as our PC Chairs for ICST 2026. They bring a wealth of experience and expertise, ensuring a rigorous and enriching review process.
We are honored to have Neil Walkinshaw and Xiaoyuan Xie, leaders in the field of software testing and validation, serving as our PC Chairs for ICST 2026. They bring a wealth of experience and expertise, ensuring a rigorous and enriching review process.
October 18, 2025 at 9:50 AM
🎓 Meet Our Program Committee Chairs:
We are honored to have Neil Walkinshaw and Xiaoyuan Xie, leaders in the field of software testing and validation, serving as our PC Chairs for ICST 2026. They bring a wealth of experience and expertise, ensuring a rigorous and enriching review process.
We are honored to have Neil Walkinshaw and Xiaoyuan Xie, leaders in the field of software testing and validation, serving as our PC Chairs for ICST 2026. They bring a wealth of experience and expertise, ensuring a rigorous and enriching review process.