Refining Approximations in Software Predicate Abstraction.
Thomas BallByron CookSatyaki DasSriram K. RajamaniPublished in: TACAS (2004)
Keyphrases
- software systems
- computer systems
- software design
- software tools
- software architecture
- software maintenance
- commercial software
- neural network
- computer software
- software evolution
- software package
- personal computer
- software projects
- design patterns
- first order logic
- software development
- software engineering
- user interface
- information systems
- genetic algorithm
- real world