Aspects for Trace Monitoring

Avgustinov, Pavel; Bodden, Eric; Hajiyev, Elnar; Hendren, Laurie; Lhoták, Ondrej; Moor, Oege de; Ongkingco, Neil; Sereni, Damien; Sittampalam, Ganesh; Tibble, Julian; Verbaere, Mathieu

Aspects for Trace Monitoring (bibtex)

@inproceedings{FATESRVAspects,
	Author = {Pavel Avgustinov and Eric Bodden and Elnar Hajiyev and Laurie Hendren and Ond{\v{r}}ej Lhot{\'{a}}k and Oege de Moor and Neil Ongkingco and Damien Sereni and Ganesh Sittampalam and Julian Tibble and Mathieu Verbaere},
	Booktitle = {Formal Approaches to Testing Systems and Runtime Verification { (FATES/RV)}},
	Editor = {Klaus Havelund and Manuel Nunez and Grigore Rosu and Burkhart Wolff},
	Pages = {20--39},
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Title = {Aspects for Trace Monitoring},
	Url = {https://www.bodden.de/pubs/abh+06aspects-for.pdf},
	Volume = {4262},
	Year = {2006},
	Bdsk-Url-1 = {https://www.bodden.de/pubs/abh+06aspects-for.pdf}}