Login / Signup
Knowledge-based functional specification of test and maintenance programs.
Chantal Robach
Daniel Lutoff
Nouar Garcia
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1989)
Keyphrases
</>
provably correct
real time
set of test cases
web services
test data
software maintenance
control flow
functional language
neural network
decision making
website
expert systems
relational databases
object oriented
specification language
test case generation