M-String Segmentation: A Refined Abstract Domain for String Analysis in C Programs.
Agostino CortesiMartina OlliaroPublished in: TASE (2018)
Keyphrases
- image analysis
- pattern matching
- regular expressions
- data structure
- level set
- automated analysis
- segmentation algorithm
- multiscale
- image segmentation
- markov random field
- domain specific
- energy function
- domain independent
- fully automatic
- quantitative analysis
- edit distance
- object segmentation
- segmented images
- data sets