@inproceedings{SIGAda-2001-Santhanam,
	author        = "Usha Santhanam",
	booktitle     = "{Proceedings ACM SIGAda Annual International Conference (SIGAda 2001)}",
	doi           = "10.1145/507574.507582",
	pages         = "31--38",
	publisher     = "{ACM}",
	title         = "{Automating software module testing for FAA certification}",
	year          = 2001,
}