Cross-checking oracles from intrinsic software redundancy

Antonio Carzaniga, Alberto Goffi, Alessandra Gorla, Andrea Mattavelli, Mauro Pezzè. Cross-checking oracles from intrinsic software redundancy. In Pankaj Jalote, Lionel C. Briand, André van der Hoek, editors, 36th International Conference on Software Engineering, ICSE '14, Hyderabad, India - May 31 - June 07, 2014. pages 931-942, ACM, 2014. [doi]

@inproceedings{CarzanigaGGMP14,
  title = {Cross-checking oracles from intrinsic software redundancy},
  author = {Antonio Carzaniga and Alberto Goffi and Alessandra Gorla and Andrea Mattavelli and Mauro Pezzè},
  year = {2014},
  doi = {10.1145/2568225.2568287},
  url = {http://doi.acm.org/10.1145/2568225.2568287},
  researchr = {https://researchr.org/publication/CarzanigaGGMP14},
  cites = {0},
  citedby = {0},
  pages = {931-942},
  booktitle = {36th International Conference on Software Engineering, ICSE '14, Hyderabad, India - May 31 - June 07, 2014},
  editor = {Pankaj Jalote and Lionel C. Briand and André van der Hoek},
  publisher = {ACM},
  isbn = {978-1-4503-2756-5},
}