| Directed incremental symbolic execution S Person, G Yang, N Rungta, S Khurshid Proceedings of the 32nd ACM SIGPLAN conference on Programming language …, 2011 | 296 | 2011 |
| Memoized symbolic execution G Yang, CS Păsăreanu, S Khurshid Proceedings of the 2012 International Symposium on Software Testing and …, 2012 | 140 | 2012 |
| Regression model checking G Yang, MB Dwyer, G Rothermel 2009 IEEE International Conference on Software Maintenance, 115-124, 2009 | 96 | 2009 |
| Audio-visual event localization via recursive fusion by joint co-attention B Duan, H Tang, W Wang, Z Zong, G Yang, Y Yan Proceedings of the IEEE/CVF Winter Conference on Applications of Computer …, 2021 | 67 | 2021 |
| Directed incremental symbolic execution G Yang, S Person, N Rungta, S Khurshid ACM Transactions on Software Engineering and Methodology (TOSEM) 24 (1), 1-42, 2014 | 61 | 2014 |
| Feedback-driven dynamic invariant discovery L Zhang, G Yang, N Rungta, S Person, S Khurshid Proceedings of the 2014 International Symposium on Software Testing and …, 2014 | 57 | 2014 |
| TestEra: A tool for testing Java programs using alloy specifications SA Khalek, G Yang, L Zhang, D Marinov, S Khurshid Automated Software Engineering (ASE), 2011 26th IEEE/ACM International …, 2011 | 52 | 2011 |
| Compositional symbolic execution with memoized replay R Qiu, G Yang, CS Pasareanu, S Khurshid 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 1 …, 2015 | 49 | 2015 |
| Property differencing for incremental checking G Yang, S Khurshid, S Person, N Rungta Proceedings of the 36th international conference on software engineering …, 2014 | 46 | 2014 |
| Android compatibility issue detection using api differences T Mahmud, M Che, G Yang 2021 IEEE international conference on software analysis, evolution and …, 2021 | 33 | 2021 |
| Who should be selected to perform a task in crowdsourced testing? Q Cui, J Wang, G Yang, M Xie, Q Wang, M Li 2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC …, 2017 | 31 | 2017 |
| Evaluating and improving neural program-smoothing-based fuzzing M Wu, L Jiang, J Xiang, Y Zhang, G Yang, H Ma, S Nie, S Wu, H Cui, ... Proceedings of the 44th International Conference on Software Engineering …, 2022 | 29 | 2022 |
| How do android operating system updates impact apps? G Yang, J Jones, A Moninger, M Che Proceedings of the 5th International Conference on Mobile Software …, 2018 | 29 | 2018 |
| Specification-based test repair using a lightweight formal method G Yang, S Khurshid, M Kim FM 2012: Formal Methods: 18th International Symposium, Paris, France, August …, 2012 | 29 | 2012 |
| Cocoon: Crowdsourced testing quality maximization under context coverage constraint M Xie, Q Wang, G Yang, M Li 2017 IEEE 28th International Symposium on Software Reliability Engineering …, 2017 | 25 | 2017 |
| Advances in symbolic execution G Yang, A Filieri, M Borges, D Clun, J Wen Advances in Computers 113, 225-287, 2019 | 24 | 2019 |
| Quantification of software changes through probabilistic symbolic execution (N) A Filieri, CS Pasareanu, G Yang 2015 30th IEEE/ACM International Conference on Automated Software …, 2015 | 23 | 2015 |
| Regression test selection for android applications Q Do, G Yang, M Che, D Hui, J Ridgeway Proceedings of the International Conference on Mobile Software Engineering …, 2016 | 22 | 2016 |
| An algebraic approach for managing inconsistencies in software processes Q Yang, M Li, Q Wang, G Yang, J Zhai, J Li, L Hou, Y Yang Software Process Dynamics and Agility, 121-133, 2007 | 20 | 2007 |
| Memoise: a tool for memoized symbolic execution G Yang, S Khurshid, CS Păsăreanu 2013 35th International Conference on Software Engineering (ICSE), 1343-1346, 2013 | 19 | 2013 |
Sarfraz KhurshidProfessor, University of Texas at AustinVerified email at ece.utexas.edu
