GOAL-ORIENTED AUTOMATIC TEST CASE GENERATORS FOR MC/DC COMPLIANCY Topics: Reliable Software Technologies In Proceedings of the Second International Conference on Software and Data Technologies - Volume 1: ICSOFT, 290-295, 2007 , Barcelona, Spain