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.
- 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
- Towards solving decision making problems using probabilistic model checking Engineering of Complex Computer Systems (ICECCS), 2017 22nd International Conference on:
Updated on:2019-06-14 18:45 Total Visits:1281