IBM®
Skip to main content
    Israel [change]    Terms of use
 
 
 
    Home    Products    Services & solutions    Support & downloads    My account    
IBM Research

Cross-product Functional Coverage

Verification Solutions


References

  1. Y. Abarbanel-Vinov, and S. Ur. Processor Bug Classification and Modeling, IBM Haifa Research Lab internal document, 1996.

  2. J. Baumgartner and R. Raghavan. Method to compute test coverage in complex computer system simulation. IBM Technical Disclosure Bulletin, 40(3):1-4, March 1997.

  3. B. Beizer. Software Testing Techniques. Van Nostrand Reinhold, 1990.

  4. F. P. Brooks. The Mythical Man-Month: Essays on Software Engineering, Addison-Wesley, 1995.

  5. E. Buchnik and S. Ur. Compacting regression-suites on-the-fly. In Proceedings of the 4th Asia Pacific Software Engineering Conference, pages 385-94, December 1997.

  6. S. Cornett. Software Test Coverage Analysis, http://www.bullseye.com/webCoverage.html

  7. R. Grinwald, E. Harel, M. Orgad, S. Ur, and A. Ziv. User defined coverage - a tool supported methodology for design verification, to appear in Proceedings of the 35th Design Automation Conference, June 1998.

  8. W.E. Howden. Weak mutation testing and completeness of test sets, IEEE Transactions on Software Engineering, 8(4):371-379, July 1982.

  9. J.R. Horgan, S. London and M.R. Lyu. Achieving software quality with testing coverage measures, Computer, 27(9):60-69, September 1994.

  10. B. Marick. The Craft of Software Testing, Subsystem Testing Including Object-Based and Object-Oriented Testing. Prentice-Hall, 1995.

  11. C. Kaner. Software negligence and testing coverage, In proceedings of STAR 96: the Fifth International Conference, Software Testing, Analysis and Review, pages 299-327, June 1996.

  12. R. Stewart. Unit test coverage as leading indicator of rework, EuroSTAR 97, November 1997.

  13. C-Cover - Test Coverage Analyzer for C/C++, http://www.bullseye.com/webCcover.html

  14. DeepCover for Java, http://www.rstcorp.com/DCJava.html

  15. Software test and evaluation guidelines, Department of the Army, Pamphlet 73-7

  16. B. Marick, How to Misuse Code Coverage, STAR '95 and Testing Computer Software '99, http://www.rstcorp.com/marick/








































 
Generic Examples
 

    About IBMPrivacyContact