Finding concurrency-related bugs using random isolation
- Nicholas Kidd
- Thomas Reps
- et al.
- 2011
- International Journal on Software Tools for Technology Transfer
Publications
8 results at International Journal on Software Tools for Technology Transfer
Reducing the size of resolution proofs in linear time
- Omer Bar-Ilan
- Oded Fuhrmann
- et al.
- 2010
- International Journal on Software Tools for Technology Transfer
Evaluating workloads using comparative functional coverage
- Yoram Adler
- Dale Blue
- et al.
- 2010
- International Journal on Software Tools for Technology Transfer
Automatic boosting of cross-product coverage using Bayesian networks
- Dorit Baras
- Shai Fine
- et al.
- 2010
- International Journal on Software Tools for Technology Transfer
Using Bayesian networks and virtual coverage to hit hard-to-reach events
- Shai Fine
- Laurent Fournier
- et al.
- 2009
- International Journal on Software Tools for Technology Transfer
Coverage metrics for formal verification
- Hana Chockler
- Orna Kupferman
- et al.
- 2006
- International Journal on Software Tools for Technology Transfer
Scalable distributed on-the-fly symbolic model checking
- Shoham Ben-David
- Orna Grumberg
- et al.
- 2003
- International Journal on Software Tools for Technology Transfer
Using symbolic CTL model checking to verify the railway stations of Hoorn-Kersenboogerd and Heerhugowaard
- Cindy Eisner
- 2002
- International Journal on Software Tools for Technology Transfer