Converting Specifications in a Subset of Object-Z to Skeletal Spec# Code for both Static and Dynamic Analysis.

Xiufeng Ni Cui Zhang

Published in: J. Object Technol. (2008)

Keyphrases

dynamic analysis
static analysis
reverse engineering
d objects
source code
malicious code
formal specification
model checking
unit testing
complex objects
abstract interpretation
malicious behavior
high level
multiple objects
object model
object segmentation
object classes
object recognition