@article {Simula.SE.407,
	title = {Improving the Coverage Criteria of UML State Machines Using Data Flow Analysis},
	journal = {Software Testing, Verification and Reliability},
	volume = {20},
	number = {3},
	year = {2010},
	month = {September},
	author = {Briand, Lionel and Labiche, Yvan and Lin, Qin}
}
@inproceedings {Simula.SE.58,
	title = {Improving Statechart Testing Criteria Using Data Flow Information},
	journal = {IEEE Int. Symposium on Software Reliability Engineering (ISSRE)},
	year = {2005},
	publisher = {Publisher},
	type = {Conference},
	isbn = {0000000000},
	author = {Briand, Lionel and Labiche, Yvan and Lin, Qin}
}
