Efficient Testing of Concurrent Programs with Abstraction-Guided Symbolic Execution
dc.contributor.author | Rungta N | |
dc.contributor.author | Mercer EG | |
dc.contributor.author | Visser W | |
dc.date.accessioned | 2012-08-11T01:21:04Z | |
dc.date.available | 2012-08-11T01:21:04Z | |
dc.date.issued | 2009 | |
dc.description | Please help us populate SUNScholar with the post print version of this article. It can be e-mailed to: scholar@sun.ac.za | |
dc.description | Natuurwetenskappe | |
dc.description | Rekenaarwetenskap | |
dc.identifier.uri | http://hdl.handle.net/10019.1/46858 | |
dc.title | Efficient Testing of Concurrent Programs with Abstraction-Guided Symbolic Execution | |
dc.type | Proceedings International |