Login / Signup

Software Library Usage Pattern Extraction Using a Software Model Checker.

Chang LiuEn YeDebra J. Richardson
Published in: ASE (2006)
Keyphrases
  • software development
  • pattern extraction
  • software systems
  • software architecture
  • formal methods
  • source code
  • model checking
  • knowledge base
  • spatio temporal
  • data model
  • association rule mining
  • software components