6a2f48deacae002

http://nhiro.org.s3.amazonaws.com/5/6/5689759b5c692244395bbfb7738a9af5.jpg https://gyazo.com/5689759b5c692244395bbfb7738a9af5

(OCR text)

論文紹介

Thomas Arts and Simon Thompson, "From Test Cases

to FSMS:Augmented Test-driven Development and

Property Inference"

ユニットテストの結果からシステム内部の状態遷

移図を推定し、シナリオテストの自動生成&テス

トの不足の指摘をする

13 4A14H ZA