Tian Zhang
External collaborator
Publications
Simula-affiliated publications listed
2018
Proceedings, refereed
Read Uncovering Unknown System Behaviors in Uncertain Networks with Model and Search-based Testing
R. Ji, Z. Li, S. Chen, M. Pan, T. Zhang, T. Yue, S. Ali and X. Li
Uncovering Unknown System Behaviors in Uncertain Networks with Model and Search-based Testing
11th IEEE Conference on Software Testing, Validation and Verification