Multithreaded Java program test generation
Orit Edelstein, Eitan Farchi, et al.
JGI 2001
One of the main goals of coverage tools is to provide the user with informative presentation of coverage information. Specifically, information on large, cohesive sets of uncovered tasks with common properties is very useful. This paper describes methods for discovering and reporting large uncovered spaces (holes) for cross-product functional coverage models. Hole analysis is a presentation method for coverage data that is both succinct and informative. Using case studies, we show how hole analysis was used to detect large uncovered spaces and improve the quality of verification.
Orit Edelstein, Eitan Farchi, et al.
JGI 2001
Marina Biberstein, Eitan Farchi, et al.
IPDPS 2003
Shady Copty, Shmuel Ur
Euro-Par 2005
Bohuslav Krena, Zdenek Letko, et al.
ISSTA 2007