Efficiently Counting Program Events with Support for On-Line Queries (1994)

by Thomas Ball
Venue:ACM Transactions on Programming Languages and Systems