Login / Signup
Dynamite 2.0: New Features Based on UnSAT-Core Extraction to Improve Verification of Software Requirements.
Mariano M. Moscato
Carlos López Pombo
Marcelo F. Frias
Published in:
ICTAC (2010)
Keyphrases
</>
feature vectors
software requirements
model checking
image features
automatically extracted
feature extraction
low level
real world
database systems
natural language
classification accuracy
data driven
knowledge based systems
software architecture