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]
Abstract is missing.