| 1 |
A Generic Framework for Symbolic Execution: a Coinductive Approach
|
|
|
|
In: ISSN: 0747-7171 ; EISSN: 1095-855X ; Journal of Symbolic Computation ; https://hal.inria.fr/hal-01238696 ; Journal of Symbolic Computation, Elsevier, 2017, 80, pp.125-163. ⟨10.1016/j.jsc.2016.07.012⟩ (2017)
|
|
BASE
|
|
Show details
|
|
|
| 2 |
A Generic Framework for Symbolic Execution: Theory and Applications ; Un cadre générique pour l'exécution symbolique : théorie et applications
|
|
|
|
In: https://hal.inria.fr/hal-00766220 ; [Research Report] RR-8189, Inria. 2015, pp.41 (2015)
|
|
BASE
|
|
Show details
|
|
|
| 3 |
Symbolic execution based on language transformation
|
|
|
|
In: ISSN: 1477-8424 ; Computer Languages, Systems and Structures ; https://hal.inria.fr/hal-01186008 ; Computer Languages, Systems and Structures, Elsevier, 2015, pp.42. ⟨10.1016/j.cl.2015.08.004⟩ (2015)
|
|
BASE
|
|
Show details
|
|
|
| 4 |
A Generic Framework for Symbolic Execution
|
|
|
|
In: 6th International Conference on Software Language Engineering ; https://hal.inria.fr/hal-00853588 ; 6th International Conference on Software Language Engineering, Oct 2013, Indianapolis, United States. pp.281-301 (2013)
|
|
BASE
|
|
Show details
|
|
|
| 5 |
Formally Tracing Executions From an Analysis Tool Back to a Domain Specific Modeling Language's Operational Semantics
|
|
|
|
In: https://hal.inria.fr/inria-00526561 ; [Research Report] RR-7423, INRIA. 2010 (2010)
|
|
BASE
|
|
Show details
|
|
|
|
|
