论文信息 - Probabilistic Abstract Interpretation and Statistical Testing

Probabilistic Abstract Interpretation and Statistical Testing

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.

Herbert Wiklicky | Alessandra Di Pierro

[1] David Monniaux. An abstract Monte-Carlo method for the analysis of probabilistic programs , 2001, POPL '01.

[2] Patrick Cousot,et al. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints , 1977, POPL.

[3] Herbert Wiklicky,et al. Measuring the Precision of Abstract Interpretations , 2000, LOPSTR.

[4] Herbert Wiklicky,et al. Concurrent constraint programming: towards probabilistic abstract interpretation , 2000, PPDP '00.