著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
Haijun Wang and Ting Liu and Xiaohong Guan and Chao Shen and Qinghua Zheng and Zijiang Yang,Dependence Guided Symbolic Execution,IEEE Transactions on Software Engineering,0098-5589,Institute of Electrical and Electronics Engineers (IEEE),2017-03-01,43,3,252-271,https://cir.nii.ac.jp/crid/1363670320656056704,https://doi.org/10.1109/tse.2016.2584063