@Proceedings{	  garca.ea:proceedings:2006,
  abstract	= {This book constitutes the refereed proceedings of the
		  International Workshop on Formal Aspects of Testing and
		  Runtime Verification, FATES/RV 2006, held in Seattle, USA
		  in August 2006 in conjuction with FLoC.The 14 revised full
		  papers presented together with twoinvited papers were
		  carefully reviewed and selected from 34 submissions. },
  address	= {Seattle, USA},
  copyright	= {© Springer-Verlag},
  copyrighturl	= {http://dx.doi.org/10.1007/11940197},
  editor	= {Manuel N{\'u}{\~n}ez Garc{\'\i}a and Klaus Havelund and
		  Grigore Rosu and Burkhart Wolff},
  language	= {USenglish},
  note		= {LNCS 4262.},
  publisher	= {Springer Verlag},
  title		= {Proceedings of the International Workshop on Formal
		  Aspects of Testing and Runtime Verification (FATES/RV)},
  year		= 2006,
  user		= {wolff}
}