Search results for: Dinghao Wu
Software: Practice and Experience > 49 > 2 > 252 - 273
IEEE Transactions on Software Engineering > 2017 > 43 > 12 > 1157 - 1177
2017 IEEE Symposium on Security and Privacy (SP) > 921 - 937
IEEE Transactions on Reliability > 2016 > 65 > 4 > 1647 - 1664
Journal of Computer Virology and Hacking Techniques > 2017 > 13 > 3 > 193-207
Journal of Computer Virology and Hacking Techniques > 2017 > 13 > 3 > 167-178
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Formal Methods I > 30-43