Publications

of He Jifeng

Articles in journal, book chapters

  1. Bernhard K. Aichernig and He Jifeng. Mutation testing in UTP. Formal Aspects of Computing, 21(1--2):33-64, February 2008. [doi:10.1007/s00165-008-0083-6] Keyword(s): testing.

BACK TO INDEX