Zijiang Yang, Ph.D.
Affiliations: | 2003 | University of Pennsylvania, Philadelphia, PA, United States |
Area:
Hardware and Software Systems: Real-Time, Embedded and Cyber-Physical Systems, Theory: Algorithms and ComplexityGoogle:
"Zijiang Yang"Parents
Sign in to add mentorRajeev Alur | grad student | 2003 | Penn | |
(Techniques for reducing the computational requirements of symbolic reachability analysis.) |
BETA: Related publications
See more...
Publications
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
Chi J, Qu Y, Zheng Q, et al. (2020) Relation-based test case prioritization for regression testing Journal of Systems and Software. 163: 110539 |
Pan W, Ming H, Chang C, et al. (2019) ElementRank: Ranking Java Software Classes and Packages using a Multilayer Complex Network-Based Approach Ieee Transactions On Software Engineering. 1-1 |
Zhang X, Yang Z, Zheng Q, et al. (2019) Tell you a Definite Answer: Whether Your Data is Tainted During Thread Scheduling Ieee Transactions On Software Engineering. 1-1 |
Zhou P, Liu J, Liu X, et al. (2019) Is deep learning better than traditional approaches in tag recommendation for software information sites? Information and Software Technology. 109: 1-13 |
Xu Z, Liu J, Luo X, et al. (2019) Software defect prediction based on kernel PCA and weighted extreme learning machine Information and Software Technology. 106: 182-200 |
Tian Z, Liu T, Zheng Q, et al. (2018) Reviving Sequential Program Birthmarking for Multithreaded Software Plagiarism Detection Ieee Transactions On Software Engineering. 44: 491-511 |
Yi Q, Yang Z, Guo S, et al. (2018) Eliminating Path Redundancy via Postconditioned Symbolic Execution Ieee Transactions On Software Engineering. 44: 25-43 |
Zhang X, Yang Z, Zheng Q, et al. (2018) Debugging Multithreaded Programs as if They Were Sequential Ieee Access. 6: 40024-40040 |
Zheng Y, Wang Z, Fan X, et al. (2018) Localizing multiple software faults based on evolution algorithm Journal of Systems and Software. 139: 107-123 |
Wang H, Liu T, Guan X, et al. (2017) Dependence Guided Symbolic Execution Ieee Transactions On Software Engineering. 43: 252-271 |