"Generating Feasible Transition Paths for Testing from an Extended Finite ..."

Abdul Salam Kalaji, Robert M. Hierons, Stephen Swift (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics