Debugging and Testing Middleware with Aspect-Based Control-Flow and Causal Patterns.
Luis Daniel Benavides NavarroRémi DouenceMario SüdholtPublished in: Middleware (2008)
Keyphrases
- control flow
- software testing
- test cases
- data flow
- software development
- software engineering
- test suite
- software systems
- design patterns
- process model
- formal specification
- bayesian networks
- artificial intelligence
- reactive systems
- transition systems
- business process models
- database
- model based diagnosis
- development process
- knowledge representation
- relational databases