Testing of Software and Communicating SystemsAlexandre Petrenko,Margus Veanes,Jan Tretmans · First published 2008Open the Tome
The Unknown Component ProblemTiziano Villa, Robert K. Brayton, Alan Mishchenko, Alexandre Petrenko, Alberto Sangiovanni-Vincentelli, Nina Yevtushenko · First published 2007Open the Tome
