Improving Generalization in Software IC3.
Tim LangeFrederick PrinzMartin R. NeuhäußerThomas NollJoost-Pieter KatoenPublished in: SPIN (2018)
Keyphrases
- software development
- computer systems
- software packages
- user interface
- software projects
- software platform
- software design
- integrated circuit
- software architecture
- software tools
- source code
- information retrieval
- database
- design patterns
- object oriented
- software developers
- similarity measure
- modeling language
- database systems
- analysis tool
- information systems