Symbolic Execution of Programs with Strings

Redelinghuys G ; Visser W ; Geldenhuys J (2012)



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

Proceedings National

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