Zebin Chen, Stephen Fickas
Model Checking Framework-based Applications with AspectJ Assistance
SEKE, 2011.
@inproceedings{SEKE-2011-ChenF,
author = "Zebin Chen and Stephen Fickas",
booktitle = "{Proceedings of the 23rd International Conference on Software Engineering and Knowledge Engineering}",
isbn = "1-891706-29-2",
pages = "296--301",
publisher = "{Knowledge Systems Institute Graduate School}",
title = "{Model Checking Framework-based Applications with AspectJ Assistance}",
year = 2011,
}