Software error detection through testing and analysis. - Huang J C (New Jersey Wiley, 2009)
Keywords: I I C