论文:SeijasPL,ThompsonS,FranciscoMÁ.ModelextractionandtestgenerationfromJUnittestsuit...