| 09:30-09:40 |
Welcome Speech |
| 09:40-10:40 |
Session I
- Testing multithreaded programs as if they were sequential, Zijiang Yang
- Randomized test generation methods for model-based control system development, Takashi Tomita
|
| 10:40-11:00 |
Coffee Break |
| 11:00-12:30 |
Session II
- The future directions of crowdsourced testing, Zhenyu Chen
- Development of a meteorological observation system using arduino by KOSEN network, Kazuya Kanda
- A new random testing-based fault localization approach, Zhenzhen Wang
|
| 12:30-14:00 |
Lunch |
| 14:00-15:00 |
Session III
- Compliance analysis of configurable business process model based on extend CTL, Yiwang Huang
- A tool for impact analysis of test cases based on changes in an automotive system, Surasak Phetmanee
|