A path generation method for testing LCSAJs that restrains infeasible paths

Nicos Malevris. A path generation method for testing LCSAJs that restrains infeasible paths. Information \& Software Technology, 37(8):435-441, 1995. [doi]

Abstract

Abstract is missing.