Cited By
View all- Sun XGupta RZhou HMoreira JMueller FEtsion Y(2021)DSGENProceedings of the 35th ACM International Conference on Supercomputing10.1145/3447818.3460962(75-87)Online publication date: 3-Jun-2021
- Wang HLiu TGuan XShen CZheng QYang Z(2017)Dependence Guided Symbolic ExecutionIEEE Transactions on Software Engineering10.1109/TSE.2016.258406343:3(252-271)Online publication date: 1-Mar-2017
- Yang GPerson SRungta NKhurshid S(2014)Directed Incremental Symbolic ExecutionACM Transactions on Software Engineering and Methodology10.1145/262953624:1(1-42)Online publication date: 7-Oct-2014
- Show More Cited By