Test-case generation and bug-finding through symbolic execution

Simple item page
dc.contributor.authorBester WHK
dc.contributor.authorInggs CP
dc.contributor.authorVisser W
dc.date.accessioned2013-07-03T08:34:53Z
dc.date.available2013-07-03T08:34:53Z
dc.date.issued2012
dc.descriptionNatuurwetenskappe
dc.descriptionRekenaarwetenskap
dc.descriptionPlease help us populate SUNScholar with the post print version of this article. It can be e-mailed to: scholar@sun.ac.za
dc.identifier.urihttp://hdl.handle.net/10019.1/84786
dc.publisherACM Publishers, NY, USA
dc.titleTest-case generation and bug-finding through symbolic execution
dc.typeProceedings National
Files
Collections
2012 - Research Outputs