Partially developed coverability graphs for modeling test case execution histories. - Tomohiko Takagi; Keisuke Noda (ICIS, 2016)