![]() | ![]() |
2004 | ||
---|---|---|
1 | EE | Alexander Kossatchev, P. Kutter, Mikhail Posypkin: Automated Generation of Strictly Conforming Tests Based on Formal Specification of Dynamic Semantics of the Programming Language. Programming and Computer Software 30(4): 218-229 (2004) |
1 | Alexander Kossatchev | [1] |
2 | Mikhail Posypkin | [1] |