Searching for "Symbolic Execution and Model Checking for Testing." – sorted by Relevance.
4 documents found, showing 1 through 4.
-
Generalized Symbolic Execution for Model Checking and Testing
- …Generalized Symbolic Execution for Model Checking and Testing Sarfraz Khurshid 1 , Corina S…
- Cited by 88 (25 self) – Add To MetaCart
-
Quality Assurance
- … execution � Model checking � Testing (including fault injection) Chair of Software Engineering Reviews Chair…
- Add To MetaCart
-
� Company-wide Software Quality Plan:
- … execution � Model checking � Testing (including fault injection) Chair of Software Engineering Programming…
- Add To MetaCart
-
Lecture 25: Quality Assurance
- … � Reviews Dynamic (execution, actual or simulated): � Symbolic execution � Model checking � Testing…
- Add To MetaCart
Showing 1 through 4.
