第 1 到 9 筆結果,共 9 筆。
公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 | |
---|---|---|---|---|---|---|---|
1 | 2017 | Model-checking iterated games | Huang, C.-H.; Schewe, S.; FARN WANG | Acta Informatica | |||
2 | 2016 | A Game-Theoretic Foundation for the Maximum Software Resilience against Dense Errors | Huang, C.-H.; Peled, D.A.; Schewe, S.; FARN WANG | IEEE Transactions on Software Engineering | |||
3 | 2016 | ABCA: Android Black-box Coverage Analyzer of mobile app without source code | Huang, S.-Y.; Yeh, C.-H.; Wang, F.; Huang, C.-H.; FARN WANG | Proceedings of 2015 IEEE International Conference on Progress in Informatics and Computing, PIC 2015 | |||
4 | 2015 | An extension of ATL with strategy interaction | Wang, F.; Schewe, S.; Huang, C.-H.; FARN WANG | ACM Transactions on Programming Languages and Systems | |||
5 | 2013 | 273-289 Temporal specification mining for anomaly analysis | Wang, F.; Wu, J.-H.; Huang, C.-H.; Chang, C.-C.; Li, C.-C.; FARN WANG | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | |||
6 | 2013 | Model-checking iterated games | Huang, C.-H.; Schewe, S.; FARN WANG | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | |||
7 | 2012 | Rapid recovery for systems with scarce faults | Huang, C.-H.; Peled, D.; Schewe, S.; FARN WANG | Electronic Proceedings in Theoretical Computer Science, EPTCS | 3 | 0 | |
8 | 2011 | A temporal logic for the interaction of strategies | Wang, F.; Huang, C.-H.; Yu, F.; FARN WANG | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | |||
9 | 2011 | Evolving a test oracle in black-box testing | Wang, F.; Wu, J.-H.; Huang, C.-H.; Chang, K.-H.; FARN WANG | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |