Publications
Found 26 results
Author Keyword [ Title![(Asc)](https://rgai.inf.u-szeged.hu/sites/rgai.inf.u-szeged.hu/modules/biblio/misc/arrow-asc.png)
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.