On Statistical Structural Testing of Synchronous Data Flow Programs.
Pascale Thévenod-FosseChristine MazuetYves CrouzetPublished in: EDCC (1994)
Keyphrases
- data flow
- symbolic execution
- control flow
- object oriented software
- database machine
- software testing
- digital signal processing
- data transfer
- statistical models
- object oriented
- statistical analysis
- structural information
- statistical methods
- test cases
- high speed
- case study
- bottle neck
- concurrent programs
- asynchronous communication
- design patterns
- software engineering
- data warehouse