| Testsage: Regression test selection for large-scale web service testing H Zhong, L Zhang, S Khurshid 2019 12th IEEE Conference on Software Testing, Validation and Verification …, 2019 | 25 | 2019 |
| Combinatorial generation of structurally complex test inputs for commercial software applications H Zhong, L Zhang, S Khurshid Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016 | 15 | 2016 |
| Classifying fruit fly early embryonic developmental stage based on embryo in situ hybridization images H Zhong, WB Chen, C Zhang 2009 IEEE International Conference on Semantic Computing, 145-152, 2009 | 11 | 2009 |
| The comKorat Tool: Unified Combinatorial and Constraint-Based Generation of Structurally Complex Tests H Zhong, L Zhang, S Khurshid NASA Formal Methods: 8th International Symposium, NFM 2016, Minneapolis, MN …, 2016 | 5 | 2016 |
| An unsupervised protein sequences clustering algorithm using functional domain information WB Chen, C Zhang, H Zhong 2008 IEEE International Conference on Information Reuse and Integration, 76-81, 2008 | 3 | 2008 |
| Pairwise-Korat: automated testing using Korat in an industrial setting H Zhong | 2 | 2015 |
Sarfraz KhurshidProfessor, University of Texas at AustinVerified email at ece.utexas.edu
