Yoshinao Ishii, Takuro Kutsuna. Effective Fault Localization Using Dynamic Slicing and an SMT Solver. In Ninth IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2016, Chicago, IL, USA, April 11-15, 2016. pages 180-188, IEEE Computer Society, 2016. [doi]
No references recorded for this publication.
No citations of this publication recorded.