Automated Testing EJB Components Based on Algebraic Specifications.

Liang Kong Hong Zhu Bin Zhou

Published in: COMPSAC (2) (2007)

Keyphrases

information retrieval
formal verification
case study
higher order
operational semantics
application developers
semi automated
business applications
fully automated
computer aided
building blocks
databases
end users
high level
website
information systems
artificial intelligence
neural network