@thesis{thesis,
		author={Irfan  Muhammad},
		title ={Pembangkitan kasus uji program java berdasarkan model checking},
		year={2019},
		url={},
		abstract={1565 - FTIS}
		}