Modeling Non-deterministic C Code with Active Objects.

Nathan Wasser Asmae Heydari Tabar Reiner Hähnle

Published in: FSEN (2019)

Keyphrases

website
d objects
moving objects
object recognition
real time
source code
object classes
object level
modeling method
data structure
video sequences
multiscale
relational databases
attribute values
object segmentation
complex scenes
real world objects