Symbolic Execution with Abstraction

Simple item page
dc.contributor.authorAnand S
dc.contributor.authorPasareanu CS
dc.contributor.authorVisser W
dc.date.accessioned2012-08-10T22:17:27Z
dc.date.available2012-08-10T22:17:27Z
dc.date.issued2009
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.descriptionNatuurwetenskappe
dc.descriptionRekenaarwetenskap
dc.identifier.urihttp://hdl.handle.net/10019.1/44656
dc.publisherInternational Journal on Software Tools for Technology Transfer
dc.titleSymbolic Execution with Abstraction
dc.typeJournal Articles (NON-subsidised)
Files
Collections
2009 - Research Outputs