Lazy-substitution based symbolic execution for C programs
JOURNAL- BEIJING UNIVERSITY OF AERONAUTICS AND ASTRONAUTICS ; 35 , 6 ; 687-691
2009-01-01
5 pages
Article (Journal)
Unknown
DDC: | 629.4 |
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Dynamic symbolic execution approach based on tabu search
British Library Online Contents | 2015
|Multifunctional lazy arm lighting assembly and lazy arm vehicle
European Patent Office | 2023
|British Library Online Contents | 2016
|British Library Online Contents | 2016
|