A Generic Framework for Symbolic Execution

Document type :
Communication dans un congrès avec actes
Title :
A Generic Framework for Symbolic Execution
Author(s) :
Arusoaie, Andrei [Auteur]
Lucanu, Dorel [Auteur]
Rusu, Vlad [Auteur] refId
Dynamic Reconfigurable Massively Parallel Architectures and Languages [DREAMPAL]
Scientific editor(s) :
Erwig
M. and Paige
R.F. and Van Wyk
E.
Conference title :
6th International Conference on Software Language Engineering
City :
Indianapolis
Country :
Etats-Unis d'Amérique
Start date of the conference :
2013-10-27
Journal title :
Lecture Notes in Computer Science
Publisher :
Springer Verlag
Publication date :
2013-08
HAL domain(s) :
Informatique [cs]/Systèmes embarqués
English abstract : [en]
We propose a generic, language-independent symbolic execution approach for languages endowed with a formal operational semantics based on term rewriting. Starting from the definition of a language L, a new definition Lsym ...
Show more >
Language :
Anglais
Peer reviewed article :
Oui
Audience :
Internationale
Popular science :
Non
Collections :
Source :
Harvested from HAL
Files
Thumbnail
Thumbnail