Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI)
Mauro Baluda and Giovanni Denaro and Mauro Pezze,Bidirectional Symbolic Analysis for Effective Branch Testing,IEEE Transactions on Software Engineering,0098-5589,Institute of Electrical and Electronics Engineers (IEEE),2016-05-01,42,5,403-426,https://cir.nii.ac.jp/crid/1361699996448170368,https://doi.org/10.1109/tse.2015.2490067