Luke Pierce, Spyros Tragoudas. Unreachable code identification for improved line coverage. In Sixteenth International Symposium on Quality Electronic Design, ISQED 2015, Santa Clara, CA, USA, March 2-4, 2015. pages 345-351, IEEE, 2015. [doi]
Abstract is missing.