A Symbolic Execution Framework for Algorithm−Level Modelling
Ziyad Hanna and Tom Melham
Book Title
High Level Design Validation and Test Workshop‚ 2009. HLDVT 2009.
Editor
Priyank Kalla and Prabhat Mishra
ISBN
978−1−4244−4823−4
ISSN
1552−6674
Pages
94–99
Publisher
IEEE
Year
2009