ATTENTION: The works hosted here are being migrated to a new repository that will consolidate resources, improve discoverability, and better show UTA's research impact on the global community. We will update authors as the migration progresses. Please see MavMatrix for more information.
Show simple item record
dc.contributor.author | Saini, Gaurav | en_US |
dc.date.accessioned | 2007-08-23T01:56:32Z | |
dc.date.available | 2007-08-23T01:56:32Z | |
dc.date.issued | 2007-08-23T01:56:32Z | |
dc.date.submitted | August 2005 | en_US |
dc.identifier.other | DISS-1032 | en_US |
dc.identifier.uri | http://hdl.handle.net/10106/349 | |
dc.description.abstract | A concurrent program contains two or more threads that execute concurrently and work together to perform some task. Concurrency increases the efficiency of a program. Testing of concurrent programs has been a challenging task because of the inherent non-determinism. Most approaches proposed for concurrent program testing employ, explicitly or implicitly, a coverage criterion to measure test adequacy. In order to apply those approaches, we must first choose a criterion that suits best for our programs.
There is a need for quantitative results of evaluation regarding the effectiveness of the various coverage criteria used for the testing of concurrent programs. Such an evaluation can be useful to select a particular criterion for a specific set of concurrent programs. This thesis tries to evaluate the effectiveness of some of these criteria and puts forth the quantitative results for such an evaluation. | en_US |
dc.description.sponsorship | Lei, Yu (Jeff) | en_US |
dc.language.iso | EN | en_US |
dc.publisher | Computer Science & Engineering | en_US |
dc.title | An Emperical Evaluation Of Adequacy Criteria For Testing Concurrent Programs | en_US |
dc.type | M.S. | en_US |
dc.contributor.committeeChair | Lei, Yu (Jeff) | en_US |
dc.degree.department | Computer Science & Engineering | en_US |
dc.degree.discipline | Computer Science & Engineering | en_US |
dc.degree.grantor | University of Texas at Arlington | en_US |
dc.degree.level | masters | en_US |
dc.degree.name | M.S. | en_US |
Files in this item
- Name:
- umi-uta-1032.pdf
- Size:
- 619.5Kb
- Format:
- PDF
This item appears in the following Collection(s)
Show simple item record