A method to test concurrent systems using architectural specification.
Hassan RezaEmanuel S. GrantPublished in: J. Supercomput. (2007)
Keyphrases
- significant improvement
- probabilistic model
- concurrent systems
- high precision
- test data
- classification method
- clustering method
- experimental evaluation
- pairwise
- cost function
- support vector machine
- high accuracy
- input data
- preprocessing
- computational complexity
- similarity measure
- computational cost
- case study
- open source
- detection algorithm
- objective function