Cross-checking Oracles from Intrinsic Software Redundancy

Carzaniga, Antonio; Goffi, Alberto; Gorla, Alessandra; Mattavelli, Andrea; Pezzè, Mauro

by Antonio Carzaniga, Alberto Goffi, Alessandra Gorla, Andrea Mattavelli, Mauro Pezzè

Reference:

Cross-checking Oracles from Intrinsic Software Redundancy Antonio Carzaniga, Alberto Goffi, Alessandra Gorla, Andrea Mattavelli, Mauro PezzèIn ICSE '14: Proceedings of the International Conference on Software Engineering, ACM, 2014

Bibtex Entry:

@string{star="STAR"}
@string{acm="ACM"}
@inproceedings{Carzaniga:CrossCheck:ICSE:2014,
  groups = STAR,
  author = {Carzaniga, Antonio and Goffi, Alberto and Gorla,
                  Alessandra and Mattavelli, Andrea and Pezz{\`e},
                  Mauro},
  booktitle = {Proceedings of the International Conference on
                  Software Engineering},
  pages = {931--942},
  publisher = {ACM},
  series = {ICSE '14},
  Pdf = {papers/2014-icse-goffi-ccoracles.pdf},
  title = {Cross-checking Oracles from Intrinsic Software
                  Redundancy},
  year = 2014
}