@inproceedings{ISSTA-1994-BertolinoM,
	author        = "Antonia Bertolino and Martina Marré",
	booktitle     = "{Proceedings of the International Symposium on Software Testing and Analysis}",
	doi           = "10.1145/186258.187203",
	pages         = "202",
	series        = "{Software Engineering Notes}",
	title         = "{A Meaningful Bound for Branch Testing}",
	year          = 1994,
}