Login / Signup

Testing Formula Satisfaction.

Eldar FischerYonatan GoldhirshOded 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