Publications
Export 2 results:
Author Title Type [ Year
Filters: Keyword is Software engineering [Clear All Filters]
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.
.
2015. A Case Study of Refactoring Large-Scale Industrial Systems to Efficiently Improve Source Code Quality. Proceedings of the 14th International Conference on Computational Science and Its Applications (ICCSA 2014). 8583:524–540.
.
2014.