Skip to main content
SpringerLink
Log in

Program Verification and Testing

  • Chapter
Software Engineering and Environment

Part of the book series: Software Science and Engineering ((SSEN))

  • 94 Accesses

Abstract

Once a program is written, its correctness with respect to the specification has to be verified or validated. The theory of program verification stems from the desire to prove formally that a program is correct, based on written code and requirements specification. In general two approaches are proposed for formal program verification—one based on theorem proving and one based on symbolic execution.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Schach, S. R. Software engineering (Aksen, IRWIN, Homewood, IL, 1991).

    Google Scholar 

  2. Dannenberg, R. B., and Ernst, G. W. IEEE Transactions on Software Engineering SE-8:1, 43–52 (Jan. 1982).

    Article  MathSciNet  Google Scholar 

  3. Boyle, R., and Moore, J. Journal of Automated Reasoning 1:1, 17–22 (1985).

    Google Scholar 

  4. Proceedings of VERshop III, A Formal Verification Workshop, 18–21 Feb. 1985. ACM Software Engineering Notes Special Issue 10:4 (Aug. 1985).

    Google Scholar 

    Google Scholar 

  5. Wallce, D. R., and Fuji, R. U. IEEE Software 6:3, 10–17 (May 1989).

    Article  Google Scholar 

  6. Sunshine, C., Thompson, D., Erickson, R., Gerhart, S., and Schwabe, D. IEEE Transactions on Software Engineering 8:5, 460–489 (Sept. 1982).

    Article  Google Scholar 

  7. Good, D. I. Philos. Trans. Royal Society of London 312, 389–409 (1984).

    MathSciNet  MATH  Google Scholar 

  8. Gerhart, S., et al. In Information processing ( Lavington, ed.) (North Holland, 1980).

    Google Scholar 

  9. Tai, K. C. ACM Software Engineering Notes 14:2, 58–61 (Apr. 1989).

    Article  Google Scholar 

  10. McCabe, T. IEEE Transactions on Software Engineering SE-2:4, 308–320 (Dec. 1976).

    Article  MathSciNet  Google Scholar 

  11. Howden, W. E. IEEE Transactions on Computer 24:5, 554–559 (May 1975).

    Article  MATH  Google Scholar 

  12. Howden, W. E. Symbolic testing—design techniques, costs, and effectiveness. NTIS PB-268518, May 1977.

    Google Scholar 

  13. Woodward, M. R., Hedley, D., and Hennell, M. A. IEEE Transactions on Software Engineering SE-6:5, 278–286 (May 1980).

    Article  Google Scholar 

  14. Ntafos, S. C. IEEE Transactions on Software Engineering SE-10:6, 795–803 (Nov. 1984).

    Article  Google Scholar 

  15. Rapps, S., and Weyuker, E. J. IEEE Transactions on Software Engineering SE-11:4, 367–375 (Apr. 1985).

    Article  Google Scholar 

  16. Frankl, P. G., and Weyuker, E. J. IEEE Transactions on Software Engineering SE-14:10, 1483–1498 (Oct. 1988).

    Article  MathSciNet  Google Scholar 

  17. Ntafos, S. C. IEEE Transactions on Software Engineering SE-14:6, 868–874 (June 1988).

    Article  Google Scholar 

  18. Basili, V. R., and Selby, R. W. IEEE Transactions on Software Engineering SE-13:12, 1278–1296 (Dec. 1988).

    Article  Google Scholar 

  19. Beizer, B. Software testing techniques (Van Nostrand Reinhold, New York 1990).

    Google Scholar 

  20. Gelperin, D., and Hetzel, B. Communication of ACM, 31:6, 687–695 (June 1988).

    Article  Google Scholar 

  21. White, L. J., and Cohen, E. I. IEEE Transactions on Software Engineering SE-6:5, 247–257 (May 1980).

    Article  Google Scholar 

  22. DeMillo, R. A. Software testing and evaluation (Benjamin/Cummings, Menlo Park, CA, 1987).

    Google Scholar 

  23. DeMillo, R., and Offut, A. J. IEEE Transactions on Software Engineering SE-17:9, 900–910 (Sept. 1991).

    Article  Google Scholar 

  24. Fairley, R. E. Software engineering concepts (McGraw-Hill, New York, 1985).

    Google Scholar 

  25. Korel, B. IEEE Transactions on Software Engineering SE-16:8, 870–879 (Aug. 1990).

    Article  Google Scholar 

  26. Korel, B., Information Processing Letters 24, 102–107 (Jan. 1987).

    Article  Google Scholar 

  27. Lutz, M. IEEE Software, 7:5, 53–57 (May 1990).

    Article  Google Scholar 

  28. McDowell, C. E., and Helmbold, D. P. ACM Computing Surveys 21:4 593–618 (Dec. 1989).

    Article  Google Scholar 

  29. Carver, R. H., and Tai, K. C. IEEE Software 8:2, 66–74 (Mar. 1991).

    Article  Google Scholar 

  30. Katz, S., and Peled, D. Distributed Computing 6:2, 107–120 (1992).

    Article  MathSciNet  MATH  Google Scholar 

  31. Tai, K. C., Carver, R. H., and Obaid, E. E. IEEE Transactions on Software Engineering TSE-17:1, 45–62 (Jan. 1991).

    Article  Google Scholar 

  32. Taylor, R. N., Levine, D. L., and Kelly, C. D. IEEE Transactions on Software Engineering TSE-18:3, 206–215 (Mar. 1992).

    Article  Google Scholar 

  33. Cheung, W. H., Black, J. P., and Manning, E. IEEE Software, 7:1, 106–115 (Jan. 1990).

    Article  Google Scholar 

  34. Wing, J. M., and Gong, C. Journal of Parallel and Distributed Computing 17:1, 164–182 (1993).

    Article  MathSciNet  MATH  Google Scholar 

  35. Oman, P. W. IEEE Software 7:63, 37–43 (May 1990).

    Article  Google Scholar 

  36. Lind, R. K., and Vairavan, K. IEEE Transactions on Software Engineering SE-16:3, 373–388 (Apr. 1990).

    Google Scholar 

  37. Cote, V., Bourque, P., Oligny, S., and Rivard, N. Journal of Systems and Software 8:2, 121–131 (Mar. 1988).

    Article  Google Scholar 

  38. Robillard, P. N., Coupai, D., and Coallier, F. Software—Practice and Experience 21:5, 507 (May 1991).

    Article  Google Scholar 

  39. Waguespack, L. J., and Badlani, S. ACM Software Engineering Notes 12:4, 52–71 (Oct. 1987).

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of California, Irvine, Irvine, California, USA

    Phillip C.-Y. Sheu

Authors
  1. Phillip C.-Y. Sheu
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer Science+Business Media New York

About this chapter

Cite this chapter

Sheu, P.CY. (1997). Program Verification and Testing. In: Software Engineering and Environment. Software Science and Engineering. Springer, Boston, MA. https://doi.org/10.1007/978-1-4615-5907-8_9

Download citation

  • DOI: https://doi.org/10.1007/978-1-4615-5907-8_9

  • Publisher Name: Springer, Boston, MA

  • Print ISBN: 978-1-4613-7710-8

  • Online ISBN: 978-1-4615-5907-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation