Efficient Testing of Different Loop Paths.

Stefan Huster, Sebastian Burg, Hanno Eichelberger, Jo Laufenberg, Jrgen Ruf, Thomas Kropf, Wolfgang Rosenstiel

Browse the full SEFM paper archive.