Diver: Oracle-Guided SMT Solver Testing with Unrestricted Random Mutations.
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023
KennyRiMr: An Eclipse Plug-in to Improve Correctness of Rename Method Refactoring in Java.
Proceedings of the 48th Euromicro Conference on Software Engineering and Advanced Applications, 2022
The Magnetic Energy Harvester With Improved Power Density Using Saturable Magnetizing Inductance Model for Maintenance Applications Near High Voltage Power Line.
,
,
,
,
,
,
,
,
,
,
,
,
IEEE Access, 2021
Statistical Analysis of Refactoring Bug Reports in Eclipse Bugzilla.
Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021
All-in-One Framework for Detection, Unpacking, and Verification for Malware Analysis.
Secur. Commun. Networks, 2019
Code transformation issues in move-instance-method refactorings.
Proceedings of the 3rd International Workshop on Refactoring, 2019
Towards refactoring-aware regression test selection.
Proceedings of the 40th International Conference on Software Engineering, 2018
X15: A Tool For Refactoring Java Software Product Lines.
Proceedings of the 21st International Systems and Software Product Line Conference, 2017
Refactoring Java Software Product Lines.
Proceedings of the 21st International Systems and Software Product Line Conference, 2017
Improving refactoring speed by 10X.
Proceedings of the 38th International Conference on Software Engineering, 2016
Scripting parametric refactorings in Java to retrofit design patterns.
Proceedings of the 2015 IEEE International Conference on Software Maintenance and Evolution, 2015
Can undergraduates script their own refactorings?
Proceedings of the 2013 ACM Workshop on Refactoring Tools, 2013
Feature interactions, products, and composition.
Proceedings of the Generative Programming And Component Engineering, 2011
Fuzzy integrated analytic hierarchy process approach for selecting strategic big-sized R&D programs in the sector of energy technology development.
Proceedings of the FUZZ-IEEE 2009, 2009
Open Editing Algorithm: A Collaborative News Promotion Algorithm Based on Users' Voting History.
Proceedings of the 12th IEEE International Conference on Computational Science and Engineering, 2009
Modeling and optimization of subscriber loop deployment strategy for Hanaro Telecom.
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998
A Stochastic Petri Net Synthesis Method with Known Lower Bound of the Second Donomat Eigenvalue.
Proceedings of the 1995 International Conference on Robotics and Automation, 1995
Eigenvalue Bounds of a Stochastic Petri Net.
Proceedings of the 1995 International Conference on Robotics and Automation, 1995