Sneed, Harry2017-12-062017-12-062012https://dl.gi.de/handle/20.500.12116/8660Harry M. Sneed ANECON GmbH, WienenStatement TableProgram ComprehensionJava CodeTest OracleSeine SampleValidierung der funktionalen Äquivalenz konvertierter JAVA Programme durch einen dynamischen Source-AbgleichText/Journal Article10.1007/BF033234790720-8928