• Efficient specification-based testing using incremental techniques 

    Uzuncaova, Engin (2012-10-10)
    As software systems grow in complexity, the need for efficient automated techniques for design, testing and verification becomes more and more critical. Specification-based testing provides an effective approach for checking ...