@InProceedings{chaterjee10analyzing,
  author = 	 {Krishnendu Chaterjee and Luca de Alfaro and Vishwanath Raman and C\'{e}sar S\'{a}nchez},
  title = 	 {Analyzing the Impact of Change in Multithreaded Programs},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {Proc. of the 13th Int'l Conf on Fundamental Aspects of Software Engineering (FASE'2010)},
  pages = 	 {293-307},
  year = 	 {2010},
  OPTeditor = 	 {},
  volume = 	 {6013},
  OPTnumber = 	 {},
  series = 	 {Lecture Notes in Computer Science},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTorganization = {},
  publisher = {Springer-Verlag},
  OPTnote = 	 {},
  OPTannote = 	 {}
}