injecting faults in source code is not ideal because recompiling source is slow and cumbersome
instead, we may want to inject faults at the bytecode level and expect a violation in some test. If no violation is found despite the fault, we need to report it. Ideally, we can tie it back to a source location so that it's actionable.
injecting faults in source code is not ideal because recompiling source is slow and cumbersome
instead, we may want to inject faults at the bytecode level and expect a violation in some test. If no violation is found despite the fault, we need to report it. Ideally, we can tie it back to a source location so that it's actionable.