?url_ver=Z39.88-2004&rft_id=10.1007%2Fs10836-013-5401-0&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.aufirst=L.&rft.aulast=Xia&rft.au=Xia%2C+L.&rft.date=2013&rft.volume=29&rft.issn=09238174&rft.title=Journal+of+Electronic+Testing%3A+Theory+and+Applications+(JETTA)&rft.atitle=Survey+and+evaluation+of+automated+model+generation+techniques+for+high+level+modeling+and+high+level+fault+modeling&rft.issue=6&rft.pages=861-877&rft.genre=article