Bidirectional Symbolic Analysis for Effective Branch Testing

Baluda, Mauro; Denaro, Giovanni; Pezzè, Mauro

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
}