White-Box Testing by Combining Deduction-Based Specification Extraction and Black-Box Testing.

Bernhard Beckert Christoph Gladisch

Published in: TAP (2007)

Keyphrases

white box testing
black box
software testing
white box
black boxes
test cases
state transition
rule extraction
quality assurance
integration testing
high level
hybrid systems
inference rules
software development
databases
formal specification
case study
web services
image processing
information systems
neural network