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
2882011
Memoized symbolic execution
G Yang, CS Păsăreanu, S Khurshid
Proceedings of the 2012 International Symposium on Software Testing and …, 2012
1322012
Regression model checking
G Yang, MB Dwyer, G Rothermel
2009 IEEE International Conference on Software Maintenance, 115-124, 2009
932009
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
562014
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
542014
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
512021
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
512011
Property differencing for incremental checking
G Yang, S Khurshid, S Person, N Rungta
Proceedings of the 36th international conference on software engineering …, 2014
452014
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
422015
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
292017
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
272018
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
262012
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
252017
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
222016
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
222007
Advances in symbolic execution
G Yang, A Filieri, M Borges, D Clun, J Wen
Advances in Computers 113, 225-287, 2019
212019
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
212015
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
212013
Android compatibility issue detection using api differences
T Mahmud, M Che, G Yang
2021 IEEE International Conference on Software Analysis, Evolution and …, 2021
202021
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
192022
The system can't perform the operation now. Try again later.
Articles 1–20