Andreas Zeller. Test complement exclusion: guarantees from dynamic analysis. In Andrea De Lucia, Christian Bird, Rocco Oliveto, editors, Proceedings of the 2015 IEEE 23rd International Conference on Program Comprehension, ICPC 2015, Florence/Firenze, Italy, May 16-24, 2015. pages 1-2, ACM, 2015. [doi]
Abstract is missing.