About ExMAn

The authors of ExMAn are Jeremy S. Bradbury (Univeristy of Ontario Institute of Technology), James R. Cordy (Queen's University) and Juergen Dingel (Queen's University). We have developed our experimental mutation analysis framework (ExMAn) to compare and evaluate different fault detection techniques like model checking and testing using program mutation.

ExMAn Screenshots