Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Bruno Schafaschek"'
Publikováno v:
Anais do VI Workshop-Escola de Informática Teórica (WEIT 2021).
É notável que os projetos de software estão se tornando mais complexos e extensos, os quais dependem em grande parte do compilador ou interpretador da linguagem de programação escolhida para o seu desenvolvimento. Neste sentido, como é possíve
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::51be3deb5e3a5c8d6d41756eadb010f0
https://doi.org/10.5753/weit.2021.18924
https://doi.org/10.5753/weit.2021.18924
Publikováno v:
SBLP
With the great advances in the software development area, where systems are becoming larger and more complex, the testing area is suffering to keep up with. In this paper, we describe a formal procedure to perform the synthesis of random programs fro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4e261707074dd3460ca785e1a67ef143
https://doi.org/10.1145/3475061.3475087
https://doi.org/10.1145/3475061.3475087
Publikováno v:
Anais do XII Computer on the Beach - COTB '21.
With great advances in the computer science area where technologicalsystems are becoming more and more complex, tests are hardto perform. The problem is even more serious in critical systems,such as flight control or nuclear systems, where an error c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2a6c929b59ce8f990ed74a272b0107d2
https://doi.org/10.14210/cotb.v12.p485-487
https://doi.org/10.14210/cotb.v12.p485-487
Publikováno v:
Anais do Segundo Congresso Nacional do Contestado.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f5b4de9fb37dad176c2deea77b11e53f
https://doi.org/10.29327/541529.2-26
https://doi.org/10.29327/541529.2-26