SUNScholar will be unavailable on 25 April 2018 from 08:00 to 10:00 South African Time for routine maintenance. Please contact for queries.

Symbolic Execution for Software Testing in Practice: Preliminary Assessment

Cadar C ; Godefroid P ; Khurshid S ; Pasareanu CS ; Sen K ; Tillmann Nikolai ; Visser W (2011)

Please help us populate SUNScholar with the post print version of this article. It can be e-mailed to:



Proceedings International

Please refer to this item in SUNScholar by using the following persistent URL:
This item appears in the following collections: