?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.au=Wieczorek%2C+S.&rft.aulast=Wieczorek&rft.aufirst=S.&rft.date=2009&rft.atitle=Applying+Model+Checking+to+Generate+Model-based+Integration+Tests+from+Choreography+Models&rft.title=21st+IFIP+Int.+Conference+on+Testing+of+Communicating+Systems+and+the+9th+Int.+Workshop+on+Formal+Approaches+to+Testing+of+Software+TESTCOM%2FFATES+2009&rft.genre=article