Login / Signup
Testing Formula Satisfaction.
Eldar Fischer
Yonatan Goldhirsh
Oded Lachish
Published in:
SWAT (2012)
Keyphrases
</>
user satisfaction
service quality
customer satisfaction
real time
neural network
test generation
databases
social networks
decision making
logic programs
software testing
linear temporal logic