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]
Abstract is missing.