Failure Estimation of Behavioral Specifications.

Debasmita Lohar Anudeep Dunaboyina Dibyendu Das Soumyajit Dey

Published in: SETTA (2016)

Keyphrases

databases
high level
estimation algorithm
formal specification
neural network
decision making
estimation accuracy
database systems
software engineering
logic programs
accurate estimation
specification language
estimation process
behavioral model