Enhancing Structural Software Coverage by Incrementally Computing Branch Executability

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

by Mauro Baluda, Pietro Braione, Giovanni Denaro, Mauro Pezzè

Reference:

Enhancing Structural Software Coverage by Incrementally Computing Branch Executability Mauro Baluda, Pietro Braione, Giovanni Denaro, Mauro PezzèIn Software Quality Journal, , volume 19, 2011

Bibtex Entry:

@string{lumi="STAR,LTA"}
@article{baluda:enhancing:sqj:2011,
  groups = LUMI,
  author = {Mauro Baluda and Pietro Braione and Giovanni Denaro and Mauro Pezz{\`e}},
  title = {Enhancing Structural Software Coverage by Incrementally Computing Branch Executability},
  journal = {Software Quality Journal},
  volume = 19,
  number = 4,
  pages = {725--751},
  month = dec,
  year = 2011,
  pdf = {papers/2011-sqj-baluda-coverage.pdf}
}