Synthesis of Infinite-State Abstractions and Their Use for Software Validation.
Carlo GhezziAndrea MocciMario SangiorgioPublished in: Specification, Algebra, and Software (2014)
Keyphrases
- software systems
- software development
- software tools
- software design
- software architecture
- software developers
- real time
- data mining
- program synthesis
- commercial software
- computer systems
- model based testing
- hardware design
- software maintenance
- design patterns
- case study
- decision trees
- web services
- learning algorithm
- databases