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
2422011
Memoized symbolic execution
G Yang, CS Păsăreanu, S Khurshid
Proceedings of the 2012 International Symposium on Software Testing and …, 2012
1092012
Regression model checking
G Yang, MB Dwyer, G Rothermel
2009 IEEE International Conference on Software Maintenance, 115-124, 2009
782009
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
412014
Property differencing for incremental checking
G Yang, S Khurshid, S Person, N Rungta
Proceedings of the 36th International Conference on Software Engineering …, 2014
382014
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
372014
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
372011
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
352015
Specification-based test repair using a lightweight formal method
G Yang, S Khurshid, M Kim
International Symposium on Formal Methods, 455-470, 2012
222012
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
182013
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
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
172017
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
142015
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
132017
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
132016
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
102018
Advances in Symbolic Execution
G Yang, A Filieri, M Borges, D Clun, J Wen
Advances in Computers 113, 225-287, 2019
92019
Redroid: A Regression Test Selection Approach for Android Applications.
QCD Do, G Yang, M Che, D Hui, J Ridgeway
SEKE, 486-491, 2016
92016
Using test ranges to improve symbolic execution
R Qiu, S Khurshid, CS Păsăreanu, J Wen, G Yang
NASA Formal Methods Symposium, 416-434, 2018
62018
A synergistic approach for distributed symbolic execution using test ranges
R Qiu, S Khurshid, CS Pasareanu, G Yang
2017 IEEE/ACM 39th International Conference on Software Engineering …, 2017
62017
The system can't perform the operation now. Try again later.
Articles 1–20