Follow
Guowei Yang
Title
Cited by
Cited by
Year
Directed incremental symbolic execution
S Person, G Yang, N Rungta, S Khurshid
Proceedings of the 32nd ACM SIGPLAN conference on Programming language …, 2011
2602011
Memoized symbolic execution
G Yang, CS Păsăreanu, S Khurshid
Proceedings of the 2012 International Symposium on Software Testing and …, 2012
1182012
Regression model checking
G Yang, MB Dwyer, G Rothermel
2009 IEEE International Conference on Software Maintenance, 115-124, 2009
872009
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
452014
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
442014
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
442011
Property differencing for incremental checking
G Yang, S Khurshid, S Person, N Rungta
Proceedings of the 36th international conference on software engineering …, 2014
402014
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
372015
Specification-based test repair using a lightweight formal method
G Yang, S Khurshid, M Kim
International Symposium on Formal Methods, 455-470, 2012
232012
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
222017
Urbanization effects on estimates of global trends in mean and extreme air temperature
P Zhang, G Ren, Y Qin, Y Zhai, T Zhai, SK Tysa, X Xue, G Yang, X Sun
Journal of Climate 34 (5), 1923-1945, 2021
212021
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
202017
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
202013
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
182021
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
182007
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
172015
How do android operating system updates impact apps?
G Yang, J Jones, A Moninger, M Che
2018 IEEE/ACM 5th International Conference on Mobile Software Engineering …, 2018
152018
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
152016
Advances in symbolic execution
G Yang, A Filieri, M Borges, D Clun, J Wen
Advances in Computers 113, 225-287, 2019
102019
Redroid: A Regression Test Selection Approach for Android Applications.
QCD Do, G Yang, M Che, D Hui, J Ridgeway
SEKE, 486-491, 2016
102016
The system can't perform the operation now. Try again later.
Articles 1–20