Debugging assertion failures in software controllers using a reference model.
Kajori BanerjeeM. Santhosh PrabhuPallab DasguptaPublished in: ISEC (2013)
Keyphrases
- reference model
- software architecture
- reference models
- metamodel
- software systems
- root cause
- software testing
- software development
- design patterns
- reinforcement learning
- software engineering
- development process
- hardware designs
- program understanding
- software maintenance
- test cases
- user interface
- autonomous agents
- control system
- database systems
- program slicing
- database