Cryptographic verification of test coverage claims

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1301, Issue , 1997, Pages 395-413

  Devanbu, Prem ^a   Stubblebine, Stuart G ^a  

^a AT AND T LABS RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMMERCE; CRYPTOGRAPHY; TESTING;

COMPONENT VENDORS; CONTROL PROCEDURES; COVERAGE CRITERIA; CRYPTOGRAPHIC TECHNIQUES; DISTRIBUTED OBJECTS; FUNCTIONAL PRODUCTS; SOFTWARE COMPONENT; WHITE-BOX TESTING;

SOFTWARE TESTING;

EID: 84949476357     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63531-9_27     Document Type: Conference Paper

References (27)

1. Delta Software Testing (accredited by Danish Accreditation Authority-DANAK). http://www.delta.dk/se/ats.htm.
2. T. Ball and J. Larus. Efficient path profiling. In Micro '96. IEEE Press, December 1996.
3. C. Cifuentes. Partial automation of an integrated reverse engineering environment for binary code. In Third Working Conference on Reverse Engineering, 1996.
4. C. Cifuentes and J. Gough. Decompilation of binary programs. Software Practice and Experience, July 1995.
5. P. Devanbu. Genoa-a language and front-end independent source code analyzer generator. In Proceedings of the Fourteenth International Conference on Software Engineering, 1992.
6. P. Devanbu and S. G. Stubblebine. Cryptographic verification of test coverage claims. Available from the authors, May 97.
7. P. Devanbu and S. G. Stubblebine. Software engineering with trusted hardware. Unpublished Manuscript, available from the authors, June 97.
8. D. M. Chapin et al. Digital Instrumentation and Control System in Nuclear Power Plants. National Academy Press, 1997.
9. P.G. Frankl, R. Hamlet, B. Littlewood, and L. Strigini. Choosing a testing method to deliver reliability. In Proceedings of the 19th International Conference on Software Engineering (To Appear). IEEE Computer Society, 1997.
10. P.G. Frankl and S. N. Weiss. An experimental comparison of the effectiveness of branch testing and data flow testing. IEEE Transactions on Software Engineering, August 1993.
11. P.G. Frankl and E. J. Weyuker. An applicable family of data flow testing criteria. IEEE Transactions on Software Engineering, August 1988.
12. P.G. Frankl and E. J. Weyuker. A formal analysis of the fault-detecting ability of testing methods. IEEE Transactions on Software Engineering, March 1993.
13. A. Freier, P. Karlton, and P. Kocher. The ssl protocol, version 3.0 (internet draft), March 1996.
14. John Gannon. Personal conversation, April 1997.
15. M. Hutchins, H. Foster, T. Goradia, and T. Ostrand. Experiments on the effectiveness of dataflow- and controlflow-based test adequacy criteria. In Proceedings of the 16th International Conference on Software Engineering. IEEE Computer Society, May 1994.
16. Plum Hall Inc. http:/www.plumhall.com.
17. M. J. Kearns and U. V. Vazirani. An Introduction to Computational Learning Theory. MIT Press, 1994.
18. National Software Testing Labs, http://www.nstl.com.
19. Software Testing Labs. http://wHH.stlabs.com.
20. J. Larus and E. Schnarr. Eel: Machine-independent executable editing. In ACM SIGPLAN PLDI. ACM Press, 1995.
21. Y. Malaiya, N. Li, J. Bieman, R. Karcich, and B. Skibbe. Software test coverage and reliability. Technical report, Colorado State University, 1996.
22. Doug Mcllroy. Personal e-mail communication, 1996.
23. Alfred J. Menezes, Paul C. van Oorschot, and Scott A. Vanstone. Handbook of Applied Cryptography. CRC Press, 1996.
24. N. Ramsey and M. Fernandez. Specifying representations of machine instructions. ACM Transactions on Programming Languages and Systems, 1997.
25. A. Srivastava and A. Eustace. Atom: A tool for building customized program analysis tools. Technical Report 1994/2, DEC Western Research Labs, 1994.
26. Applied Testing and Technology Inc. http://HHH.aptest.com.
27. E. J. Weyuker. On testing non-testable programs. The Computer Journal, 25(4):465-470. 1982.