Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Wishnu Prasetya"'
Autor:
Wishnu Prasetya, Dastani, M.
Publikováno v:
ZENODO
Scopus-Elsevier
Scopus-Elsevier
Testing modern computer games is notoriously hard. Highly dynamic behavior, inherent non-determinism, and fine grained interactivity blow up their state space; too large for traditional auto- mated testing techniques. An agent-based testing approach
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::545b636b26ba8cedb13eae89ce6964ba
Autor:
Minh An Tran, Wishnu Prasetya
Publikováno v:
EasyChair Preprints.
A computer can be trained to construct a specification. Although such an artificial specification cannot be expected to perfectly capture what the programmer has in mind, it does not require much manual effort to construct. Examples of use cases that
Publikováno v:
SCAM
In this paper, we apply fine-grained slicing techniques to the models generated from the Rebel modeling language before passing them on to an SMT solver. We show that our slicing techniques have a significant positive effect on performance, allowing
Autor:
Wishnu Prasetya
Publikováno v:
2015 IEEE/ACM 8th International Workshop on Search-Based Software Testing.
Autor:
Wishnu Prasetya, Paolo Tonella, Mark Harman, Peter M. Kruse, Tanja E. J. Vos, Onn Shehory, Alessandra Bagnato
Publikováno v:
CSMR-WCRE
Since our society is becoming increasingly dependent on applications emerging on the Future Internet, quality of these applications becomes a matter that cannot be neglected. However, the complexity of the technologies involved in Future Internet app
Publikováno v:
AST
The delta debugging minimization algorithm ddmin provides an efficient procedure for the simplification of failing test-cases. Despite its contribution towards the automation of debugging, ddmin still requires a significant number of iterations to co
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::12e79f3c0d0d211ccbf4a404261f76c6
https://dspace.library.uu.nl/handle/1874/303780
https://dspace.library.uu.nl/handle/1874/303780
The cloud will be populated by software applications that consist of advanced, dynamic, and largely autonomic interactions among services, end-user applications, content, and media. The complexity of the technologies involved in the cloud makes testi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9cfe4585d42ab98295ea0c2d4292a793
https://doi.org/10.4018/978-1-4666-2536-5.ch014
https://doi.org/10.4018/978-1-4666-2536-5.ch014
Publikováno v:
Implementation and Application of Functional Languages ISBN: 9783642344060
IFL
IFL
Within the context of the FITTEST project, one of our tasks was to instrument ActionScript bytecode, so that aspects of the execution of the running application are logged. Although the decision what to log and when requires manual intervention, the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0acd32c248741616b8a8280533ea0711
https://doi.org/10.1007/978-3-642-34407-7_1
https://doi.org/10.1007/978-3-642-34407-7_1
Autor:
Tanja E. J. Vos, Mark Harman, Joachim Wegener, Elisa Puoskari, Paolo Tonella, Yarden Nir-Buchbinder, Wishnu Prasetya
Publikováno v:
CSMR
The complexity of the technologies involved in the Future Internet makes testing extremely challenging and demands for novel approaches and major advancement in the field. The overall aim of the FITTEST project is to address these testing challenges,
Autor:
Eldh, S., Wishnu Prasetya, Vos, T., Bagnato, A., Bauersfeld, S., Condori, N., Escalona, M. J., Lakhotia, K., Marchetto, A., Marin, B., Memon, A., Polo, M., Shehory, O., Tonella, P., Tuya, J.
Publikováno v:
Scopus-Elsevier
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::1214a8fd193a5f57ebf1cbad6670a1bf
http://www.scopus.com/inward/record.url?eid=2-s2.0-84892553626&partnerID=MN8TOARS
http://www.scopus.com/inward/record.url?eid=2-s2.0-84892553626&partnerID=MN8TOARS