Publications
Found 26 results
Author Keyword [ Title] Type Year Filters: Author is Rudolf Ferenc [Clear All Filters]
Adding Constraint Building Mechanisms to a Symbolic Execution Engine Developed for Detecting Runtime Errors. Proceedings of the International Conference on Computational Science and Its Applications – ICCSA 2015. 9159:20-35.
.
2015.