Probabilistic symbolic execution

Date
2012
Authors
Geldenhuys J
Visser W
Dwyer MB
Journal Title
Journal ISSN
Volume Title
Publisher
ACM New York, NY, USA
Abstract
Description
Natuurwetenskappe
Rekenaarwetenskap
Please help us populate SUNScholar with the post print version of this article. It can be e-mailed to: scholar@sun.ac.za
Keywords
Citation
URI
http://hdl.handle.net/10019.1/84782
Collections
2012 - Research Outputs