Fangzhe Chang, Jennifer Ren. Validating system properties exhibited in execution traces. In R. E. Kurt Stirewalt, Alexander Egyed, Bernd Fischer, editors, 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), November 5-9, 2007, Atlanta, Georgia, USA. pages 517-520, ACM, 2007. [doi]
@inproceedings{ChangR07,
title = {Validating system properties exhibited in execution traces},
author = {Fangzhe Chang and Jennifer Ren},
year = {2007},
doi = {10.1145/1321631.1321723},
url = {http://doi.acm.org/10.1145/1321631.1321723},
researchr = {https://researchr.org/publication/ChangR07},
cites = {0},
citedby = {0},
pages = {517-520},
booktitle = {22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), November 5-9, 2007, Atlanta, Georgia, USA},
editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer},
publisher = {ACM},
isbn = {978-1-59593-882-4 },
}