Guowei Yang
Título
Citado por
Citado por
Ano
Directed incremental symbolic execution
S Person, G Yang, N Rungta, S Khurshid
Proceedings of the 32nd ACM SIGPLAN conference on Programming language …, 2011
2162011
Memoized symbolic execution
G Yang, CS Păsăreanu, S Khurshid
Proceedings of the 2012 International Symposium on Software Testing and …, 2012
992012
Regression model checking
G Yang, MB Dwyer, G Rothermel
2009 IEEE International Conference on Software Maintenance, 115-124, 2009
672009
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
382014
Property differencing for incremental checking
G Yang, S Khurshid, S Person, N Rungta
Proceedings of the 36th International Conference on Software Engineering …, 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
352011
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
312014
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
302015
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
172013
Specification-based test repair using a lightweight formal method
G Yang, S Khurshid, M Kim
International Symposium on Formal Methods, 455-470, 2012
172012
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
102017
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
102016
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
92017
Redroid: A Regression Test Selection Approach for Android Applications.
QCD Do, G Yang, M Che, D Hui, J Ridgeway
SEKE, 486-491, 2016
72016
Advances in Symbolic Execution
G Yang, A Filieri, M Borges, D Clun, J Wen
Advances in Computers 113, 225-287, 2019
62019
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
Invariant discovery guided by symbolic execution
L Zhang, G Yang, N Rungta, S Person, S Khurshid
Java PathFinder Workshop, 2013
62013
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
52018
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20