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
2112011
Memoized symbolic execution
G Yang, CS Păsăreanu, S Khurshid
Proceedings of the 2012 International Symposium on Software Testing and …, 2012
962012
Regression model checking
G Yang, MB Dwyer, G Rothermel
2009 IEEE International Conference on Software Maintenance, 115-124, 2009
652009
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
352014
Property differencing for incremental checking
G Yang, S Khurshid, S Person, N Rungta
Proceedings of the 36th International Conference on Software Engineering …, 2014
342014
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
342011
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
282015
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
272014
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
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
162013
Specification-based test repair using a lightweight formal method
G Yang, S Khurshid, M Kim
International Symposium on Formal Methods, 455-470, 2012
142012
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
122015
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
82017
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
82016
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
72017
Invariant discovery guided by symbolic execution
L Zhang, G Yang, N Rungta, S Person, S Khurshid
Java PathFinder Workshop, 2013
62013
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
52018
On mobility of software processes
M Li, Q Yang, J Zhai, G Yang
Software Process Change, 105-114, 2006
52006
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
42017
Redroid: A Regression Test Selection Approach for Android Applications.
QCD Do, G Yang, M Che, D Hui, J Ridgeway
SEKE, 486-491, 2016
42016
The system can't perform the operation now. Try again later.
Articles 1–20