Stefan Huster, Sebastian Burg, Hanno Eichelberger, Jo Laufenberg, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel. Efficient Testing of Different Loop Paths. In Radu Calinescu, Bernhard Rumpe, editors, Software Engineering and Formal Methods - 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings. Volume 9276 of Lecture Notes in Computer Science, pages 117-131, Springer, 2015. [doi]
Abstract is missing.