Sibyl: Improving Software Engineering Tools with SMT Selection.
Will LeesonMatthew B. DwyerAntonio FilieriPublished in: ICSE (2023)
Keyphrases
- software engineering
- software engineers
- design patterns
- software developers
- software reuse
- software tools
- software development
- decision support
- software systems
- reverse engineering
- formal methods
- object oriented
- software engineering practices
- tool support
- building blocks
- neural network
- design principles
- information systems
- object oriented software engineering
- software components
- design tools
- high level
- artificial intelligence