References

  1. Blackburn, M.R., R.D. Busser, "TVEC: A Tool for Developing Critical System," Proceeding of the Eleventh International Conference on Computer Assurance, Gaithersburg, Maryland, pages 237249, June, 1996.

  2. Blackburn, M.R., R.D. Busser, J.S. Fontaine, "Automatic Generation of Test Vectors for SCRStyle Specifications," Proceeding of the 12th Annual Conference on Computer Assurance, Gaithersburg, Maryland, pages 5467, June, 1997.

  3. Beizer, B., Software Testing Techniques, New York, New York: Van Nostrand Reinhold, 1983.

  4. Blackburn, M.R., J.S. Fontaine, "Specification Transformation to Support Automated Testing," TR SPC97036MC, Version 02.00.01, Software Productivity Consortium, March 1998.

  5. Blackburn, M.R., "Specification Transformation and Semantic Expansion to Support Automated Testing," Ph.D. Dissertation, George Mason University, 1998.

  6. Cooke, D., A. Gates, E. Demirors, O. Demirors, M. Tankik, B. Kramer, "Languages for the Specification of Software," Journal of Systems Software, 32:269308, 1996.

  7. Cohen, B., W. T. Harwood, M.I. Jackson, The Specification of Complex System, AddisonWesley, Great Britain, 1988.

  8. Goodenough, J. B., S. L. Gerhart, "Toward a Theory of Test Data Selection," IEEE Transactions on Software Engineering, 1(2):156173, 1975.

  9. Gill, D. H., "Formal Methods for Software Evolution, Solicitation," Defense Advanced Research Projects Agency, BAA 981O, November 1997

  10. Gourlay, J.S., "Introduction to the Formal Treatment of Testing, Software Validation," Proceeding of the Symposium on Software Validation, 1983.

  11. Ghiassi, M., K.I.S. Woldman, "Dual Programming Approach to Software Testing," Software Quality Journal, 3:45 58, 1994.

  12. Heninger, K., "Specifying Software Requirements for Complex Systems: New Techniques and Their Application," IEEE Transactions on Software Engineering, 6(1):213, 1980.

  13. Hierons, R. M., "Testing from a Z Specification," Journal of Software Testing, Verification and Reliability, 7:1933, 1997.

  14. Heitmeyer, C., R. Jeffords, B. Labaw, "Automated Consistency Checking of Requirements Specifications," ACM TOSEM, 5(3):231261, 1996.

  15. Howden, W.E., "Reliability of the Path Analysis Testing Strategy," IEEE Transactions on Software Engineering, 2(9):208215, 1976.

  16. Miller, S., "Specifying the Mode Logic of a Flight Guidance System in CoRE and SCR," Accepted to the Second Workshop on Formal Methods in Software Practice (FMSP'98), Clearwater Beach, Florida, March, 1998.

  17. Selic, B., G. Gullekson, P.T. Ward, Real Time ObjectOriented Modeling. New York, New York: John Wiley & Sons, 1994.

  18. Software Productivity Consortium, Consortium Requirements Engineering Guidebook, SPC92060CMC, version 01.00.09. Herndon, Virginia, 1993.

  19. White, L.J., E.I. Cohen, "A Domain Strategy for Computer Program Testing," IEEE Transactions on Software Engineering, 6(3):247257 May, 1980.

  20. Zeil, S.J., "Perturbation Techniques for Detecting Domain Errors," IEEE Transactions on Software Engineering, 15(6):737746, 1989.

  21. Zave, P., M. Jackson, "Four Dark Corners of Requirements Engineering," ACM Transactions on Software Engineering and Methodology, 6(1): 130, 1997.