Login / Signup
An Improvement of Minimized Assumption Generation Method for Component-Based Software Verification.
Pham Ngoc Hung
Viet Ha Nguyen
Toshiaki Aoki
Takuya Katayama
Published in:
RIVF (2012)
Keyphrases
</>
generation method
feature generation
data sets
real time
clustering algorithm
digital libraries
preprocessing