Automated Verification of Load Tests Using Control Charts.
Thanh H. D. NguyenBram AdamsZhen Ming JiangAhmed E. HassanMohamed N. NasserParminder FloraPublished in: APSEC (2011)
Keyphrases
- automated verification
- control charts
- model checking
- statistical process control
- automated reasoning
- formal verification
- adaptive sampling
- process control
- load balancing
- weighted moving average
- abnormal patterns
- cumulative sum
- adaptive control
- graph theory
- temporal logic
- state space
- dynamic programming
- evolutionary algorithm
- genetic algorithm