Seuraa
Aggelos Giantsios
Aggelos Giantsios
PhD Student, National Technical University of Athens
Vahvistettu sähköpostiosoite verkkotunnuksessa softlab.ntua.gr
Nimike
Viittaukset
Viittaukset
Vuosi
Concolic testing for functional languages
A Giantsios, N Papaspyrou, K Sagonas
Proceedings of the 17th International Symposium on Principles and Practice …, 2015
392015
Scaling reliably: Improving the scalability of the Erlang distributed actor platform
P Trinder, N Chechina, N Papaspyrou, K Sagonas, S Thompson, ...
ACM Transactions on Programming Languages and Systems (TOPLAS) 39 (4), 1-46, 2017
112017
Program testing by combining symbolic and concrete execution with automatic generation of inputs.
A Giantsios
2014
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–3