SMTソルバとPDGを利用したJava テストケース自動導出手法
修士論文, 大阪大学
タグ: test, generation
@mastersthesis{小林和貴2012,
author = {小林 和貴},
title = {SMTソルバとPDGを利用したJava テストケース自動導出手法},
school = {大阪大学},
year = {2012},
month = {feb}
}@mastersthesis{小林和貴2012,
author = {小林 和貴},
title = {SMTソルバとPDGを利用したJava テストケース自動導出手法},
school = {大阪大学},
year = {2012},
month = {feb}
}