Cross-checking oracles from intrinsic software redundancy.

Antonio Carzaniga Alberto Goffi Alessandra Gorla Andrea Mattavelli Mauro Pezzè

Published in: ICSE (2014)

Keyphrases

test cases
case study
software systems
software tools
analysis tool
active learning
computer systems
embedded systems
personal computer
software package
website
high level
computational complexity
software development
software architecture
software design