Reducing Complexity of Data Flow Testing in the Verification of a IEC-62304 Flexible Workflow System.
Federico CrucianiEnrico VicarioPublished in: SAFECOMP (2011)
Keyphrases
- data flow
- symbolic execution
- object oriented software
- control flow
- database machine
- data transfer
- digital signal processing
- workflow model
- control system
- software testing
- computational complexity
- database
- systolic array
- worst case
- test generation
- bottle neck
- formal verification
- model checking
- test set
- object oriented
- case study
- databases