Modeling for image processing system validation, verification and testing.
Xing LiRamesh NagarajanPublished in: A-MOST (2005)
Keyphrases
- image processing
- formal verification
- test generation
- signal processing
- image enhancement
- model checking
- test cases
- image compression
- model based testing
- colored petri nets
- genetic algorithm
- denoising
- color images
- video sequences
- artificial intelligence
- information retrieval
- medical imaging
- partial differential equations
- digital image processing
- modeling method
- data mining
- data sets
- model validation
- real time
- database