Skip to main content
SpringerLink
Log in
Book cover

Working Conference on Verified Software: Theories, Tools, and Experiments

VSTTE 2008: Verified Software: Theories, Tools, Experiments pp 4–5Cite as

Combining Tests and Proofs

  • Conference paper

  • 491 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 5295))

Abstract

Proof methods (or static analysis) and test methods (or dynamic analysis) have complementary strengths. While static analysis has the potential to obtain high coverage, it typically suffers from imprecision (and imprecision is needed to scale the analysis to large programs). While dynamic analysis has the potential to be very precise, it typically suffers from poor coverage.

This is a preview of subscription content, 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

Learn about institutional subscriptions

References

  1. Necula, G.C., McPeak, S., Weimer, W.: CCured: Type-safe retrofitting of legacy code. In: POPL 2002: Principles of Programming Languages, pp. 128–139. ACM Press, New York (2002)

    Google Scholar 

  2. Gulavani, B.S., Henzinger, T.A., Kannan, Y., Nori, A.V., Rajamani, S.K.: SYNERGY: A new algorithm for property checking. In: Robshaw, M. (ed.) FSE 2006. LNCS, vol. 4047. pp. 117–127. Springer, Heidelberg (2006)

    Google Scholar 

  3. Beckman, N.E., Nori, A.V., Rajamani, S.K., Simmons, R.J.: Proofs from tests. In: ISSTA 2008: International Symposium on Software Testing and Analysis. ACM Press, New York (to appear, 2008)

    Google Scholar 

  4. Gopinathan, M., Rajamani, S.K.: Enforcing Object Protocols by Combining Static and Dynamic Analysis. In: OOPSLA 2008: ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages and Applications. ACM Press, New York (to appear, 2008)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Indian Institute of Science,  

    Madhu Gopinathan

  2. Microsoft Research India,  

    Aditya Nori & Sriram Rajamani

Authors
  1. Madhu Gopinathan
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Aditya Nori
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Sriram Rajamani
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Natarajan Shankar Jim Woodcock

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Gopinathan, M., Nori, A., Rajamani, S. (2008). Combining Tests and Proofs. In: Shankar, N., Woodcock, J. (eds) Verified Software: Theories, Tools, Experiments. VSTTE 2008. Lecture Notes in Computer Science, vol 5295. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-87873-5_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-87873-5_4

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-87872-8

  • Online ISBN: 978-3-540-87873-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation