10.12.2012 Views

Domain Testing: Divide and Conquer - Testing Education

Domain Testing: Divide and Conquer - Testing Education

Domain Testing: Divide and Conquer - Testing Education

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Hajnal, À., & Forgács, I. (1998). An applicable test data generation algorithm for<br />

domain errors. Paper presented at ISSTA 98, Clearwater Beach, FL.<br />

Hall, P. A. V., & May, J. H. R. (1997, December). Software unit test coverage<br />

<strong>and</strong> adequacy. ACM Computing Surveys, 29(4), 366-427.<br />

Hamlet, D. (1996, September 5). Software component dependability – a<br />

subdomain-based theory. Retrieved November 22, 2003, from<br />

http://citeseer.nj.nec.com/hamlet96software.html<br />

Hamlet, D. (2000). On subdomains: <strong>Testing</strong>, profiles, <strong>and</strong> components. ACM, 71-<br />

76.<br />

Hamlet, D., Manson, D., & Woit, D. (2001). Theory of software reliability based<br />

on components. Retrieved November 22, 2003, from<br />

http://citeseer.nj.nec.com/hamlet01theory.html.<br />

Hamlet, D., & Taylor, R. (1990). Partition testing does not inspire confidence.<br />

IEEE Transactions on Software Engineering, 16(12), 1402-1411.<br />

Hantler, S. L., & King, J. C. (1976, September). An introduction to proving the<br />

correctness of programs. ACM Computing Survey, 331-353.<br />

Harrell, J. M. (2001). Orthogonal array testing strategy (OATS). Retrieved<br />

December 7, 2003, from<br />

http://www.cvc.uab.es/shared/teach/a21291/apunts/provaOO/OATS.pdf.<br />

Hierons, R. M. (2002, October). Comparing test sets <strong>and</strong> criteria in the presence<br />

of test hypotheses <strong>and</strong> fault domains. ACM Transactions on Software<br />

Engineering <strong>and</strong> Methodology, 11(4), 427–448.<br />

Howden, W. E. (1976, September). Reliability of the path analysis testing<br />

strategy. IEEE Transactions on Software Engineering, 2(3), 208-215.<br />

Howden, W. E. (1977, July). Symbolic testing <strong>and</strong> the DISSECT symbolic<br />

evaluation system. IEEE Transactions on Software Engineering, 4(4), 266-<br />

278.<br />

Howden, W. E. (1980a). Functional program testing. IEEE Transactions on<br />

Software Engineering, SE-6(2), 162-169.<br />

123

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!