[IEEE 2010 Fifth International Conference on Software Engineering Advances (ICSEA) - Nice, France (2010.08.22-2010.08.27)] 2010 Fifth International Conference on Software Engineering Advances - A Symbolic Execution Tool Based on the Elimination of Infeasible Paths
Papadakis, Mike, Malevris, NicosYear:
2010
Language:
english
DOI:
10.1109/icsea.2010.74
File:
PDF, 386 KB
english, 2010