Mutation testing in UTP
- 作者Bernhard K. Aichernig; He Jifeng
- 卷第21卷
- 印刷ISSN0934-5043
- 电子ISSN1433-299X
- 文件大小561.49KB
- 发表时间2009-02
- DOI10.1007/s00165-008-0083-6
- 页码33-64
同作者推荐
Thread algebra for poly-threadingJ. A. Bergstra; C. A. Middelburg · 2011
Machine structure oriented control code logicJ. A. Bergstra; C. A. Middelburg · 2009
Instruction sequence processing operatorsJ. A. Bergstra; C. A. Middelburg · 2012
Synchronous cooperation for explicit multi-threadingJ. A. Bergstra; C. A. Middelburg · 2007
A Process Calculus with Finitary Comprehended TermsJ. A. Bergstra, C. A. Middelburg · 2013
Algebra of timed framesBergstra, J. A.; Fokkink, W. J.; Middelburg, C. A. · International Journal of Computer Mathematics · 1996
Process Algebra with Strategic InterleavingBergstra, J. A.; Middelburg, C. A. · Theory of Computing Systems · 2018