Lazy-substitution based symbolic execution for C programs
JOURNAL- BEIJING UNIVERSITY OF AERONAUTICS AND ASTRONAUTICS ; 35 , 6 ; 687-691
01.01.2009
5 pages
Aufsatz (Zeitschrift)
Unbekannt
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
Europäisches Patentamt | 2023
|British Library Online Contents | 2016
|British Library Online Contents | 2016
|