Optimization of Mutual and Signature Testing Schemes for Highly Concurrent Systems.
Mohammed Fadle AbdullaC. P. RavikumarAnshul KumarPublished in: J. Electron. Test. (1998)
Keyphrases
- concurrent systems
- distributed systems
- temporal logic
- optimization method
- global optimization
- transition systems
- formal specification
- optimization algorithm
- test cases
- petri net
- optimization problems
- model checking
- process algebra
- optimization process
- signature recognition
- optimization methods
- information systems
- constrained optimization
- optimization model
- signature scheme
- test set
- evolutionary algorithm
- test data
- case study