Novel Test Case Design Techniques for Logical Specifications of Safety Critical Systems Software in Aerial Vehicle Author(s): Lakshmi KVNS and Sanjeev Kumar Download