SCCP/x: a compilation profile to support testing and verification of optimized code.

Published in: CASES (2007)

Keyphrases

code generation
symbolic execution
source code
test generation
face verification
model checking
end users
databases
learning process
knowledge management
database
decision support
expert systems
software testing
social networks
formal verification
neural network
real time