A complementary approach to program analysis and testing.

Albert Endres Wolfgang Glatthaar A complementary approach to program analysis and testing. 380-401 1978 conf/eci/1978 ECI db/conf/eci/eci1978.html#EndresG78