刘爽

Tianjin University, Associate Professor
Research Interests:software engineeringrequirement engineeringformal methodsmodel checkingProgram AnalysisNatural Language ProcessingBlockchain

Our paper PFix: Fixing Concurrency Bugs based on Memory Access Patterns is accepted by ASE 2018!

Our paper Falsi cation 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.

  1. TECCD: A Tree Embedding Approach for Code Clone Detection
    Yi Gao, Zan Wang, Shuang Liu, Lin Yang, Wei Sang and Yuanfang Cai. 35th IEEE International Conference on Software Maintenance and Evolution (ICSME 2019):
  2. PFix: Fixing Concurrency Bugs based on Memory Access Patterns
    H. Lin, Z. Wang, S. Liu, J. Sun, G. Wei and D. Zhang. ASE 2018:
  3. Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning
    Takumi Akazaki, Shuang Liu, Yoriyuki Yamagata, Yihai Duan and Jianye Hao. Proceedings of the 22nd International Symposium on Formal Methods (FM): 2018: 2018
  4. JSFox: integrating static and dynamic type analysis of JavaScript programs
    Tian Huat Tan, Yinxing Xue, Manman Chen, Shuang Liu, Yi Yu, Jun Sun. Proceedings of the 39th International Conference on Software Engineering Companion:
  5. Towards solving decision making problems using probabilistic model checking
    Ling Shi, Shuang Liu, Jianye Hao, Jun Yang Koh, Zhe Hou, Jin Song Dong. Engineering of Complex Computer Systems (ICECCS), 2017 22nd International Conference on:
More Papers

Updated on:2019-06-14 18:45      Total Visits:1281

Scholars

Recently Visited

Similar Subject

Same institution

Similar Interests