Verification testing of HEVC compression performance for UHD video.
Rajitha WeerakkodyMarta MrakVittorio BaronciniJens-Rainer OhmThiow Keng TanGary J. SullivanPublished in: GlobalSIP (2014)
Keyphrases
- formal verification
- video content
- video data
- compression standards
- test generation
- video sequences
- video compression standard
- symbolic execution
- video codec
- compression efficiency
- video streams
- video signals
- compression artifacts
- real time
- jpeg images
- image compression
- multimedia
- video clips
- compression ratio
- multimedia data
- video retrieval
- digital video
- data compression
- perceptual quality
- test cases
- compression scheme
- video frames
- model checking
- video surveillance
- compression algorithm
- video coding
- space time
- image quality