A survey of new trends in symbolic execution for software testing and analysis
Distribution of the number of citations over years.