Loading...
Please wait, while we are loading the content...
Similar Documents
White-box testing by combining deduction-based specification extraction and black-box testing (2007)
| Content Provider | CiteSeerX |
|---|---|
| Author | Beckert, Bernhard Gladisch, Christoph |
| Description | Proceedings, Testing and Proofs |
| File Format | |
| Language | English |
| Publisher | Springer |
| Publisher Date | 2007-01-01 |
| Access Restriction | Open |
| Subject Keyword | White-box Testing Test-case Generation Black-box Testing Clear Interface Key Program Verification System Wide Range Specification Extraction Deductive Program Verification System Black-box Testing Tool Deduction-based Specification Extraction Program Analysis Black-box Testing Method Program Structure Program Verification Calculus |
| Content Type | Text |
| Resource Type | Article |