Return to Article Details An automated approach to validate requirements specification Download Download PDF