@book{340886,
	author = {Alex Alberto},
	title = {Formal mutation testing for Circus},
	year = {2017},
	note = {CJ0030}
}