Login / Signup

Application of Pairwise Testing into BWDM which is a Test Case Generation Tool for the VDM++ Specification.

Tetsuro KatayamaFuta HirakobaYoshihiro KitaHisaaki YamabaKentaro AburadaNaonobu Okazaki
Published in: J. Robotics Netw. Artif. Life (2019)
Keyphrases
  • test case generation
  • pairwise
  • test cases
  • software testing
  • java programs
  • test suite
  • object oriented systems
  • test data generation
  • data sets
  • real world
  • high level
  • query language
  • simulated annealing algorithm