Login / Signup

Mobile agent-based regression test case generation using model and formal specifications.

Pardeep Kumar AroraRajesh Bhatia
Published in: IET Softw. (2018)
Keyphrases
  • high level
  • data model
  • database
  • search space
  • formal specification
  • test suite