Publications
Runtime Exception Detection in Java Programs Using Symbolic Execution. Proceedings of the 13th Symposium on Programming Languages and Software Tools (SPLST 2013). :215–229.
.
2013. Runtime Exception Detection in Java Programs Using Symbolic Execution. Acta Cybernetica. 21:331–352.
.
2014. A Manually Validated Code Refactoring Dataset and Its Assessment Regarding Software Maintainability. Proceedings of the 12th ACM International Conference on Predictive Models and Data Analytics in Software Engineering (PROMISE 2016). :10:1–10:4.
.
2016. Empirical Evaluation of Software Maintainability Based on a Manually Validated Refactoring Dataset. Information and Software Technology. 95
.
2018. A Code Refactoring Dataset and Its Assessment Regarding Software Maintainability. Proceedings of the 23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2016). :599–603.
.
2016. Assessment of the Code Refactoring Dataset Regarding the Maintainability of Methods. Proceedings of the 16th International Conference on Computational Science and Its Applications (ICCSA 2016). :610–624.
.
2016. 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.