Skip to main content
Kent Academic Repository

Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
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)
[img]
Preview

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)
[img]
Preview

This list was generated on Sun Apr 14 21:48:34 2019 BST.