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
N/A
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