Article,

Test generation with Satisfiability Modulo Theories solvers in model-based testing.

, , and .
Softw. Test. Verification Reliab., 24 (7): 499-531 (2014)

Meta data

Tags

Users

  • @dblp

Comments and Reviews