@mastersthesis{宮本敬三2010,
  author = {宮本 敬三},
  title = {アサーション動的生成を目的としたテストケース制約のESC/Java2を利用した導出},
  school = {大阪大学},
  year = {2010},
  month = {feb}
}