Verifying object construction.

Martin Kellogg Manli Ran Manu Sridharan Martin Schäf Michael D. Ernst

Published in: ICSE (2020)

Keyphrases

complex objects
d objects
neural network
real world
genetic algorithm
moving objects
object tracking
data objects
object segmentation
multiple objects
object position
database
object model
deformable objects
object representation