headerphoto

Milu Infrastructure

Milu is an efficient and flexible C mutation testing tool designed for both first order and highe order mutation testing. The name 'Milu' is from a deer composed of four other animals. It has a horse’s head, a deer’s antlers, a donkey’s body and a cow’s hooves. More...

Downloads

miluf_0.8v | Quick example

System requirements:

  • Linux 2.4+ (has been tested in the Ubuntu and the Gentoo distribution)
  • GCC 4.2+
  • Glib2.0+
  • Milu_GUI requires glade3.0

Publications

Yue Jia and Mark Harman.
Milu: A Customizable, Runtime-Optimized Higher Order Mutation Testing Tool for the Full C Language
TAIC PART'08, Windsor, UK, 29th-31st August 2008.

Yue Jia and Mark Harman.
Constructing Subtle Faults Using Higher Order Mutation Testing
SCAM'08, Beijing, China, 28th-29th September 2008.

M.T. Words

"In practice, if the software contains a fault, there will usually be a set of mutants that can only be killed by a test case that also detects that fault."

- Geist

Acknowledgement

This project is supported by the EPSRC grant, EP/D050863(SEBASE)
and the ORSAS.