Reformulating branch coverage as a many-objective optimization problem

Publication
2015 IEEE 8th international conference on software testing, verification and validation (ICST)