Run-Time Verification of Black-Box Components Using Behavioral Specifications: An Experience Report on Tool Development.
Frank S. de BoerStijn de GouwPublished in: FACS (2012)
Keyphrases
- black box
- integration testing
- component based software
- white box
- unit testing
- black boxes
- test cases
- case study
- white box testing
- commercial off the shelf
- software engineering
- concurrent systems
- hybrid systems
- rule extraction
- state transition
- software components
- learning technology standards
- development process
- multimedia