Revisiting unsupervised learning for defect prediction
Combining unit-level symbolic execution and system-level concrete execution for testing nasa software