Automatic Property Checking for Software: Past, Present and Future.
Sriram K. RajamaniPublished in: SEFM (2006)
Keyphrases
- software development
- software systems
- real world
- long term
- software package
- user interface
- software tools
- fully automatic
- data sets
- historical information
- commercial software
- hardware design
- requirements engineering
- software design
- semi automatic
- source code
- case study
- social networks
- neural network
- test cases
- software architecture
- embedded systems
- personal computer
- case based reasoning
- software packages
- artificial intelligence
- real time
- past observations