Publication: IEICE TRANSACTIONS on Information and Systems
Publication Date: 2012/09/01
Vol. E95-D
No. 9 ;
pp. 2211-2218
Type of Manuscript:
Special Section PAPER (Special Section on Software Reliability Engineering)
Category: Keyword: model-based testing, mutation testing, pushdown automata, mutation operator, test coverage criteria, |