Introducing Test Case Derivation Techniques into Traditional Software Development: Obstacles and Potentialities | IEEE Conference Publication | IEEE Xplore