×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [symbolic inputs]
Home >
symbolic inputs
Macsyma Expert System
295 views
Figure 1
1.045 views
Figure 1
924 views
Symbolic Execution Amal Khalil & Juergen Dingel CISC836: Models in Software Development: Methods, Techniques, and Tools Winter 2015.
226 views
Technology of Test Case Generation Levi Lúcio University of Geneva Marko Samer Vienna University of Technology.
213 views
1 Towards Automatic Discovery of Deviations in Binary Implementations with Applications to Error Detection and Fingerprint Generation David Brumley, Juan.
217 views
Symbolic Execution And KLEE
6.068 views