Please use this identifier to cite or link to this item:
http://artemis.cslab.ece.ntua.gr:8080/jspui/handle/123456789/15982
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Άλκης Γκότοβος (alkis Gotovos) | |
dc.date.accessioned | 2018-07-23T16:57:11Z | - |
dc.date.available | 2018-07-23T16:57:11Z | - |
dc.date.issued | 2011-6-17 | |
dc.date.submitted | 2011-12-14 | |
dc.identifier.uri | http://artemis-new.cslab.ece.ntua.gr:8080/jspui/handle/123456789/15982 | - |
dc.description.abstract | Concurrent programming has become increasingly popular in the last decade; yet, it is notoriously error-prone. Even worse, traditional testing tools are largely inadequate when it comes to checking concurrent code. In this thesis we introduce Concuerror, a testing tool for concurrent Erlang programs, that aims to facilitate the task of detecing and eliminating concurrency-related errors. Concuerror relies on systematically exploring process interleaving to reveal such errors. We describe the infrastructure that was developed to support this task, as well as the techniques that were used to make Concuerror more efficient. We also present an extended example of using Concuerror in practice for test-driven development. | |
dc.language | English | |
dc.subject | concurrency | |
dc.subject | software testing | |
dc.subject | model checking | |
dc.subject | test-driven development | |
dc.subject | erlang | |
dc.title | Dynamic Systematic Testing Of Concurrent Erlang Programs | |
dc.type | Diploma Thesis | |
dc.description.pages | 82 | |
dc.contributor.supervisor | Σαγώνας Κωστής | |
dc.department | Τομέας Τεχνολογίας Πληροφορικής & Υπολογιστών | |
dc.organization | ΕΜΠ, Τμήμα Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών | |
Appears in Collections: | Διπλωματικές Εργασίες - Theses |
Files in This Item:
File | Size | Format | |
---|---|---|---|
DT2011-0081.pdf | 3.01 MB | Adobe PDF | View/Open |
Items in Artemis are protected by copyright, with all rights reserved, unless otherwise indicated.