|
"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]項目
|
