Scalable, Constrained Random Software Driven Verification.
Sainath KarlapalemShashank VenugopalPublished in: MTV (2016)
Keyphrases
- software development
- software systems
- user interface
- software tools
- neural network
- software maintenance
- software platform
- commercial software
- randomly generated
- embedded systems
- software architecture
- model checking
- design patterns
- personal computer
- lightweight
- data driven
- software developers
- expert systems
- software package
- software application
- information systems
- data sets