Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Nikolai Knopp"'
Publikováno v:
ISSTA
Dynamic specification mining observes program executions to infer models of normal program behavior. What makes us believe that we have seen sufficiently many executions? The typestate miner generates test cases that cover previously unobserved behav
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6adb4dad6db2ccc6d7f32196716d150a
https://doi.org/10.1145/1831708.1831719
https://doi.org/10.1145/1831708.1831719
