|
|
???tair.name??? >
???browser.page.title.author???
|
"yao l w"???jsp.browse.items-by-author.description???
Showing items 1-6 of 6 (1 Page(s) Totally)
1
View [10|25|50] records per page
| 臺大學術典藏 |
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. |
Showing items 1-6 of 6 (1 Page(s) Totally)
1
View [10|25|50] records per page
|
