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 105 (34 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.
