A Comparative Study of Invariants Generated by Daikon and User-Defined Design Contracts
Keyword(s):
2001 ◽
Vol 268
(6)
◽
pp. 1739-1748
2001 ◽
Vol 48
(2)
◽
pp. 97-106
◽