Semi-Proving: An Integrated Method for Program Proving, Testing, and Debugging
Distribution of the number of citations over years.