Browse by Person (creator, editor, contributor, etc.)
Up a level |
Jump to: Conference or workshop item
Number of items: 2.
Conference or workshop item
Christakis, Maria and Gotovos, Alkis and Sagonas, Konstantinos (2013) Systematic Testing for Detecting Concurrency Errors in Erlang Programs. In: 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation (ICST). IEEE pp. 154-163. (doi:https://doi.org/10.1109/ICST.2013.50) (Full text available) |
Gotovos, Alkis and Christakis, Maria and Sagonas, Konstantinos (2011) Test-Driven Development of Concurrent Programs using Concuerror. In: Erlang '11 Proceedings of the 10th ACM SIGPLAN workshop on Erlang. ACM p. 51. ISBN 978-1-4503-0859-5. (doi:https://doi.org/10.1145/2034654.2034664) (Full text available) |