Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Sergio Delgado Castellanos"'
Autor:
Konstantin Kuznetsov, Michael D. Ernst, Alberto Goffi, Sergio Delgado Castellanos, Arianna Blasi, Mauro Pezzè, Alessandra Gorla
Publikováno v:
ISSTA
Procedure specifications are useful in many software development tasks. As one example, in automatic test case generation they can guide testing, act as test oracles able to reveal bugs, and identify illegal inputs. Whereas formal specifications are
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fbd3a0439bd27adbe1093a92448c7441
https://doi.org/10.1145/3213846.3213872
https://doi.org/10.1145/3213846.3213872
