Login / Signup

BWDM: Test Cases Automatic Generation Tool Based on Boundary Value Analysis with VDM++.

Tetsuro KatayamaHiroki TachiyamaYoshihiro KitaHisaaki YamabaKentaro AburadaNaonobu Okazaki
Published in: J. Robotics Netw. Artif. Life (2017)
Keyphrases
  • test cases
  • test sequences
  • test generation
  • test case selection
  • training set
  • operating system
  • black box
  • regression testing
  • number of test cases
  • test suite reduction