Identifying Relevant Changes for Incremental Verification of Evolving Software Systems.
Bharti ChimdyalwarAnushri JanaShrawan KumarAnkita KhadsareVaidehi GhimePublished in: SANER (2022)
Keyphrases
- software systems
- software engineering
- source code
- software design
- software development
- software components
- software architecture
- software developers
- high assurance
- software projects
- software maintenance
- metamodel
- software engineers
- software quality
- linux kernel
- complex software systems
- component based software
- software testing
- open source
- functional requirements
- decision making
- software intensive systems
- software artifacts
- maintenance activities
- case study
- web services
- databases