Synthesizing Parameterized Unit Tests to Detect Object Invariant Violations.
Maria ChristakisPeter MüllerValentin WüstholzPublished in: SEFM (2014)
Keyphrases
- d objects
- complex objects
- detection algorithm
- invariant representation
- image segmentation
- moving objects
- detection method
- object model
- automatic detection
- detecting objects
- database
- affine transformation
- data objects
- spatial information
- object segmentation
- image regions
- multiple objects
- digital objects
- background clutter
- geometric transformations
- deformable objects
- multi view
- neural network