Efficient Testing of Different Loop Paths.
| Autor: | Huster, Stefan, Burg, Sebastian, Eichelberger, Hanno, Laufenberg, Jo, Ruf, Jürgen, Kropf, Thomas, Rosenstiel, Wolfgang |
|---|---|
| Zdroj: | Software Engineering & Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings; 2015, p117-131, 15p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|