Cited By
View all- Person SYang GRungta NKhurshid S(2019)Directed incremental symbolic executionACM SIGPLAN Notices10.1145/1993316.199355846:6(504-515)Online publication date: 28-Feb-2019
- Whalen MPerson SRungta NStaats MGrijincu DBertolino ACanfora GElbaum S(2015)A flexible and non-intrusive approach for computing complex structural coverage metricsProceedings of the 37th International Conference on Software Engineering - Volume 110.5555/2818754.2818817(506-516)Online publication date: 16-May-2015
- Whalen MPerson SRungta NStaats MGrijincu D(2015)A Flexible and Non-intrusive Approach for Computing Complex Structural Coverage Metrics2015 IEEE/ACM 37th IEEE International Conference on Software Engineering10.1109/ICSE.2015.68(506-516)Online publication date: May-2015
- Show More Cited By