@mastersthesis{selgraduation146,
    author = {竹之内 啓太},
    title = {{インスタンスの型を考慮したJava プログラムの実行経路の列挙手法の提案}},
    school = {The University of Osaka},
    address = {Osaka, Japan},
    year = 2015,
    month = feb,
    type = {Graduation Thesis},
}