We consider the automatic online synthesis of black-box test cases from functional requirements specified as automata for reactive implementations. The goal of the tester is to reach some given state, so as to satisfy a coverage criterion, while monitoring the violation of the requirements. We devel...
Research Assistant
AI chat, annotations, notes & similar papers
No comments yet
Be the first to share your thoughts!