Testing Square-Freeness of Strings Compressed by Balanced Straight Line Program.
Wataru MatsubaraShunsuke InenagaAyumi ShinoharaPublished in: CATS (2009)
Keyphrases
- straight line
- hough transform
- compressed pattern matching
- test cases
- suffix array
- string matching
- symbolic execution
- curvature estimation
- feature points
- line detection
- line segments
- vanishing points
- pattern matching
- radon transform
- search based software testing
- data compression
- line drawings
- intersection points
- data structure
- software testing
- machine learning
- dominant points
- compression algorithm