Temporal property patterns for model-based testing from UML/OCL
2017 ◽
Vol 18
(2)
◽
pp. 865-888
◽
2014 ◽
Vol 141
◽
pp. 29-43
◽
2011 ◽
Vol 34
(6)
◽
pp. 1012-1028
◽
Keyword(s):
2015 ◽
Vol 64
(9)
◽
pp. 2490-2505
◽
Keyword(s):