https://www.aspectbench.org/"/> https://www.aspectbench.org/"/>
@techreport{TREfficient, Author = {Pavel Avgustinov and Julian Tibble and Eric Bodden and Ond\v{r}ej Lhot{\'{a}}k and Laurie Hendren and Oege de Moor and Neil Ongkingco and Ganesh Sittampalam}, Institution = {\url{https://www.aspectbench.org/}}, Month = {03}, Number = {abc-2006-1}, Title = {Efficient Trace Monitoring}, Url = {https://www.bodden.de/pubs/abc-2006-1.pdf}, Year = {2006}, Bdsk-Url-1 = {https://www.bodden.de/pubs/abc-2006-1.pdf}}