by Mauro Baluda, Giovanni Denaro, Mauro Pezzè
Reference:
Bidirectional Symbolic Analysis for Effective Branch Testing Mauro Baluda, Giovanni Denaro, Mauro PezzèIn IEEE Transactions on Software Engineering, IEEE Computer Society, volume 42, 2016
Bibtex Entry:
@string{star="STAR"}
@string{ieee="IEEE Computer Society"}
@article{Baluda:BidirectionalSymbExe:TSE:2016,
groups = STAR,
author = {Baluda, Mauro and Denaro, Giovanni and Pezz{\`{e}}, Mauro},
journal = {IEEE Transactions on Software Engineering},
title = {Bidirectional Symbolic Analysis for Effective Branch
Testing},
year = 2016,
volume = 42,
number = 5,
pages = {403--426},
publisher = IEEE
}