Modifying test suite composition to enable effective predicate-level statistical debugging

摘要: In order to effectively deal with increased complexity and production pressures for the development of safety-critical systems, organizations need automated assistance in program analysis testing. This is intensified systems that make heavy use floating-point computations. Challenges related computations exist fields testing, formal verification debugging. While testing provide mechanisms identify possible failures within debugging techniques are employed automatically isolate cause failure. Recent advances predicate-level statistical have addressed localizing faults due Here, we present a methodology modify composition test suite enable debuggers more causes systems. Our makes suites significantly effective class debuggers, including those built address