Controlled Concurrency Testing via Periodical Scheduling.
Cheng WenMengda HeBohao WuZhiwu XuShengchao QinPublished in: ICSE (2022)
Keyphrases
- scheduling problem
- scheduling algorithm
- round robin
- resource allocation
- database systems
- concurrent execution
- concurrency control
- deadlock free
- preventive maintenance
- job shop
- flexible manufacturing systems
- resource utilization
- test set
- transaction processing
- resource constraints
- real time database systems
- concurrency control protocols
- flow control
- data flow
- dynamic scheduling
- timing constraints
- management system
- manufacturing cell
- data structure
- databases