Publication: IEICE TRANSACTIONS on Information and Systems
Publication Date: 2009/05/01
Vol. E92-D
No. 5
pp. 1012-1021
Type of Manuscript: Special Section PAPER (Special Section on Formal Approach)
Category: Software Testing
Keyword:
formal specification,
proof score,
software testing,
OTS,
CafeOBJ,
|
