Intrinsic software redundancy for self-healing software systems, automated oracle generation

Carzaniga, AntonioGoffi, AlbertoGorla, AlessandraMattavelli, AndreaPerino, NicolòPezzè, MauroTonella, PaoloAßmann, UweDemuth, BirgitSpitta, ThorstenPüschel, GeorgKaiser, Ronny2017-06-302017-06-302015978-3-88579-633-6Software systems are intrinsically redundant. We identify the sources of intrinsic software redundancy in good design practices, and suggest how to exploit intrinsic software redundancy to augment software systems with self-healing capabilities and to automatically generate test oracles.enIntrinsic software redundancy for self-healing software systems, automated oracle generationText/Conference Paper1617-5468