SAT-Analyser Traceability Management Tool Support for DevOps.
Iresha D. RubasingheDulani MeedeniyaIndika PereraPublished in: J. Inf. Process. Syst. (2021)
Keyphrases
- tool support
- software development
- software tools
- software engineering
- design decisions
- software projects
- satisfiability problem
- test suite
- artificial intelligence
- requirements engineering
- sat solvers
- management system
- databases
- project management
- stochastic local search
- development process
- open source
- information systems
- data mining