Sarunas Packevicius, Andrej Usaniov, Eduardas Bareisa. Software testing using imprecise OCL constraints as oracles. In Boris Rachev, Angel Smrikarov, Dimo Dimov, editors, Proceedings of the 2007 International Conference on Computer Systems and Technologies, CompSysTech 2007, Rousse, Bulgaria, June 14-15, 2007. Volume 285 of ACM International Conference Proceeding Series, pages 121, ACM, 2007. [doi]
@inproceedings{PackeviciusUB07,
title = {Software testing using imprecise OCL constraints as oracles},
author = {Sarunas Packevicius and Andrej Usaniov and Eduardas Bareisa},
year = {2007},
doi = {10.1145/1330598.1330726},
url = {http://doi.acm.org/10.1145/1330598.1330726},
tags = {OCL, testing, constraints},
researchr = {https://researchr.org/publication/PackeviciusUB07},
cites = {0},
citedby = {0},
pages = {121},
booktitle = {Proceedings of the 2007 International Conference on Computer Systems and Technologies, CompSysTech 2007, Rousse, Bulgaria, June 14-15, 2007},
editor = {Boris Rachev and Angel Smrikarov and Dimo Dimov},
volume = {285},
series = {ACM International Conference Proceeding Series},
publisher = {ACM},
isbn = {978-954-9641-50-9},
}