Our paper LoopFix: an approach to automatic repair of buggy loops is accepted by JSS!
Our Paper TECCD: A Tree Embedding Approach for Code Clone Detection is accepted by ICSME 2019!
Our paper PFix: Fixing Concurrency Bugs based on Memory Access Patterns is accepted by ASE 2018!
Our paper Falsication of Cyber-Physical Systems Using Deep Reinforcement Learning is accepted by FM 2018.
Our paper Improving Quality of Use Case Documents through Learning and User Interaction is accepted by ICECCS 2016.
Our paper Towards Using Concurrent Java API Correctly is accepted by ICECCS 2016.
- LoopFix: An Approach to Automatic Repair of Buggy Loops Journal of Systems and Software: October 2019 ,156 ,100-112
- TECCD: A Tree Embedding Approach for Code Clone Detection 35th IEEE International Conference on Software Maintenance and Evolution (ICSME 2019):
- PFix: Fixing Concurrency Bugs based on Memory Access Patterns ASE 2018:
- Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning Proceedings of the 22nd International Symposium on Formal Methods (FM): 2018: 2018
Updated on:2019-07-02 17:22 Total Visits:2098