An Approach for Specification based Testing for Platforms.

Ranzan Nadaf R. P. Jagadeesh Chandra Bose Pranav Singh

Published in: IASTED Conf. on Software Engineering (2006)

Keyphrases

high level
formal verification
test case generation
real time
formal specification
test cases
neural network
multi agent
learning environment
test data
software testing
specification language
code generation