Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Quan Chau Dong Do"'
Publikováno v:
ACM SIGSOFT Software Engineering Notes. 40:1-5
Annotating functional correctness properties of code using assertions, in principle, enables systematic checking of code against behavioral properties. In practice however, checking assertions can be costly, especially for complex code annotated with
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0aef2233f6b717dbc58c8b0e57e94d6f
https://doi.org/10.1145/2830719.2830729
https://doi.org/10.1145/2830719.2830729
Publikováno v:
SEKE
As the mobile platform pervades human life, much research in recent years has focused on improving the reliability of mobile applications on this platform, for example by applying automatic testing. However, researchers have primarily consid- ered te
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::24a6bf727bcc2680683da2b7876c82e2
https://doi.org/10.18293/seke2016-223
https://doi.org/10.18293/seke2016-223