Expressing and checking intended changes via software change contracts.
Jooyong YiDawei QiShin Hwei TanAbhik RoychoudhuryPublished in: ISSTA (2013)
Keyphrases
- source code
- software systems
- software architecture
- software development
- software tools
- software maintenance
- information systems
- supply chain
- software projects
- maintenance activities
- neural network
- software application
- analysis tool
- software package
- project management
- knowledge representation
- decision trees
- genetic algorithm