|
"yao l w"的相关文件
显示项目 1-6 / 6 (共1页)
1
每页显示[10|25|50]项目
| 臺大學術典藏 |
2020-06-04T07:48:57Z |
Intelligent test oracle construction for reactive systems without explicit specifications
|
Wang, F.;Yao, L.-W.;Wu, J.-H.; Wang, F.; Yao, L.-W.; Wu, J.-H.; FARN WANG |
| 臺大學術典藏 |
2020-06-04T07:48:57Z |
Intelligent test oracle construction for reactive systems without explicit specifications
|
Wang, F.;Yao, L.-W.;Wu, J.-H.; Wang, F.; Yao, L.-W.; Wu, J.-H.; FARN WANG |
| 臺大學術典藏 |
2020-06-04T07:48:55Z |
Efficient verification of distributed real-time systems with broadcasting behaviors
|
Wang, F.;Yao, L.-W.;Yang, Y.-L.; Wang, F.; Yao, L.-W.; Yang, Y.-L.; FARN WANG |
| 臺大學術典藏 |
2020-06-04T07:48:55Z |
Efficient verification of distributed real-time systems with broadcasting behaviors
|
Wang, F.;Yao, L.-W.;Yang, Y.-L.; Wang, F.; Yao, L.-W.; Yang, Y.-L.; FARN WANG |
| 臺大學術典藏 |
2020-06-04T07:48:53Z |
Regression testing of bug-fixes with AI techniques
|
Yao, L.W.; FARN WANG; Wang, F.;Wu, C.J.;Lee, Y.-C.;Yao, L.W.; Wang, F.; Wu, C.J.; Lee, Y.-C. |
| 臺大學術典藏 |
2020-06-04T07:48:53Z |
Regression testing of bug-fixes with AI techniques
|
Yao, L.W.; FARN WANG; Wang, F.;Wu, C.J.;Lee, Y.-C.;Yao, L.W.; Wang, F.; Wu, C.J.; Lee, Y.-C. |
显示项目 1-6 / 6 (共1页)
1
每页显示[10|25|50]项目
|
