All Stories

  1. MLCQ
  2. Mutants as Patches: Towards a formal approach to Mutation Testing