A survey of trends in symbolic execution for software testing and analysis

Date
2009
Authors
Pasareanu CS
Visser W
Journal Title
Journal ISSN
Volume Title
Publisher
International Journal on Software Tools for Technology Transfer
Abstract
Description
Please help us populate SUNScholar with the post print version of this article. It can be e-mailed to: scholar@sun.ac.za
Natuurwetenskappe
Rekenaarwetenskap
Keywords
Citation