Searching for "Black Box Checking." – sorted by Relevance.
27 documents found, showing 1 through 10.
Next 10 →
-
Black box checking
- … Black Box Checking Doron Peled The University of Texas at Austin Department of Electrical…
- Cited by 28 (1 self) – Add To MetaCart
-
Qu: Grey-box checking
- … learning the model (black box checking). However, learning may be an expensive task, thus it needs…
- Cited by 1 (0 self) – Add To MetaCart
-
Adaptive Model Checking
- …, we have suggested the idea of black box checking, where verication starts without any model…
- Cited by 39 (1 self) – Add To MetaCart
-
Abstract Testing Security Properties of Protocol Implementations – a Machine Learning Based Approach
- … security and reliability, such as formal validation and black-box testing, are limited to checking…
- Add To MetaCart
-
unknown title
- …, we have suggested the idea of black box checking, where verification starts without any model…
- Add To MetaCart
-
Logic and Algebra in Concurrency
- … Lunch 13:10-14:10 D. Peled (Bell Labs, USA): Black box checking 14:30-15:00 R. Morin (Dresden…
- Add To MetaCart
-
Using Program Checking to Ensure the Correctness of Compiler Implementations
- … the classical notion of black-box program checking to program checking with certificates. Our checking approach…
- Cited by 7 (2 self) – Add To MetaCart
-
Minimization, learning, and conformance testing of boolean programs
- … specifications. Finally, we apply our results on learning and test generation to perform model checking of black-box…
- Cited by 6 (4 self) – Add To MetaCart
-
A Comprehensive Approach to Assessing and Analyzing 1149.1 Test Logic
- …. Previous work [3] shows how simulation of black box checks based on Unique Input Output (UIO) sequences can…
- Cited by 1 (0 self) – Add To MetaCart
-
Contents
- … . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 4.3 Approximate Black Box Checking…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
