Efficient Testing of Concurrent Programs with Abstraction-Guided Symbolic Execution
Date
2009
Authors
Rungta N
Mercer EG
Visser W
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
Please help us populate SUNScholar with the post print version of this article. It can be e-mailed to: scholar@sun.ac.za
Natuurwetenskappe
Rekenaarwetenskap
Natuurwetenskappe
Rekenaarwetenskap