Yu Zhang, Dantong Ouyang, Yuxin Ye. Glass-Box Debugging Algorithm Based on Unsatisfiable Dependent Paths. IEEE Access, 5:18725-18736, 2017. [doi]
@article{ZhangOY17-0, title = {Glass-Box Debugging Algorithm Based on Unsatisfiable Dependent Paths}, author = {Yu Zhang and Dantong Ouyang and Yuxin Ye}, year = {2017}, doi = {10.1109/ACCESS.2017.2753381}, url = {https://doi.org/10.1109/ACCESS.2017.2753381}, researchr = {https://researchr.org/publication/ZhangOY17-0}, cites = {0}, citedby = {0}, journal = {IEEE Access}, volume = {5}, pages = {18725-18736}, }