A unified integration and component testing approach from deterministic stream X-machine specifications.
Florentin IpateDimitris DranidisPublished in: Formal Aspects Comput. (2016)
Keyphrases
- printed circuit boards
- data streams
- real time
- formal verification
- flowshop
- sliding window
- test set
- delay insensitive
- artificial intelligence
- high level
- streaming data
- database
- testing process
- neural network
- stream processing
- stream data
- software testing
- parallel machines
- formal specification
- scheduling problem
- information integration
- web services
- black box
- data fusion
- test cases
- data integration
- relational databases
- software engineering