14 September 2011 Share on Facebook Share on LinkedIn Share on X Tool that supports validation of software models or system. Related posts: Software Infrastructure Back to Software Testing Glossary