Sign in

An Improvement of Minimized Assumption Generation Method for Component-Based Software Verification.

Pham Ngoc HungViet Ha NguyenToshiaki AokiTakuya Katayama
Published in: RIVF (2012)
Keyphrases
  • generation method
  • feature generation
  • data sets
  • real time
  • clustering algorithm
  • digital libraries
  • preprocessing