Exhaustive testing to detect software errors constantly demands more time within development cycles. Software errors with catastrophic consequences have often pushed forward innovations in software ...