Publications
Advances in Software Product Quality Measurement and Its Applications in Software Evolution. Proceedings of the International Conference on Software Maintenance and Evolution. :590–593.
.
2015. 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. Academic and Industrial Software Testing Conferences: Survey and Synergies. Proceedings of the 9th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW'16); 11th Testing: Academic and Industrial Conference - Practice and Research Techniques (TAIC PART'16). :240-249.
.
2016. Abstract Runtime Monitoring with USE. Proceedings of CSMR 2012 (16th European Conference on Software Maintenance and Reengineering). :549-552.
.
2012.