About SEG
SEG News
SEG Seminar
Internal Site
Hot Link
Contact SEG
[Accepted] [2020] [2019] [2018] [2017] [2016]
Selected Publications
    International Journal
  • Lei Bu, Wen Xiong, Chieh-Jan Mike Liang, Shi Han, Dongmei Zhang, Shan Lin, Xuandong Li. Systematically Ensuring The Confidence of Real Time Home Automation IoT Systems.  In  ACM Transactions on Cyber-Physical Systems 2018, download
  • Chinese Journal
    International Conference & Workshop
  • Ruihua Ji, Zhong Li, Shouyu Chen, Minxue Pan, Tian Zhang, Shaukat Ali, Tao Yue, Xuandong Li. Uncovering Unknown System Behaviors in Uncertain Networks with Model and Search-Based Testing.  In  International Conference on Software Testing, Verification and Validation (ICST), download
  • Renhe Jiang, Zhengzhao Chen, Zejun Zhang, Yu Pei , Minxue Pan, Tian Zhang. Semantics-Based Code Search Using Input/Output Examples.  In  International Working Conference on Source Code Analysis and Manipulation (SCAM), download
  • Lingyun Situ, Linzhang Wang, Yang Liu, Bing Mao, Xuandong Li. Vanguard: Detecting Missing Checks for Prognosing Potential Vulnerabilities.  In  Internetware, download
  • Lei Bu, Doron Peled, Dachuan Shen, Yuan Zhuang. Genetic Synthesis of Concurrent Code Using Model Checking and Statistical Model Checking.  In  Model Checking Software - 25th International Symposium 2018, download
  • Lei Bu, Doron Peled, Dashuan Shen, Yael Tzirulnikov. Chasing Errors Using Biasing Automata.  In  Leveraging Applications of Formal Methods, Verification and Validation 2018, download
  • Lingyun Situ, Liang Zou, Linzhang Wang, Yang Liu, Bing Mao, Xuandong Li. Detecting Missing Checks for Identifying Insufficient Attack Protections.  In  International Conference on Software Engineering: Companion (ICSE Companion), download