Goal-Oriented Automatic Test Case Generators for MC/DC Compliancy

Emine G. Aydal, Jim Woodcock, Ana Cavalcanti. Goal-Oriented Automatic Test Case Generators for MC/DC Compliancy. In Joaquim Filipe, Boris Shishkov, Markus Helfert, editors, ICSOFT 2007, Proceedings of the Second International Conference on Software and Data Technologies, Volume SE, Barcelona, Spain, July 22-25, 2007. pages 290-295, INSTICC Press, 2007.