Files in this item
| Files | Description | Format |
|---|---|---|
|
application/pdf  Tasharofi_Samira.pdf (925kB) | Updated Oct 22, 2013 |
Description
| Title: | Efficient Testing of Actor Programs with Non-deterministic Behavior |
| Author(s): | Tasharofi, Samira |
| Subject(s): | Actor Programs
Testing Message-passing systems Non-determinism |
| Issue Date: | 2013-08-28 |
| Genre: | Dissertation / Thesis |
| Type: | Text |
| Language: | English |
| URI: | http://hdl.handle.net/2142/45680 |
| Publication Status: | unpublished |
| Date Available in IDEALS: | 2013-08-28 |