owen:
salsa, lurch, spin, nusmv on the same spec and propoerties

lots of data mining:
different tools on the same defect data sets

some effort estimation:
different tools on the same data sets

testing mutation stuff:
different mutators

brat05:
model checking, testing, runtime monitoring on historical faults on martian rover software