@inproceedings{panichella2015reformulating,
 author = {<NAME> <NAME> <NAME>},
 booktitle = {2015 IEEE 8th international conference on software testing, verification and validation (ICST)},
 organization = {IEEE},
 pages = {1--10},
 title = {Reformulating branch coverage as a many-objective optimization problem},
 year = {2015}
}

