Lattice-Based Sampling for Path Property Monitoring

Madeline Diep, Matthew B. Dwyer, Sebastian G. Elbaum. Lattice-Based Sampling for Path Property Monitoring. ACM Transactions on Software Engineering Methodology, 21(1):5, 2011. [doi]

Abstract

Abstract is missing.