Probabilistic Abstract Interpretation and Statistical Testing

Extended Abstract
  • Alessandra Di Pierro
  • Herbert Wiklicky
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2399)


Although generally too weak to guarantee correctness, software testing is an indispensable technique for the validation of software systems. It can be used for example to assess how good software is, to find faults and thus improve the software, or for measuring the quality and reliability of reactive systems.


Constraint Program Software Testing Abstract Interpretation Test Selection Abstract System 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    P. Cousot and R. Cousot. Abstract Interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Proceedings of POPL’ 77, pages 238–252, Los Angeles, 1977.Google Scholar
  2. 2.
    F. Deutsch. Bet Approximation in Inner Product Spaces, volume 7 of CMS Books in Mathematics. Springer Verlag, New York — Berlin, 2001.Google Scholar
  3. 3.
    A. Di Pierro and H. Wiklicky. Concurrent Constraint Programming: Towards Probabilistic Abstract Interpretation. In M. Gabbrielli and F. Pfenning, editors, Proceedings of PPDP 2000, pages 127–138, Monteéal, Canada, 2000.Google Scholar
  4. 4.
    A. Di Pierro and H. Wiklicky. Measuring the precision of abstract interpretations. In Proceedings of LOPSTR 2000, volume 2042 of Lecture Notes in Computer Science, pages 147–164, Berlin-New York, 2001. Springer Verlag.Google Scholar
  5. 5.
    D. Monniaux. An abstract Monte-Carlo method for the analysis of probabilistic programs. In Proceedings of POPL 2001, pages 93–101, London, 2001.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Alessandra Di Pierro
    • 1
  • Herbert Wiklicky
    • 2
  1. 1.Dipartimento di InformaticaUniversitá di PisaItaly
  2. 2.Department of ComputingImperial CollegeLondonUK

Personalised recommendations