[IEEE 2006 International Conference on Parallel Processing Workshops (ICPPW'06) - Columbus, OH, USA (14-18 Aug. 2006)] 2006 International Conference on Parallel Processing Workshops (ICPPW'06) - Automatic Flow Analysis Using Symbolic Execution and Path Enumeration
Kebbal, D.Année:
2006
Langue:
english
DOI:
10.1109/icppw.2006.26
Fichier:
PDF, 233 KB
english, 2006