Skip to main content
Research
Focus areas
Blog
Publications
Careers
About
Back
Focus areas
Semiconductors
Artificial Intelligence
Quantum Computing
Hybrid Cloud
Back
About
Overview
Labs
People
Collaborate
Back
Semiconductors
Back
Artificial Intelligence
Back
Quantum Computing
Back
Hybrid Cloud
Back
Overview
Back
Labs
Back
People
Back
Collaborate
Research
Focus areas
Semiconductors
Artificial Intelligence
Quantum Computing
Hybrid Cloud
Blog
Publications
Careers
About
Overview
Labs
People
Collaborate
Open IBM search field
Close
Publications
Home
↳
Publications
Filter by
Filter by
Open menu
Sort by
Sort by
Featured
Newest
Sort by
Featured
Open menu
Date
Start
End
Featured collections
NeurIPS 2024
AGU 2024
IEDM 2024
MRS Fall Meeting 2024
EMNLP 2024
CCS 2024
Popular topics
AI Hardware
Foundation Models
Machine Learning
Materials Discovery
Quantum Safe
Quantum Software
Quantum Systems
Semiconductors
3 results at
ISSTA 2002
Isolating failure-inducing thread schedules
Jong-Deok Choi
Andreas Zeller
2002
ISSTA 2002
Is ISSTA research relevant to industry?
A. Hartman
2002
ISSTA 2002
Projected state machine coverage for software testing
G. Friedman
A. Hartman
et al.
2002
ISSTA 2002