Boolean algebraic test generation using a distributed system.
Debashis BhattacharyaPrathima AgrawalPublished in: ICCAD (1993)
Keyphrases
- distributed systems
- test generation
- test cases
- symbolic execution
- design automation
- test sequences
- distributed environment
- fault tolerant
- software testing
- load balancing
- static analysis
- geographically distributed
- fault tolerance
- quality assurance
- mobile agents
- concurrent systems
- distributed computing
- code coverage
- distributed database systems
- data replication
- security policies
- machine vision
- temporal logic