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