A New Script Language Applicable to Symbolic Execution Systems
INTERNATIONAL JOURNAL OF COMPUTERS AND APPLICATIONS ; 28 , 1 ; 1-11
2006-01-01
11 pages
Article (Journal)
English
DDC: | 004.16 |
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
British Library Conference Proceedings | 2016
|Symbolic computer language for multibody systems
AIAA | 1991
|Lazy-substitution based symbolic execution for C programs
British Library Online Contents | 2009
|Dynamic symbolic execution approach based on tabu search
British Library Online Contents | 2015
|