Semi-formal test generation and resolving a temporal abstraction problem in practice: industrial application.
Julia DushinaMike BenjaminDaniel GeistPublished in: ASP-DAC (2003)
Keyphrases
- industrial applications
- test generation
- temporal abstractions
- test cases
- static analysis
- clinical data
- quality assurance
- temporal patterns
- temporal data
- software testing
- reinforcement learning
- influence diagrams
- temporal databases
- real world
- temporal reasoning
- sensitivity analysis
- patient data
- data warehouse
- relational databases
- visual representation
- artificial intelligence
- time stamped
- machine learning