海量图书期刊资源,随时随地畅享阅读乐趣
[IEEE 2010 IEEE/ACIS 9th International Conference on Computer and Information Science (ICIS 2010) - Yamagata (2010.08.18-2010.08.20)] 2010 IEEE/ACIS 9th International Conference on Computer and Information Science - [Cover art]2010
[IEEE 2010 IEEE/ACIS 9th International Conference on Computer and Information Science (ICIS) - Yamagata, Japan (2010.08.18-2010.08.20)] 2010 IEEE/ACIS 9th International Conference on Computer and Information Science - Reviewers2010
[IEEE 2010 IEEE/ACIS 9th International Conference on Computer and Information Science (ICIS) - Yamagata, Japan (2010.08.18-2010.08.20)] 2010 IEEE/ACIS 9th International Conference on Computer and Information Science - ICIS 2010 Sponsors2010
[IEEE 2010 IEEE/ACIS 9th International Conference on Computer and Information Science (ICIS) - Yamagata, Japan (2010.08.18-2010.08.20)] 2010 IEEE/ACIS 9th International Conference on Computer and Information Science - Copyright Page2010
[IEEE 2010 IEEE/ACIS 9th International Conference on Computer and Information Science (ICIS) - Yamagata, Japan (2010.08.18-2010.08.20)] 2010 IEEE/ACIS 9th International Conference on Computer and Information Science - Program Committee2010
[IEEE 2010 IEEE/ACIS 9th International Conference on Computer and Information Science (ICIS) - Yamagata, Japan (2010.08.18-2010.08.20)] 2010 IEEE/ACIS 9th International Conference on Computer and Information Science - Keynote Abstracts2010
[IEEE 2010 IEEE/ACIS 9th International Conference on Computer and Information Science (ICIS) - Yamagata, Japan (2010.08.18-2010.08.20)] 2010 IEEE/ACIS 9th International Conference on Computer and Information Science - Author Index2010
[IEEE 2010 IEEE/ACIS 9th International Conference on Computer and Information Science (ICIS) - Yamagata, Japan (2010.08.18-2010.08.20)] 2010 IEEE/ACIS 9th International Conference on Computer and Information Science - Title Page i2010
Model-Based Mutation Testing Using Pushdown AutomataBELLI, Fevzi; BEYAZIT, Mutlu; TAKAGI, Tomohiko; FURUKAWA, Zengo · IEICE Transactions on Information and Systems · 2012
An overview and case study of a statistical regression testing method for software maintenanceTomohiko Takagi; Zengo Furukawa; Toshinori Yamasaki · 2007
The method to divide a sentence of requirement into individual requirements and the development of requirement specification editor which can describe individual requirementsKuniya Sato, Masahiro Ooba, Tomohiko Takagi, Zengo Furukawa, Seiichi Komiya… · 2013
[IEEE 2013 IEEE 37th Annual Computer Software and Applications Conference (COMPSAC) - Kyoto, Japan (2013.07.22-2013.07.26)] 2013 IEEE 37th Annual Computer Software and Applications Conference - Test Strategies Using Operational Profiles Based on Decision TablesTakagi, Tomohiko; Furukawa, Zengo; Machida, Yoshinobu · 2013
[IEEE 14th Asia-Pacific Software Engineering Conference (APSEC'07) - Nagoya, Aichi, Japan (2007.12.4-2007.12.7)] 14th Asia-Pacific Software Engineering Conference (APSEC'07) - Construction Method of a High-Order Markov Chain Usage ModelTakagi, Tomohiko; Furukawa, Zengo · 2007
[IEEE 14th Asia-Pacific Software Engineering Conference (APSEC'07) - Nagoya, Aichi, Japan (2007.12.4-2007.12.7)] 14th Asia-Pacific Software Engineering Conference (APSEC'07) - Construction Method of a High-Order Markov Chain Usage ModelTakagi, Tomohiko; Furukawa, Zengo · 2007
[IEEE 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation (ICST) - Berlin, Germany (2011.03.21-2011.03.25)] 2011 Fourth IEEE International Conference on Software Testing, Verification and Validation - Mutation Testing of "Go-Back" Functions Based on Pushdown AutomataBelli, Fevzi; Beyazit, Mutlu; Takagi, Tomohiko; Furukawa, Zengo · 2011
[IEEE 2008 IEEE International Symposium on Software Reliability Engineering (ISSRE) - Seattle, WA, USA (2008.11.10-2008.11.14)] 2008 19th International Symposium on Software Reliability Engineering (ISSRE) - GB Coverage Criteria: The Measurement for Testing a "Go Back" Function Based on a Pushdown AutomatonTakagi, Tomohiko; Furukawa, Zengo · 2008