論文 - 高田　眞吾

Semantic Matching Based Test Case Reuse for Android Applications

Ngoc Bao Nguyen, Shingo Takada

Eighth International Workshop on Validation, Analysis, and Evolution of Software Tests (VST 2025)    174 - 181 2025年03月

研究論文（国際会議プロシーディングス）, 共著, 最終著者, 査読有り

Lowering the Barrier of Machine Learning: Achieving Zero Manual Labeling in Review Classification Using LLMs

Yejian Zhang, Shingo Takada

2025 11th International Conference on Computing and Artificial Intelligence (ICCAI 2025) 2025年03月

研究論文（国際会議プロシーディングス）, 共著, 最終著者, 査読有り

静的解析ツールが示す優先度は開発者の役に立つのか？

名倉正剛, 尾原秀登, 高田眞吾, 末次健太郎, 中川岳, 浅原明広

電子情報通信学会論文誌 J107-D （ 2 ） 77 - 81 2024年02月

研究論文（学術雑誌）, 査読有り

　概要を見る

コーディング規約違反検出のための静的解析ツールでは，違反に対して警告すべき優先度が設定されていることがある．本研究では，多数のOSSプロジェクトを解析することによって，違反に対する優先度が実際に開発者にとって有益であるかどうかを明らかにする．

• Access to Document (DOI)

RSUTT: Robust Search Using T-Way Testing

Matsukawa C., Takada S.

Communications in Computer and Information Science 2178 CCIS   35 - 50 2024年

ISSN  18650929

　概要を見る

Recent years have seen an increase of decision-making software based on Machine Learning (ML). Multiple cases have been reported where such software are discriminatory based on attributes such as race and gender. Thus, ML-based decision making software need to be tested for discrimination, or fairness testing. One popular approach to fairness testing is to find discriminatory data items by first conducting a global search, and then searching locally near the found discriminatory data items. Aequitas, CGFT, and KOSEI are three examples taking this approach. However, there are issues in terms of stability and efficiency. We thus propose an approach called Robust Search Using T-way Testing (RSUTT), which is based on CGFT for global search and KOSEI for local search. Experiments showed that RSUTT performs more efficiently compared to Aequitas, CGFT, and KOSEI.

• Access to Document (DOI)

Software Defect Prediction based on JavaBERT and CNN-BiLSTM

Cheng K., Takada S.

Ceur Workshop Proceedings 3612   51 - 59 2023年12月

研究論文（国際会議プロシーディングス）, 共著, 最終著者, 査読有り,  ISSN  16130073

　概要を見る

Software defects can lead to severe issues in software systems, such as software errors, security vulnerabilities, and decreased software performance. Early prediction of software defects can prevent these problems, reduce development costs, and enhance system reliability. However, existing methods often focus on manually crafted code features and overlook the rich semantic and contextual information in program code. In this paper, we propose a novel approach that integrates JavaBERT-based embeddings with a CNN-BiLSTM model for software defect prediction. Our model considers code context and captures code patterns and dependencies throughout the code, thereby improving prediction performance. We incorporate Optuna to find optimal hyperparameters. We conducted experiments on the PROMISE dataset, which demonstrated that our approach outperforms baseline models, particularly in leveraging code semantics to enhance defect prediction performance.

Review Classification Based on Machine Learning: Classifying Game User Reviews

Yejian Z., Takada S.

IEEE Access （IEEE）  11   142447 - 142463 2023年12月

研究論文（学術雑誌）, 共著, 最終著者, 査読有り

　概要を見る

With the development of the game industry, the maturity of online game sales platforms, and the increasing complexity of game software itself, game companies need to analyze massive amounts of user reviews to understand the hidden defects of the game and the direction of future iterations. Manually reading game reviews is a labor-intensive and time-consuming task, as the number of reviews can go up to several thousand per day. Automatically classifying these game reviews will help alleviate this issue, but traditional classifiers will need a large number of labeled instances for training. In this paper, we propose and implement an approach that combines transfer learning in natural language processing (BERT), unsupervised learning, and active learning to classify game reviews using only a small amount of labeled instances. We found that our approach obtains 88.8% classification accuracy with only 100 labeled training instances. Our implementation can be extended to handle different types of new games by using a small amount of extra labeled instances and manual work.

• Access to Document (DOI)

Applying Reinforcement Learning for Automated Testing of Mobile Application Focusing on State Definition, Reward, and Learning Method

Murase K., Takada S.

Proceedings of the International Conference on Software Engineering and Knowledge Engineering Seke 2023-July   64 - 69 2023年07月

研究論文（国際会議プロシーディングス）, 共著, 最終著者, 査読有り,  ISSN  23259000

　概要を見る

There have been various studies on the automation of mobile app testing. Typical methods for automated testing of mobile apps are based on random search and on building state transition models. But there are problems in terms of the efficiency of search and accuracy of model building. This paper focuses on applying reinforcement learning to testing of mobile apps, especially issues such as explosion of the number of states, fixed rewards for transitions, and difficulty in convergence of learning. We focus on state definition, reward function, and a learning method to solve these problems. Specifically, we define states using discrete values of UI (User Interface) information on the screen, define a dynamic reward function, and perform periodic learning by using the transition history. The proposed method is implemented and evaluated. Evaluation results show that our proposed approach shows 1.21 times higher coverage than an existing tool using reinforcement learning.

• Access to Document (DOI)

Applying Symbolic Execution to Semantic Code Clone Detection

Takemoto K., Takada S.

Proceedings of the International Conference on Software Engineering and Knowledge Engineering Seke 2023-July   118 - 122 2023年07月

研究論文（国際会議プロシーディングス）, 共著, 最終著者, 査読有り,  ISSN  23259000

　概要を見る

Many approaches have been proposed to detect code clones, which are basically similar code fragments. Most approaches are based on textual similarity. These approaches cannot detect semantic code clones, which are clones that have the same functionality but implemented with different syntax. Two functions can be considered to have the same functionality, when the output is the same given the same input. In order to appropriately generate inputs, we propose applying symbolic execution to semantic code clone detection. These functions are executed to obtain outputs, which are compared to determine if function pairs are clones. Our approach also does not limit output to return values; we also handle arrays and pointers as output, as the execution of the function may cause changes in their values. Furthermore, we classify types to enable cases where the types of inputs and/or outputs are not exactly the same. We evaluate our approach on SemanticCloneBench.

• Access to Document (DOI)

OSS プロジェクトを対象にしたコーディング規約違反発生状況の分析

名倉 正剛, 末次 健太郎, 高田 眞吾, 尾原 秀登, 角 幸一郎, 浅原 明広

コンピュータソフトウェア （日本ソフトウェア科学会）  40 （ 1 ） 57 - 82 2023年01月

研究論文（学術雑誌）, 共著, 査読有り

　概要を見る

ソフトウェア開発において，開発者が守るべきと考えるようなコーディングスタイルに関する基準(コーディング規約)が存在する．しかし，実際の開発プロジェクトで必ずしも遵守されているとは限らない．我々は，OSSの1,000 プロジェクトのリポジトリを対象に，C++向けコーディング規約準拠検査ツールCpplintに実装された 87 種類のコーディング規約に対するコーディング規約違反の発生と，発生した違反へのリファクタリング等による対処の状況を調査した．その結果，多くのプロジェクトで開発者が「あたりまえ」に守っており，あまり違反が発生せずに発生しても対処される傾向が強い規約と，逆に多くのプロジェクトで開発者にあまり意識されず違反が多く発生し，発生した違反に対しても無視される傾向が強い規約が存在することを確認した．また，遵守の傾向が開発期間内で変化するかどうかを調査したところ，IDEにより自動修正が行われる一部の規約については，プロジェクトの特定期間で遵守の傾向が変化するプロジェクト数が，他の規約とは有意に異なり多いことを確認した．それらの規約については，開発者により守るべきという共通認識が形成されていない状況において，IDEの自動修正により開発者の意図と関係なく結果的に遵守している可能性があることを示唆している．

CC2020 Visualization Tool

Clear A., Cuadros-Vargas E., Takada S.

SIGCSE 2022 - Proceedings of the 53rd ACM Technical Symposium on Computer Science Education V.2 （SIGCSE 2022 - Proceedings of the 53rd ACM Technical Symposium on Computer Science Education V.2）     1063 - 1064 2022年03月

　概要を見る

A significant part of the recently published ACM and IEEE-CS report "Computing Curricula 2020: Paradigms for Global Computing Education"[1] was the development of visualizations of any computing degree and the comparison with the ACM and IEEE-CS approved curricula. This visualization covers discipline areas that have approved curricula: Computer Engineering, Computer Science, Software Engineering, Information Systems, Information Technology and Cyber Security. The CC2020 report developed a "Landscape of Computing Knowledge"table (see table 1) aggregating all the topic areas of all six approved curricula into 34 topic areas and then assigned a minimum and maximum value for each of topic areas. As part of the visualizations project an online application has been developed (see Figure 1) where stakeholders can assign a minimum and maximum value to each of the topic areas that are required in their degree program and then that program can be matched against the current ACM/IEEE-CS approved curricula and other degree programs globally. This will have significant importance for educators and other stakeholders of computing degree programs.

• Access to Document (DOI)

Fault Localization in Server-Side Applications Using Spectrum-Based Fault Localization

Sha Y., Nagura M., Takada S.

Proceedings - 2022 IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2022 （Proceedings - 2022 IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2022）     1128 - 1135 2022年03月

研究論文（国際会議プロシーディングス）, 共著, 査読有り

　概要を見る

Today's software has a very complex structure with multiple components, making it difficult to identify the cause of a fault. The process of identifying the cause of a fault may include referring to the logs from the system if they exist. But large and complex systems may generate a huge amount of logs, making the task of finding the important log messages to be a tedious task. In the case of systems that require continuous operation, the cause of faults must be identified quickly in an efficient manner. In this paper, we propose a method that identifies the log messages that are key for finding faults in server-side applications that has a tiered structure, such as LAMP (Linux, Apache, MySQL, PHP), and outputs logs (including traces during operation). The key part of our proposed approach is the application of Spectrum-Based Fault Localization (SBFL) to log files.

• Access to Document (DOI)

Fairness Testing of Machine Learning Software through a Combinatorial Approach

Daniel Perez Morales, Takashi Kitamura, and Shingo Takada

電子情報通信学会 知能ソフトウェア工学研究会 信学技報 （電子情報通信学会）  KBSE2021-50   54 - 59 2022年03月

研究論文（研究会，シンポジウム資料等）, 共著

An efficient discrimination discovery method for fairness testing

Sano S., Kitamura T., Takada S.

Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE （Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE）     200 - 205 2022年

ISSN  23259000

　概要を見る

With the increasing use of machine learning software in our daily life, software fairness has become a growing concern. In this paper, we propose an individual fairness testing technique called KOSEI. Individual fairness is one of the central concepts in software fairness. Testing individual fairness aims to detect individual discriminations included in the software. KOSEI is based on AEQUITAS by Udeshi et al., a landmark fairness testing technique featuring a two-step search strategy of global and local search. KOSEI improves the local search part of AEQUITAS, based on our insight to overcome the limitations of the local search of AEQUITAS. Our experiments show that KOSEI outperforms AEQUITAS by orders of magnitude. KOSEI, on average, detects 5,084.8% more discriminations than AEQUITAS, in just 7.5% of the execution time.

• Access to Document (DOI)

Comparing Global Curricula and Local Computing Degree programs using the CC2020 Curriculum Visualization Tool

Clear A., Clear T., Takada S., Cuadros-Vargas E.

Proceedings - Frontiers in Education Conference, FIE （Proceedings - Frontiers in Education Conference, FIE）  2022-October 2022年

ISSN  15394565

　概要を見る

This special session will introduce the participants to the CC2020 Visualization Tool based on the Landscape of Computing Knowledge Table and its 34 topics areas. It will guide them through the process of assigning a minimum and maximum value to the discipline areas of their own degree programme, then enter them into the application and allow the participants to see where in the landscape of computing their own program fits. It will also allow participants to compare their own programme with any other programme entered into the application. We hope to populate the database with programmes from all over the world over the next few months to ensure a global reach for comparison. There has never been a tool to compare computing degrees and this tool not only allows for comparison with current approved curricula but also allows participants to compare their degree with each other. This tool also enables employers to develop a guideline for potential employees and compare with job definitions to help with alignment of qualifications and competencies.

• Access to Document (DOI)

Towards Overcoming Type Limitations in Semantic Clone Detection

Leone F., Takada S.

Proceedings - 2022 IEEE 16th International Workshop on Software Clones, IWSC 2022 （Proceedings - 2022 IEEE 16th International Workshop on Software Clones, IWSC 2022）     25 - 31 2022年

　概要を見る

Currently available tools for semantic clone detection have serious type limitations related to objects, in particular related to instantiation and comparison. The trend in the recent research has focused on improving the performance rather than removing these constraints. This paper proposes a test-based approach for semantic clone detection in Java which overcomes these problems. The test-based approach consists in running two methods with the same input and comparing their outputs. For object instantiation, the approach uses EvoSuite, an automatic JUnit test generator, to create the tests with correct instantiations of all the needed classes, which are then modified to make them suitable for semantic clone detection. The output comparison uses the DeepHash function to obtain numerical values for objects, considering the values of each instance variable. The approach was evaluated with SemanticCloneBench. The results show that the proposed approach performs very well in terms of precision, achieving 94.4%, which is about 8% higher than the reported precision of SLACC, a recent semantic clone detector. Furthermore, out of 228 methods used for the evaluation, the approach was not able to perform the detection for only ten methods.

• Access to Document (DOI)

定量的モデル検査手法Model Measuringの実装に関する研究

小島海, 高田眞吾

情報処理学会 ソフトウェア工学研究会 研究報告 （情報処理学会）  2021-SE-209 （ 10 ） 1 - 8 2021年11月

研究論文（研究会，シンポジウム資料等）, 共著

SBFL 手法の適用によりサーバサイドアプリケーションの障害原因を特定する手法

謝佳智, 名倉正剛, 高田眞吾

情報処理学会 ソフトウェア工学研究会 研究報告 （情報処理学会）  2021-SE-209 （ 5 ） 1 - 7 2021年11月

研究論文（研究会，シンポジウム資料等）

Which factors affect q-learning-based automated android testing? - A study focusing on algorithm, learning target, and reward function

Moriguchi Y., Takada S.

Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE （Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE）  2021-July   522 - 527 2021年07月

研究論文（国際会議プロシーディングス）, 査読有り,  ISSN  23259000

　概要を見る

With the spread of smartphones, the importance of automated testing of mobile applications has increased. However, many current approaches are inadequate, as they are not able to test functions that are available only on hard-to-reach GUI, which is a screen that can be reached only through a specific sequence of input events. To solve this problem, there has been an increase in testing research based on reinforcement learning, specifically Q-learning. Each research uses different learning targets and reward function. Testing research has also been done using Deep Q-Network, which extends reinforcement learning in a “deep” way. Although each work has conducted their own evaluation, it is not clear how the combination of learning algorithm, learning target, and reward function affects the result. To bridge this gap, we have conducted an empirical study comparing eight possible combinations. Our study found that the combination of Deep Q-Network as the learning algorithm, component as the learning target, and GUI change ratio as the reward function had the highest test quality in terms of code coverage.

• Access to Document (DOI)

バグ発生の制約条件追加によるコンコリックテストのバグ発見能力の向上

武元憲将, 高田眞吾, 名倉正剛

第83回情報処理学会全国大会 講演論文集 （情報処理学会）     249 - 250 2021年03月

研究論文（研究会，シンポジウム資料等）, 共著

Android アプリケーションを対象とした実装漏れメソッドの検出手法

名倉 正剛, 薄井 駿, 高田 眞吾

コンピュータ ソフトウェア （日本ソフトウェア科学会）  38 （ 2 ） 71 - 89 2021年

研究論文（学術雑誌）, 共著, 査読有り,  ISSN  02896540

　概要を見る

Androidアプリケーションはイベント駆動型ソフトウェアである．開発者はAndroid API内のコールバックメソッドを継承し内部を記述することでイベントに対する処理を実装する．Android フレームワークから継承したクラスを作成する際に，実装すべきコールバックメソッドを実装し忘れている場合，アプリケーションが予想外の振る舞いをする可能性がある．本研究では，そのような実装漏れメソッドを検出し，開発者に提示する手法を提案する．提案手法では，同じ基底クラスを持つサブクラスの多くに実装されているメソッドや，同時に実装されているメソッドに着目し，既存プロジェクトを解析して得たメソッドの実装頻度と実装の共起関係を基に実装漏れメソッドを検出して，開発者に提示する．提案手法を Android Studio のプラグインとして実装し，既存の Android プロジェクトを対象に評価実験を行った結果，実装漏れメソッドのうちの半数以上を未実装メソッドの上位 15 % 以内に検出し提示できることを確認した．

• Access to Document (DOI)

Coverage-Guided Fairness Testing

Perez Morales D., Kitamura T., Takada S.

Studies in Computational Intelligence （Studies in Computational Intelligence）  985   183 - 199 2021年

　概要を見る

Software testing is a crucial task. Unlike conventional software, AI software that uses decision-making algorithms or classifiers needs to be tested for discrimination or bias. Such bias can cause discrimination towards certain individuals based on their protected attributes, such as race, gender or nationality. It is a major concern to have discrimination as an unintended behavior. Previous work tested for discrimination randomly, which has resulted in variations in the results for each test execution. These varying results indicate that, for each test execution, there is discrimination that is not found. Even though it is nearly impossible to find all discrimination unless we check all possible combinations in the system, it is important to detect as much discrimination as possible. We thus propose Coverage-Guided Fairness Testing (CGFT). CGFT leverages combinatorial testing to generate an evenly-distributed test suite. We evaluated CGFT with two different datasets, creating three models with each. The results show an improvement in the number of unfairness found using CGFT compared to previous work.

• Access to Document (DOI)

コーディング規約違反メトリクスに基づきソフトウェア変更に対して不具合混入を予測する手法

名倉正剛, 田口健介, 高田眞吾

情報処理学会論文誌 （情報処理学会）  61 （ 4 ） 895 - 907 2020年04月

研究論文（学術雑誌）, 共著, 査読有り

• Access to Document (DOI)

フォルトローカライゼーションの精度向上に関する研究

謝佳智, 名倉正剛, 高田眞吾

第82回情報処理学会全国大会 講演論文集 （情報処理学会）     235 - 236 2020年03月

研究論文（研究会，シンポジウム資料等）

CC2020 visualization tool preview and review

Clear A., Takada S., Cuadros-Vargas E.

Proceedings of the 51st ACM Technical Symposium on Computer Science Education (SIGCSE2020) （ACM）     169 - 170 2020年02月

研究論文（国際会議プロシーディングス）, 査読有り,  ISSN  9781450367936

　概要を見る

The CC2020 project was charged with two main objectives, to produce a comprehensive report and a visualization tool to provide global guidance in an evolving computing environment as it affects computing baccalaureate degree programs worldwide. T he report is now in draft form and has undergone four rounds of review. The other goal of the CC2020 project is to develop a set of visualization-based tools that will help users to explore questions they may have concerning curricular guidelines, as well as local computing curricula. A visualization tool has been scoped and a prototype built. This special session will unveil the prototype for the SIGCSE community who will have the opportunity to view and review the tool.

• Access to Document (DOI)

CPPCD: A Token-Based Approach to Detecting Potential Clones

Hung Y.L., Takada S.

IWSC 2020 - Proceedings of the 2020 IEEE 14th International Workshop on Software Clones （IWSC 2020 - Proceedings of the 2020 IEEE 14th International Workshop on Software Clones）     26 - 32 2020年02月

　概要を見る

© 2020 IEEE. Most state-of-the-art clone detection approaches are aimed at finding clones accurately and/or efficiently. Yet, whether a code fragment is a clone often varies according to different people's perspectives and different clone detection tools. In this paper, we present CPPCD (CP-based Potential Clone Detection), a novel token-based approach to detecting potential clones. It generates CP (clone probability) values and CP distribution graphs for developers to decide if a method is a clone. We have evaluated our approach on large-scale software projects written in Java. Our experiments suggest that the majority of clones have CP values greater than or equal to 0.75 and that CPPCD is an accurate (with respect to Type-1, Type-2, and Type-3 clones), efficient, and scalable approach to detecting potential clones.

• Access to Document (DOI)

Toward the visual understanding of computing curricula

Takada S., Cuadros-Vargas E., Impagliazzo J., Gordon S., Marshall L., Topi H., van der Veer G., Waguespack L.

Education and Information Technologies （Education and Information Technologies）  25 （ 5 ） 4231 - 4270 2020年

ISSN  13602357

　概要を見る

© 2020, The Author(s). Various computing subdisciplines, such as computer science and software engineering, each have their own curricular guidelines. They can be very difficult to understand and compare for people such as prospective students, industry personnel, and even faculty members. This is compounded by a lack of information surrounding undergraduate computing curricular topics via visual methods. This paper describes two experimental activities where the objective is to explore the possibility of obtaining quantitative data sets necessary for visualization, one based on competencies and the other based on knowledge areas. Both activities were based on surveys. The results from the first activity showed that a consensus interpretation could be obtained for the knowledge, skills, and dispositions implied by the competency descriptions, although not as strongly for dispositions. The second activity resulted in a table of knowledge areas with minimum and maximum weights for six computing subdisciplines. Finally, this paper also shows two examples of how users can explore the various curricular guidelines through visualization.

• Access to Document (DOI)

PfGA を用いたテストスイート自動生成機構

高橋太郎, 高田眞吾

ソフトウェア工学研究会 研究報告 （情報処理学会）  2019-SE-203   1 - 7 2019年12月

研究論文（研究会，シンポジウム資料等）

機能的類似コード検出手法に対する実開発データを利用した評価に関する一考察

名倉 正剛, 高田 眞吾

第26回ソフトウェア工学の基礎ワークショップ (FOSE2019) 講演集    193 - 194 2019年11月

研究論文（研究会，シンポジウム資料等）

コーディング規約違反メトリクスに基づくソフトウェア変更に対する不具合予測手法の提案

名倉正剛, 田口健介, 高田眞吾

ソフトウェアエンジニアリングシンポジウム2019(SES2019) 2019年08月

研究論文（研究会，シンポジウム資料等）, 共著

Semantic analysis for deep Q-network in android GUI testing

Vuong T., Takada S.

Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE （Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE）  2019-July   123 - 128 2019年07月

研究論文（国際会議プロシーディングス）, 共著, 査読有り

　概要を見る

Since the big boom of smartphone and consequently of mobile applications, developers nowadays have many tools to help them create applications easier and faster. However, efficient automated testing tools are still missing, especially for GUI testing. We propose an automated GUI testing tool for Android applications using Deep Q-Network and semantic analysis of the GUI. We identify the semantic meanings of GUI elements and use them as an input to a neural network, which through training, approximates the behavioral model of the application under test. The neural network is trained using the Q-Learning algorithm of Reinforcement Learning. It guides the testing tool to explore more often functionalities that can only be accessed through a specific sequence of actions. The tool does not require access to the source code of the application under test. It obtains higher code coverage and is better at fault detection in comparison to state-of-the-art testing tools.

• Access to Document (DOI)

A reinforcement learning based approach to automated testing of android applications

Vuong T., Takada S.

A-TEST 2018 - Proceedings of the 9th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation, Co-located with FSE 2018 （A-TEST 2018 - Proceedings of the 9th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation, Co-located with FSE 2018）     31 - 37 2018年11月

研究論文（国際会議プロシーディングス）, 共著, 査読有り

　概要を見る

In recent years, researchers have actively proposed tools to automate testing for Android applications. Their techniques, however, still encounter major difficulties. First is the difficulty of achieving high code coverage because applications usually have a large number of possible combinations of operations and transitions, which makes testing all possible scenarios time-consuming and ineffective for large systems. Second is the difficulty of achieving a wide range of application functionalities, because some functionalities can only be reached through a specific sequence of events. Therefore they are tested less often in random testing. Facing these problems, we apply a reinforcement learning algorithm called Q-learning to take advantage of both random and model-based testing. A Q-learning agent interacts with the Android application, builds a behavioral model gradually and generates test cases based on the model. The agent explores the application in an optimal way that reveals as much functionalities of the application as possible. The exploration using Q-learning improves code coverage in comparison to random and model-based testing and is able to detect faults in applications under test.

• Access to Document (DOI)

Image-Based Approach to Determining Regression Test Results of Dynamic Web Applications

Hori A., Takada S., Kurabayashi T., Tanno H.

International Journal of Software Engineering and Knowledge Engineering （International Journal of Software Engineering and Knowledge Engineering）  28 （ 7 ） 1001 - 1025 2018年07月

研究論文（学術雑誌）, 共著, 査読有り,  ISSN  02181940

　概要を見る

Much work has been done on automating regression testing for applications. But most of them focus on test execution. Little work has been done on automatically determining if a test case passes or fails. This decision is often made by comparing the results of executing test cases on a base version of the application and post-modification version of the application. If the two results match, the test case passes, otherwise fails. However, to the best of our knowledge, there is no regression testing method for automatically deciding pass/fail of dynamic Web applications which use JavaScript or CSS. We propose a method that automatically decides if a dynamic Web application passes a regression test case. The basic idea is to obtain a screenshot each time the GUI of the Web application (i.e. Web page) changes its state, and then compare each corresponding screenshot to see if they match. The evaluation results showed that the accuracy rate of our approach is high and our approach can be considered as fast enough for practical use.

• Access to Document (DOI)

Testing android applications using multi-objective evolutionary algorithms with a stopping criteria

Rohella A., Takada S.

Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE （Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE）  2018-July   308 - 313 2018年07月

研究論文（国際会議プロシーディングス）, 共著, 査読有り

　概要を見る

© 2018 Universitat zu Koln. All rights reserved. The ever increasing usage of Android devices and apps has created a demand for faster and reliable testing techniques. While the quality of test cases can be summed up based on the amount of code they cover, fault detection in applications is one of the main objectives for testing. We introduce an Android app testing approach which uses multiobjective genetic algorithm with elitism which finds optimal test cases by minimizing their length, maximizes the code coverage and fault detection capability, and minimizes the whole test suite for re-usability. In addition to that, we also incorporate a progress indicator which checks for improvements in test suite quality after subsequent generations and use it as a stopping criterion. The effectiveness of our approach is shown in our evaluation where it is able to perform better than the existing state-of-The-Art tools.

• Access to Document (DOI)

システム障害対処のためのweb検索支援手法の提案

西澤玄, 名倉正剛, 高田眞吾

情報処理学会第80回全国大会 （情報処理学会）     2J-07 2018年03月

研究論文（研究会，シンポジウム資料等）, 共著

Detecting functionally similar code within the same project

Tajima R., Nagura M., Takada S.

2018 IEEE 12th International Workshop on Software Clones, IWSC 2018 - Proceedings （2018 IEEE 12th International Workshop on Software Clones, IWSC 2018 - Proceedings）  2018-January   51 - 57 2018年03月

研究論文（国際会議プロシーディングス）, 共著, 査読有り

　概要を見る

Multiple developers often take part in a software development project. Although these developers are collaborating towards the development within the same project, each developer creates code on their own. This may lead to duplicate or similar code appearing in different parts of the software. Such code should be removed to improve maintainability. This paper proposes an approach to automatically detect such code, which we shall call functionally similar code. The unit of detection is at the method level, and we focus on input/output and the method structure using program dependence graph. We show the results of applying our approach on open source software.

• Access to Document (DOI)

既存Androidアプリケーションの実装状況に基づいた実装すべきメソッドの提示手法

薄井駿, 名倉正剛, 高田眞吾

日本ソフトウェア科学会第34回大会会議録 （日本ソフトウェア科学会）     FOSE1-1 2017年09月

研究論文（研究会，シンポジウム資料等）, 共著

並行開発支援のための機能的類似コード検出手法の提案

田島諒, 名倉正剛, 高田眞吾

ソフトウェアエンジニアリングシンポジウム(SES2017)会議録 （情報処理学会）     252 - 259 2017年08月

研究論文（研究会，シンポジウム資料等）, 共著

Random GUI Testing of Android Application Using Behavioral Model

Woramet Muangsiri, Shingo Takada

Proceedings of 29th International Conference on Software Engineering & Knowledge Engineering (SEKE 2017) 2017年07月

研究論文（国際会議プロシーディングス）, 共著, 査読有り

• Access to Document (DOI)

モバイルアプリレビューの評価項目別自動スコアリングに関する研究

平野 智久，高田 眞吾

情報処理学会ソフトウェア工学研究会研究報告 （情報処理学会）  2017-SE-195 （ 3 ） 1 - 8 2017年03月

研究論文（研究会，シンポジウム資料等）, 共著

Investigating Tendencies in Callback Method Implementations in Android Applications

Hayato Usui, Masataka Nagura, Shingo Takada

Proceedings of 8th IEEE International Workshop on Empirical Software Engineering in Practice (IWESEP 2017) （IEEE）     23 - 28 2017年03月

研究論文（国際会議プロシーディングス）, 共著, 査読有り

Reducing Mutants with Mutant Killable Precondition

Chihiro Iida, Shingo Takada

Proceedings of 12th International Workshop on Mutation Analysis (Mutation 2017) （IEEE）     128 - 133 2017年03月

研究論文（国際会議プロシーディングス）, 共著, 査読有り

Random GUI Testing of Android Application Using Behavioral Model

Woramet Muangsiri, Shingo Takada

International Journal of Software Engineering and Knowledge Engineering 27   1603 - 1612 2017年

研究論文（学術雑誌）, 共著, 査読有り

• Access to Document (DOI)

Webアプリケーションに対する，画像比較に基づいた回帰テスト結果自動合否判定

堀 旭宏，高田 眞吾，倉林 利行，丹野 治門

情報処理学会ソフトウェア工学研究会研究報告 （情報処理学会）  2016-SE-194 （ 10 ） 1 - 8 2016年11月

研究論文（研究会，シンポジウム資料等）, 共著

Mobile application test case generation focusing on external events

Siena Yu，Shingo Takada

Proceedings of the 1st International Workshop on Mobile Development (Mobile! 2016) （ACM）     41 - 42 2016年10月

研究論文（国際会議プロシーディングス）, 共著, 査読有り

• Access to Document (DOI)

GUI and Usage Model-Based Test Case Generation for Android Applications with Change Analysis

Jose Lorenzo San Miguel，Shingo Takada

Proceedings of the 1st International Workshop on Mobile Development (Mobile! 2016) （ACM）     43 - 44 2016年10月

研究論文（国際会議プロシーディングス）, 共著, 査読有り

• Access to Document (DOI)

ミューテーションテストを利用した遺伝的アルゴリズムによるAndroidアプリケーション用テストスイート生成

嶌津達也, 高田眞吾, 倉林利行, 丹野治門

ソフトウェアエンジニアリングシンポジウム(SES2016)会議録 （情報処理学会）     227 - 232 2016年08月

研究論文（研究会，シンポジウム資料等）, 共著

Lack of Attention to Singular(or Atomic) Requirements Despite Benefits for Quality, Metrics and Management

William L. Honig, Natsuko Noda, Shingo Takada

ACM SIGSOFT Software Engineering Notes （ACM）  41 （ 4 ） 1 - 5 2016年07月

研究論文（学術雑誌）, 共著

• Access to Document (DOI)

Twitter から取得するモバイルアプリケーションの保守に有用な情報

叶野雄与, 高田眞吾

情報処理学会第78回全国大会 （情報処理学会）     1J-1 2016年03月

研究論文（研究会，シンポジウム資料等）, 共著

Mobile Application Testing Focusing on External Event

Siena Yu, Shingo Takada

情報処理学会第78回全国大会 （情報処理学会）     1J-5 2016年03月

研究論文（研究会，シンポジウム資料等）, 共著

Generating Test Cases for GUI-based Android Applications by Modeling and Change Analysis

Jose Lorenzo San Miguel, Shingo Takada

情報処理学会第78回全国大会 （情報処理学会）     1J-8 2016年03月

研究論文（研究会，シンポジウム資料等）, 共著

IntentServiceを用いた非同期処理へのAndroidアプリケーションリファクタリング手法

萩原優樹, 高田眞吾

情報処理学会第78回全国大会 （情報処理学会）     2J-1 2016年03月

研究論文（研究会，シンポジウム資料等）, 共著

Web アプリケーションのUI 開発支援のためのテンプレートの抽出手法

張恭瑞, 高田眞吾

コンピュータソフトウェア 33 （ 3 ） 150 - 166 2016年02月

研究論文（学術雑誌）, 共著, 査読有り

写像経路に着目したソフトウェア開発プロジェクトモデルを用いた工数－工期の理論モデル構築

榮谷昭宏, 高田眞吾, 前野隆司

情報処理学会論文誌 57 （ 2 ） 670 - 680 2016年02月

研究論文（学術雑誌）, 共著, 査読有り

External Event-Based Test Cases for Mobile Application

Siena Yu, Shingo Takada

Proc. of 8th International C* Conference on Computer Science & Software Engineering (C3S2E'15)    148 - 149 2015年07月

研究論文（国際会議プロシーディングス）, 共著, 査読有り

An Oracle based on Image Comparison for Regression Testing of Web Applications

Akihiro Hori, Shingo Takada, Haruto Tanno, Morihide Oinuma

Proc. of 27th International Conference on Software Engineering and Knowledge Engineering (SEKE 2015) 2015年07月

研究論文（国際会議プロシーディングス）, 共著, 査読有り

Generating Test Cases for Android Applications through GUI Modeling, Usage Modeling, and Change Analysis

Jose Lorenzo San Miguel, Shingo Takada

Proc. of 8th International C* Conference on Computer Science & Software Engineering (C3S2E'15)    146 - 147 2015年07月

研究論文（国際会議プロシーディングス）, 共著, 査読有り

FASICA Framework: Service Selection Using K-d Tree and Cache

Aimrudee Jongtaveesataporn, Shingo Takada

International Journal of Software Engineering and Knowledge Engineering 25 （ 5 ） 807 - 828 2015年06月

研究論文（学術雑誌）, 共著, 査読有り

JavaScript を対象とした等価ミュータント自動検出に関する研究

嶌津達也，高田眞吾，丹野治門，生沼守英

情報処理学会ソフトウェア工学研究会研究報告 2015-SE-187   1 - 7 2015年03月

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

Rapid Selection of Services based on QoS

Aimrudee Jongtaveesataporn, Shingo Takada

Proc. of 8th International Conference on Bio-inspired Information and Communications Technologies (BICT 2014)    223 - 230 2014年12月

研究論文（国際会議プロシーディングス）, 共著, 査読有り

Responsiveness Analysis Tool for Android Application

Thanaporn Ongkosit, Shingo Takada

Proc. of 2nd International Workshop on Software Development Lifecycle for Mobile (DeMobile 2014)    1 - 4 2014年11月

研究論文（国際会議プロシーディングス）, 共著, 査読有り

Test Data Generation for Web Applications: A Constraint and Knowledge-based Approach

Hibiki Saito, Shingo Takada, Haruto Tanno, Morihide Oinuma

Proc. of 26th International Conference on Software Engineering and Knowledge Engineering (SEKE 2014)    110 - 114 2014年07月

研究論文（国際会議プロシーディングス）, 共著, 査読有り

Test Scenario Generation for Web Application Based on Past Test Artifacts

Rogene Lacanienta, Shingo Takada, Haruto Tanno, Morihide Oinuma

IEICE Transactions on Information and Systems E97-D （ 5 ） 1109 - 1118 2014年05月

研究論文（学術雑誌）, 共著, 査読有り

Combining the Strengths of BPEL and Mule ESB

Aimrudee Jongtaveesataporn,TAKADA SHINGO

International Journal of Software Engineering and Knowledge Engineering 24 （ 3 ） 347 - 390 2014年04月

研究論文（学術雑誌）, 共著, 査読有り

QoS-aware Service Composition Based on Sequences of Services

Sylvain D'Hondt, Shingo Takada

Proc. of 16th International Conference on Enterprise Information Systems (ICEIS 2014)    548 - 555 2014年04月

研究論文（国際会議プロシーディングス）, 共著, 査読有り

　概要を見る

サービスシーケンスの検索に基づいたサービス指向システム開発手法の提案をする．その際，Quality of Serviceも考慮する．

Web アプリケーション用テストデータの生成および優先度順位付けに関する研究

齋藤響，高田眞吾，丹野治門，生沼守英

情報処理学会第76回全国大会 （情報処理学会）     3L-6 2014年03月

研究論文（研究会，シンポジウム資料等）, 共著

　概要を見る

知識ベースを用いて生成したシナリオに対して，具体的なテストデータを生成する手法を提案する．

Concolic Testingを用いたWebアプリケーションに対するテストデータ生成に関する研究

石川太一郎，高田眞吾，丹野治門，生沼守英

情報処理学会ソフトウェア工学研究会 （情報処理学会）  2014-SE-183 （ 1 ）  2014年03月

研究論文（研究会，シンポジウム資料等）, 共著

　概要を見る

ページ遷移の網羅を目的としたWebアプリケーションの統合テストデータを，Webアプリケーションの設計モデルから生成する手法を提案する．

Traceability link のための未知語の分析機構

吉磊，高田眞吾

情報処理学会第76回全国大会 （情報処理学会）     2M-6 2014年03月

研究論文（研究会，シンポジウム資料等）, 共著

　概要を見る

未知語を分析することにより，ソースコードと文書の間のtraceability linkの確立精度を向上させる機構を提案する．未知語としては，単語の組み合わせと略語を対象とする．

A Knowledge-based Approach for Generating Test Scenarios for Web Applications

Rogene Lacanienta, Shingo Takada, Haruto Tanno, Morihide Oinuma

Proc. of 25th International Conference on Software Engineering and Knowledge Engineering (SEKE 2013)    166 - 171 2013年06月

研究論文（国際会議プロシーディングス）, 共著, 査読有り

　概要を見る

既存のWebアプリケーションのテストに関する情報を利用することにより，新規のWebアプリケーションのテストシナリオを自動生成する手法を提案する．

Aspect-jQuery: An Aspect-Oriented Framework for jQuery

Kohei Nagashima, Hiroaki Fukuda, Shingo Takada

Proc. of 8th International Workshop on Advanced Modularization Techniques (AOAsia/Pacific 2013)    5 - 7 2013年03月

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

　概要を見る

JavaScriptライブラリであるjQueryに対して，アスペクト指向の機構を導入することにより，Aspect-jQueryフレームワークを提案する．

ラウンドトリップエンジニアリングに基づいたAjaxアプリケーション開発支援

林千博，名倉正剛，高田眞吾

コンピュータソフトウェア （ソフトウェア科学会）  30 （ 1 ） 164 - 179 2013年02月

研究論文（学術雑誌）, 共著, 査読有り

　概要を見る

Ajaxアプリケーションを対象にしたラウンドトリップエンジニアリング手法を提案する．

動的Web アプリケーションのためのプリフェッチ機構

柴田和祈，高田眞吾

情報処理学会論文誌 （情報処理学会）  54 （ 2 ） 647 - 658 2013年02月

研究論文（学術雑誌）, 共著, 査読有り

　概要を見る

動的なWeb アプリケーション（PHP アプリケーション）のためのプリフェッチ機構を提案する．提案機構の基本コンセプトは，Web ページを静的なコンテンツと動的なコンテンツに分離することである．分離後，静的コンテンツはリンクプリフェッチを用いてあらかじめ取得し，動的コンテンツはAjax を用いて後から補完することで，動的なWeb アプリケーションにおけるプリフェッチを可能にする．

事例紹介： OEM ソフトウェア製品の検証プロセス

名倉正剛，田村清朗，川口真司，高田眞吾，飯田元

SEC Journal （独立行政法人情報処理推進機構）  8 （ 4 ） 150 - 157 2012年12月

研究論文（学術雑誌）, 共著, 査読有り

　概要を見る

海外他社がOEMによって開発した企業業務用のソフトウェアを自社製品に導入する際に行った検証プロジェクトを通して得た知見について述べる．

A Mutation Test based Approach to Evaluating Test Suites for Web Applications

Rogene Lacanienta, Shingo Takada, Haruto Tanno, Xiaojing Zhang, Takashi Hoshino

Proc. of 10th Joint Conference on Knowledge-Based Software Engineering (JCKBSE2012)    227 - 236 2012年08月

研究論文（国際会議プロシーディングス）, 共著, 査読有り

　概要を見る

ミューテーションテストを用いることにより，Webアプリケーション用に作成されたテストスイートを評価するフレームワークを提案する．

Trade-Off Analysis between Concerns Based on Aspect-Oriented Requirements Engineering

Trade-Off Analysis between Concerns Based on Aspect-Oriented Requirements Engineering

IEICE Transactions on Information and Systems （電子情報通信学会）  E95-D （ 4 ） 1003 - 1011 2012年04月

研究論文（学術雑誌）, 単著, 査読有り

　概要を見る

アスペクト指向要求工学に基づき，システム内の関心事のトレードオフを分析するための手法を提案する．

Web アプリケーションを対象としたテストスイートの評価 ～ミューテーションテストにもとづいた手法～

深谷雅洋，Rogene Lacanienta，高田眞吾， 丹野治門，張暁晶，星野隆

情報処理学会ソフトウェア工学研究会 （情報処理学会）  2012-SE-175 （ 15 ） 1 - 8 2012年03月

研究論文（研究会，シンポジウム資料等）, 共著

　概要を見る

ミューテーションテストが網羅的にバグを挿入しようとする点に着目し，Webアプリケーションを対象に生成したテストスイートを評価するフレームワークを提案する．

Web アプリケーションにおけるプリフェッチに関する研究

柴田和祈，高田眞吾

情報処理学会第74回全国大会 （情報処理学会）     3P-1 2012年03月

研究論文（研究会，シンポジウム資料等）, 共著

　概要を見る

動的なWebアプリケーションにおけるプリフェッチを提案する．

QoSに基づいたクラスタリングによるWeb サービスの選択

中島健，高田眞吾

情報処理学会第74回全国大会 （情報処理学会）     4X-2 2012年03月

研究論文（研究会，シンポジウム資料等）, 共著

　概要を見る

QoSに基づいたWebサービスのクラスタリング情報を利用することで，QoSの変化に対応したWebサービスの再選択を行う手法を提案する．

Ajaxアプリケーションを対象としたラウンドトリップエンジニアリング支援手法

林千博，名倉正剛，高田眞吾

第18回ソフトウェア工学の基礎ワークショップ(FOSE2011) （日本ソフトウェア科学会）     51-60 2011年11月

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

　概要を見る

Ajaxアプリケーションを対象にラウンドトリップエンジニアリングを実現する手法を提案する．

Finding Web Services via BPEL Fragment Search

Shingo Takada

Proc. of Third International Workshop on Search-Driven Development: Users, Infrastructure, Tools, and Evaluation (SUITE 2011)    9 - 12 2011年05月

研究論文（国際会議プロシーディングス）, 単著, 査読有り

　概要を見る

Webサービスの塊としてBPELフラグメントという概念を導入し，このBPELフラグメントを検索することにより，サービス指向システムを構築する手法を提案する．

記号的実行によるテストケースの自動生成に関する研究

廣葉貴寛，高田眞吾

情報処理学会第73回全国大会 （情報処理学会）     6L-5 2011年03月

研究論文（研究会，シンポジウム資料等）, 共著

動的モデルに着目したRich Internet Application のRound-Trip Engineering 支援

林千博，名倉正剛，高田眞吾

情報処理学会第73回全国大会 （情報処理学会）     3L-5 2011年03月

研究論文（研究会，シンポジウム資料等）, 共著

Composing Non-Functional Concerns with Use Cases for Trade-Off Analysis

Abelyn Methanie Laurito, Shingo Takada

Proc. of IASTED International Conference on Software Engineering and Applications (SEA 2010)    468-476 2010年11月

研究論文（学術雑誌）, 共著, 査読有り

Automatic Generation of ESB Configuration File from Extended BPEL

Aimrudee Jongtaveesataporn, Shingo Takada

Proc. of IASTED International Conference on Software Engineering and Applications (SEA 2010)    364-372 2010年11月

研究論文（学術雑誌）, 共著, 査読有り

記号的実行による統合テスト用テストデータ自動生成

吉原慧，高田眞吾

情報処理学会第72回全国大会 （情報処理学会）     2P-5 2010年03月

研究論文（研究会，シンポジウム資料等）, 共著

Enhancing Enterprise Service Bus Capability for Load Balancing

Aimrudee Jongtaveesataporn, Shingo Takada

WSEAS Transactions on Computers 9 （ 3 ） 299-308 2010年03月

研究論文（学術雑誌）, 共著, 査読有り

相互作用オカレンスに着目したシーケンス図の三次元化に関する研究

前澤悠太，高田眞吾

情報処理学会第72回全国大会 （情報処理学会）     6P-6 2010年03月

研究論文（研究会，シンポジウム資料等）, 共著

Dynamic Service Selection Capability for Load Balancing in Enterprise Service Bus

Aimrudee Jongtaveesataporn, Shingo Takada

Proc. of 4th WSEAS International Conference on Computer Engineering and Applications (CEA '10)    115-120 2010年01月

研究論文（学術雑誌）, 共著, 査読有り

サーバサイドの入出力を考慮した Web アプリケーションの回帰テスト支援ツール

今関雄人、高田 眞吾、土居範久

情報処理学会論文誌 50 （ 12 ） 3041-3051 2009年12月

研究論文（学術雑誌）, 単著, 査読有り

Reverse Engineering of Sequence Diagrams from Framework based Web Applications

Yuto Imazeki, Shingo Takada

Proc. of 13th IASTED International Conference on Software Engineering and Applications (SEA 2009)    202-209 2009年11月

研究論文（学術雑誌）, 共著, 査読有り

Saving and Restoring Server Side Information for Regression Testing of Web Application

Yuto Imazeki, Shingo Takada

Proc. of IASTED International Conference on Software Engineering (SE 2009)    57-62 2009年02月

研究論文（学術雑誌）, 共著, 査読有り

Leveraging use cases in developing service-systems

高田 眞吾

Proc.of 8th Joint Conference on Knowledge-Based Software Engineering 2008(JCKBSE 08)    443-452 2008年08月

研究論文（学術雑誌）, 単著

Round -trip Engineering of Web Applications Focusing on Dynamic Models

高田 眞吾

Proc.of the 10th International Conference on Enterprise Information Systems Ⅲ （ 2 ） 228-233 2008年06月

研究論文（学術雑誌）, 単著

ソフトウェアの動的モデルに着目したラウンドトリップエンジニアリングの支援

高田 眞吾今関雄人、高田眞吾、土居範久

情報処理学会論文誌 49 （ 7 ） 2328-2337 2008年

研究論文（学術雑誌）, 単著

Requirement Analysis Using Similar Sequence Diagrams

高田 眞吾

11th Iasted International Conference on Software Engineering and Applications SEA2007   66-71 2007年11月

研究論文（学術雑誌）, 単著

ソフトウェアの動的モデルに着目したラウンドトリップエンジニアリングの支援

高田 眞吾今関雄人、高田眞吾

情報処理学会ソウトウェア工学研究会 SE （ 157 ） 47-54 2007年

単著

シームレスコンピューティングのための異種分散コンポーネントのPlug and Play環境

高田 眞吾名倉正剛、高田眞吾、土居範久

情報処理学会論文誌 48 （ 2 ） 588-603 2007年

研究論文（学術雑誌）, 単著

マルチスレッドに対応したプログラム実行制御・監視環境

高田 眞吾孝壽俊彦、高田眞吾、土居範久

情報処理学会論文誌：プログラミング 48 （ SIG4(PRO32) ） 14-26 2007年

研究論文（学術雑誌）, 単著

分散コンポーネントのPlug and Play機構を利用した負荷分散システムの構築

高田 眞吾佐藤琢紀、河野泰隆、名倉正剛、高田眞吾、土居範久

情報処理学会第68回全国大会講演論文集 2S （ 1 ）  2006年03月

研究論文（学術雑誌）, 単著

マルチスレッドに対応したプログラム実行制御・監視環境

高田 眞吾孝壽俊彦、高田眞吾、土居範久

2006年並列/分散/協調処理に関する「高知」サマー・ワークショップ 2006年

単著

異種分散コンポーネントを利用するアプリケーションの開発に関する研究

名倉正剛、河野泰隆、高田眞吾、土居範久

情報処理学会論文誌 47 （ 2 ） 484-494 2006年

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

Calculating Cross-Ontology Similarity for Web Services Discovery

Sasiporn Usanavasin,Shingo Takada,Norihisa Doi

人工知能学会論文誌 21 （ 3 ） 231-242 2006年

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

mTurnpike:a Model-driven Framework for Domain Specific Software Development

高田 眞吾

コンピュータソフトウェア 23 （ 3 ） 158-169 2006年

研究論文（学術雑誌）, 単著

分散コンポーネントのPlug and Play環境におけるコンポーネントの可能性の向上

河野泰隆、名倉正剛、高田眞吾、土居範久

第12回ソフトウェア工学の基礎ワークショップ（FOSE2005)    195-200 2005年11月

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

Generating Test Cases with Spanning Sets and Boundary Values of Conditions

Shunsuke Nakajima,Shingo Takada,Norihisa Doi

9th IASTED International Conference on Software Engineering and Applications(SEA 2005)    206-211 2005年11月

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

A Static Error Detection Tool for C++Mixin

Yuto Imazeki,Shingo Takada,Norihisa Doi

9th IASTED International Conference on Software Engineering and Application(SEA 2005)    395-400 2005年11月

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

ソフトウェア成果物間のトレース獲得

山田邦晴、高田眞吾、土居範久

第12回ソフトウェア工学の基礎ワークショップ（FOSE2005)    167-172 2005年11月

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

Semantic Web Services Discovery in Multi-ontology Environment

Sasiporn Usanavasin,Shigo Takada,Norihisa Doi

Workshop on Agents,Web Services,and Ontologies,in OTM Workshops 2005,(R.Meersman,et al.(Eds.)) LNCS3762, Springer-Verlag    59-68 2005年10月

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

A Model Transformation Framework for Domain Specific Languages:An Approach Using UML and Attribute-Oriented Programming

Hiroshi Wada, Junichi Suzuki, Shingo Takada, Norihisa Doi

9th World Multiconference on Systemics,Cybernetics and Informatics 2005年07月

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

Proposal for the experimental environment for Network Worm infection

Masato Terada,Shingo Takada,Norihisa Doi

17th Annual FIRST Conference 2005年06月

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

An Efficient and Generic Reversible Debugger using the Virtual Machine based Approach

Toshihiko Koju,Shingo Takada,Norihisa Doi

First ACM/USENIX Conference on Virtual Execution Environments (VEE05)    79-88 2005年06月

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

C++のtemplateを使用したmixinにおける静的エラーチェックに関する研究

今関雄人、高田眞吾、土居範久

情報処理学会第67回全国大会講演論文集 （情報処理学会）     4N-2 2005年03月

研究論文（研究会，シンポジウム資料等）, 共著

Leveraging Metamodeling and Attribute-Oriented Programming to Build a Model-driven Framework for Domain Specific Languages

Hiroshi Wada,Junichi Suzuki,Shingo Takada,Norihisa Doi

第8回プログラミングおよび応用のシステムに関するワークショップ（SPA2005) 2005年03月

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

サービスの動的な切り替えによるサービス指向システムの頑健性の向上

本間喬寛、名倉正剛、高田眞吾、土居範久

情報処理学会第67回全国大会 （情報処理学会）     2S-3 2005年03月

研究論文（研究会，シンポジウム資料等）, 共著

コンポーネントベースソフトウェア開発のための形式的仕様記述と検証に関する研究

富田隆彦、高田眞吾、飯島正、土居範久

情報処理学会第67回全国大会講演論文集 （情報処理学会）     3N-7 2005年03月

研究論文（研究会，シンポジウム資料等）, 共著

既存の開発環境との互換性と高速な実行を実現したプログラム実行制御・監視環境

孝壽俊彦、高田眞吾、土居範久

情報処理学会論文誌 46 （ 12 ） 3040-3053 2005年

研究論文（研究会，シンポジウム資料等）, 共著

A Multi-Faceted Approach for Searching Web Applications

Sasiporn Usanavasin,Takahiro Nakamori,ShingoTakada, Norihisa Doi

情報処理学会論文誌 46 （ 3 ） 816-830 2005年

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

脆弱性対策情報データベースJVNの提案

寺田真敏、高田眞吾、土居範久

情報処理学会論文誌 46 （ 5 ） 1256-1265 2005年

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

Dynamic　Translationを利用した可逆デバッカ

孝壽俊彦、高田眞吾、土居範久

コンピュータソフトウェア 22 （ 3 ） 186-193 2005年

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

ネットワークワーム動作検証システムの提案

寺田真敏、高田眞吾、土居範久

情報処理学会論文誌 46 （ 8 ） 2014-2024 2005年

研究論文（研究会，シンポジウム資料等）, 共著

A Framework for Multiple Service Discovery and Robustness

高田 眞吾

8th IASTED International Conference on Software Engineering and Applications (SEA 2004)    546-551 2004年11月

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

Towards Use Case based Software Reuse

高田 眞吾

8th IASTED International Conference on Software Engineering and Applications (SEA 2004)    725-730 2004年11月

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

異種分散コンポーネントを対象にしたPlug and Play 環境の提案

名倉正剛，高田眞吾，土居範久

情報処理学会 マルチメディア通信と分散処理研究会 2004年11月

研究論文（研究会，シンポジウム資料等）, 共著

Supporting the Interative Development of Sequence Diagrams and Statecharts

高田 眞吾

8th IASTED International Conference on Software Engineering and Applications(SEA 2004)    736-742 2004年11月

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

Dynamic Translationを利用した可逆デバッガ

孝壽俊彦，高田眞吾，土居範久

ソフトウェア科学会第21回大会 2004年09月

研究論文（研究会，シンポジウム資料等）, 共著

仮想マシンの中間言語に基づく回帰テスト選択手法

孝壽俊彦，高田 眞吾，土居範久

情報処理学会論文誌 45 （ 8 ） 2043-2054 2004年08月

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

Status Tracking Notes；時系列イベント情報の共有

寺田真敏，城戸博行，高田 眞吾，土居範久

情報処理学会コンピュータセキュリティ研究会 （情報処理学会）   （ 25 ） 37-42 2004年05月

研究論文（研究会，シンポジウム資料等）, 共著

ユースケースに基づいたソフトウェア再利用

山田邦晴，高田 眞吾，土居範久

電子情報通信学会ソフトウェアサイエンス研究会 （電子情報通信学会）  2004年05月

共著

Web サービス利用におけるメッセージ送受信のパフォーマンスの改善に関する研究

清水暁，高田 眞吾，土居範久

情報処理学会第66回全国大会 （情報処理学会）  2004年03月

研究論文（研究会，シンポジウム資料等）, 共著

分散サービスの検索と統合を行うシステムの構築

青木仁志，高田 眞吾，土居範久

情報処理学会第66回全国大会 （情報処理学会）  2004年03月

研究論文（研究会，シンポジウム資料等）, 共著

シーケンス図とステートチャート図の相互変換に着目したソフトウェア分析・設計に関する研究

長谷川英男，高田 眞吾，土居範久

情報処理学会第66回全国大会 （情報処理学会）  2004年03月

研究論文（研究会，シンポジウム資料等）, 共著

Integration of Heterogeneous Distributed Components Using Workflow Information

Masataka Nagura, Yosuke Hibi, Shingo Takada, Norihisa Doi

IASTED International Conference on Software Engineering (SE2004)    148-153 2004年02月

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

A Multi-faceted Approach for Searching Web Applications

Usanavasin Sasiporn, Takahiro Nakamori, Shingo Takada, Norihisa Doi

IASTED International Conference on Information and Knowledge Sharing (IKS2003)    247-252 2003年11月

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

仮想マシンの中間言語に基づく回帰テスト選択手法

孝壽俊彦， 高田 眞吾， 土居範久

第10回ソフトウェア工学の基礎ワークショップ (FOSE2003) 2003年11月

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

Regression Test Selection based on Intermediate Code for Virtual Machines

Toshihiko Koju, Shingo Takada, Norihisa Doi

International Conference on Software Maintenance (ICSM2003)    420-429 2003年09月

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

携帯端末のためのアプリケーション設計フレームワーク

高田 眞吾

第2回情報科学技術フォーラム(FIT2003) 2003年09月

研究論文（研究会，シンポジウム資料等）, 共著

Agent-UMLに基づいたマルチエージェントシステム生成支援ツールの構築

高田 眞吾

第2回情報科学技術フォーラム(FIT2003) 2003年09月

研究論文（研究会，シンポジウム資料等）, 共著

モバイルエージェントのためのポリシに基づくフォールトトレランス機能の制御

高田 眞吾

第2回情報科学技術フォーラム(FIT2003) 2003年09月

研究論文（研究会，シンポジウム資料等）, 共著

セマンティックWebに基づいたWeb検索のためのフレームワーク

高田 眞吾

情報処理学会第65回全国大会講演論文集 2003年03月

研究論文（研究会，シンポジウム資料等）, 単著

ワークフローを用いた異種分散コンポーネントの結合

高田 眞吾

情報処理学会第65回全国大会講演論文集 2003年03月

研究論文（研究会，シンポジウム資料等）, 共著

モデル駆動型の分散システム構築フレームワークに関する研究

高田 眞吾

日本ソフトウェア科学会第19回大会論文集 2002年09月

研究論文（研究会，シンポジウム資料等）, 共著

Automated Adapter Generation for Gluing Heterogeneous External Components

14th International Conference on Software & Systems Engineering and their Applications (ICSSEA 2001) 2001年12月

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

　概要を見る

分散された異種コンポーネントを統合してアプリケーションを開発する際の，統合のためのアダプタの自動生成を提案

A Regional Information Acquisition System using Agent Technology

Yuzo Okamoto, Shingo Takada, Tadashi Iijima, Norihisa Doi

4th Pacific Rim International Workshop on Multi-Agents(PRIMA2001) 2001年07月

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

　概要を見る

エージェントを用いて地域情報を獲得する際のアーキテクチャを提案

エージェント技術を利用した地域情報獲得システムの構築

岡本雄三，高田眞吾，飯島正，土居範久

マルチメディア，分散，協調とモーバイルシンポジウム (DICOMO2001) 2001年06月

研究論文（研究会，シンポジウム資料等）, 共著

　概要を見る

エージェントを用いて地域情報を獲得する際のアーキテクチャを提案

異種コンポーネントの統合を行うアダプタの自動生成

名倉正剛，飯島正，高田眞吾，土居範久

情報処理学会第62回全国大会講演論文集，5Z-05 2001年03月

研究論文（研究会，シンポジウム資料等）, 共著

共生・寄生エージェントモデルにおける認証メカニズム

溝入優一，高田眞吾，飯島正，土居範久

情報処理学会コンピュータセキュリティ研究会，CSEC12-3， 2001年02月

研究論文（研究会，シンポジウム資料等）, 共著

Conference Key Agreement Protocol Using Oblivious Transfer

A.M. Barmawi, S. Takada, N. Doi

情報処理学会論文誌 Vol.42 （ No.1 ） 89-98 2001年01月

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

Hands-on Representations in a Two-Dimensional Space for Early Stages of Design

Y. Yamamoto, K. Nakakoji, S. Takada

Knowledge-based Systems Journal Vol.13 （ No.6 ） 375-384 2000年11月

共著

Two-Dimensional Positioning as Visual Thinking

S. Takada, Y. Yamamoto, K. Nakakoji

Proc. of First International Conference on Theory and Application of Diagrams (DIAGRAMS 2000)    437-452 2000年09月

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

Generating Shared RSA Parameters for Two Communicating Parties

A.M. Barmawi, S. Takada, N. Doi

情報処理学会論文誌 Vol.41 （ No.8 ） 2068-2079 2000年08月

共著

Conference Key Agreement Protocol using Oblivious Transfer

A.M. Barmawi, S. Takada, N. Doi

Proc. of 14th Annual IFIP WG 11.3 Working Conference on Database Security    547-555 2000年08月

共著

Jigsaw Puzzle Metaphor for Component-based Programming

Shingo Takada

Collective Creativity Workshop 2000年08月

単著, 査読有り

Two-Dimensional positioning as a means for reflection in design

K. Nakakoji, Y. Yamamoto. S. Takada, B. Reeves

Proc. of Designing Interactive Systems (DIS2000)    145-154 2000年08月

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

CORBAのコンポーネント化に関する研究

和田周，高田眞吾，土居範久

電子情報通信学会 ソフトウェアサイエンス研究会 (SS97-67, ) 2000年03月

研究論文（研究会，シンポジウム資料等）, 共著

Robust Protocol for Generating Shared RSA Parameters

A. Barmawi, S. Takada, N. Doi

7th IMA International Conference on Cryptography and Coding    280-289 1999年12月

共著, 査読有り

Towards an Ontology of Maintenance

B. Kitchenham, G. Travassos, A. von Mayrhauser, F. Niessink, N. Schneidewind, J. Singer, S. Takada, R. Vehvilainen, H. Yang

Journal of Software Maintenance Vol.11 （ No.6 ）  1999年12月

共著

Strongly Formative Pilot Studies on Constraints in Early Life-Cycle Work

A. Brooks, S. Takada, L. Scott

Asia-Pacific Software Engineering Conference    614-621 1999年12月

共著, 査読有り

コミュニティ知識ベース環境の構築へ向けての知識の形成と利用に関する調査と分析

池田文人，山本恭裕，高田眞吾，中小路久美代

情報処理学会論文誌 Vol.40 （ No.11 ） 3887-3895 1999年11月

共著

Measuring Work Factors: A Case Study to Identify Relationships among Work Activities, Styles, and an Environment

M. Sakamaki, F. Ikeda, S. Takada, K. Nakakoji

2nd International Workshop on Cooperative Building    164-176 1999年10月

共著, 査読有り

Two-Dimensional Positioning as a Means to Represent Strategic Knowledge in Design

K. Nakakoji, Y. Yamamoto, S. Takada

2nd International Workshop on Strategic Knowledge and Concept Formation    109-121 1999年10月

共著, 査読有り

Data Collection and Analysis - Looking Back at Pilots 1 and 2

S. Takada

1999 CADPRO Workshop    44-52 1999年09月

単著, 査読有り

Examining Shared Knowledge at Production Time and Use Time

F. Ikeda, S. Takada, K. Nakakoji

International Workshop on Collaboration and Mobile Computing    94-99 1999年09月

共著, 査読有り

A Proposal for Generating Shared RSA Parameters

A. Barmawi, S. Takada, N. Doi

International Workshop on Security    154-160 1999年09月

共著, 査読有り

An Environment that Supports Understanding 'Differences' among People

M. Ohira, Y. Yamamoto, S. Takada, K. Nakakoji

2nd International Conference on Cognitive Science and the 16th Annual Meeting of the Japanese Cognitive Science Society Joint Conference    466-471 1999年07月

共著, 査読有り

Ginger2: An Environment for CAESE (Computer-Aided Empirical Software Engineering)

K. Torii, K. Matsumoto, K. Nakakoji, Y. Takada, S. Takada, K. Shima

IEEE Transactions on Software Engineering Vol.25 （ No.4 ） 474-492 1999年07月

共著

構築時と検索時という二つの視点から見たシステムエンジニア支援知識の「質」に関する考察

池田文人，高田眞吾，中小路久美代

ソフトウェアシンポジウム99    119 - 125 1999年06月

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

　概要を見る

SE支援QAデータベースにおける知識の質を，知識蓄積時と検索時の質に分類し，相関関係を調べた結果について述べる．

EVIDII: コミュニケーション支援へ向けた「印象」の可視化に関する考察

大平雅雄，山本恭裕，高田眞吾，中小路久美代

マルチメディア，分散，協調とモーバイル(DICOMO99)シンポジウム    327 - 332 1999年06月

研究論文（研究会，シンポジウム資料等）, 共著

　概要を見る

人が画像に対して抱く印象を表現する手法として，人・画像・印象後の三つのデータセットを関連付け，それを可視化するEVIDIIシステムを提案する．

Improving Software Quality from the Viewpoint of Knowledge Production and the Work Environment

F. Ikeda, M. Sakamaki, H. Aoki, S. Takada, K. Nakakoji

6th European Conference on Software Quality    306 - 317 1999年04月

研究論文（国際会議プロシーディングス）, 共著, 査読有り

　概要を見る

システム，オフィス，それらの使用の三つの観点から仕事の環境を見た場合の知識生産モデルを提案する．

計算機上におけるコミュニケーションの履歴表示に関する研究

松浦文崇, 高田眞吾, 中小路久美代

情報処理学会 グループウェア研究会 GW31-8   43 - 48 1999年01月

研究論文（研究会，シンポジウム資料等）, 共著

　概要を見る

電子メールにおける「話題の流れ」の抽出および可視化を提案する。

`Representational Talkback'の増幅 による「書いてまとめる」プロセスの支援

山本恭裕，高田眞吾，中小路久美代

人工知能学会誌 14 （ 1 ） 82 - 92 1999年01月

研究論文（学術雑誌）, 共著, 査読有り

　概要を見る

Representational Talkbackという概念を提案し，それが書いてまとめるプロセスにどのように役立つか述べる．

From Critiquing to Representational Talkback:Computer Support for Revealing Features in Design

Kumiyo Nakakoji, Yasuhiro Yamamoto, Takahiro Suzuki, Shingo Takada, Mark Gross

Knowledge-Based Systems Journal 11 （ 7-8 ） 457 - 468 1998年12月

研究論文（学術雑誌）, 共著, 査読有り

　概要を見る

デザインにおける批評の重要性，および批評の様々な形態について述べる．

Augmented Encrypted Key Exchange using RSA Encryption and Confounder

Ari Moesriami Barmawi, Shingo Takada, Norihisa Doi

情報処理学会論文誌 39 （ 12 ） 3324 - 3332 1998年12月

研究論文（学術雑誌）, 共著, 査読有り

　概要を見る

鍵の交換を安全に行うための手法の提案．

Evaluating the Application of Software Metrics to Data Flow Diagrams and Class Diagrams in Usability Laboratory Experiments (CADPRO Pilot #1)

Andy Brooks, Louise Scott, Shingo Takada

奈良先端科学技術 大学院大学 情報科学研究科 テクニカルレポートNAIST-IS-TR98010    1 - 24 1998年10月

研究論文（その他学術会議資料等）, 共著

　概要を見る

CADPROプロジェクトの最初の実験結果の報告．CADPROで用いるツールの現状の評価，およびデザイナがどのようにDFDおよびクラス図を作成するかの観察実験の報告．

Finding What You 'Really' Want: A Human-Computer Cooperative Approach

Yasuhiro Yamamoto, Shingo Takada, Kumiyo Nakakoji

Proc. of Int'l Symp. on Future Software Technology 1998    95 - 100 1998年10月

研究論文（国際会議プロシーディングス）, 共著, 査読有り

　概要を見る

曖昧な要求を少しずつ明確にしながら，欲しい画像を探すための枠組みの提案．

AID-SIM: Architecture for Integrating Distributed Software Development Simulators

Shuuji Morisaki, Kumiyo Nakakoji, Shingo Takada, Ken'ichi Matsumoto, Koji Torii

Proc. of Int'l Symp. on Future Software Technology 1998    137 - 142 1998年10月

研究論文（国際会議プロシーディングス）, 共著, 査読有り

　概要を見る

ネットワーク上に分散されているシミュレータを利用するための枠組みの提案．

Finding the 'Right' Image: Visualizing Relationships among Persons, Images and Impressions

中小路久美代，山本恭裕，杉山仁彦，高田眞吾

Proc. of IFIP Conf. on Designing Effective and Usable Multimedia Systems    91 - 102 1998年09月

研究論文（国際会議プロシーディングス）, 共著, 査読有り

　概要を見る

「人」「画像」「印象語」を三つの要素の間の可視化を通して，画像の探索を支援する．

Representational Talkback: An Approach to Support Writing as Design

Yasuhiro Yamamoto, Shingo Takada, Mark Gross, Kumiyo Nakakoji

Proc. of Asia-Pacific ComputerHuman Interaction 1998    125 - 131 1998年07月

研究論文（国際会議プロシーディングス）, 共著, 査読有り

　概要を見る

表示方法の重要性に注目し，Representational Talkbackという概念を提案する．

デザイン理論に基づいた「書いてまとめる」プロセスの支援に関する研究

山本恭裕, 高田眞吾, 中小路久美代

日本認知科学会 第15回大会    30 - 31 1998年06月

研究論文（研究会，シンポジウム資料等）, 共著

　概要を見る

表わしたい意図がその表現によりどのように伝わるかの観察実験の報告．

Strategies for Seeking Reusable Components in Smalltalk

Shingo Takada, Yutaka Otsuka, Kumiyo Nakakoji, Koji Torii

Proc. of 5th Int'l Conf. on Software Reuse    66 - 74 1998年06月

研究論文（国際会議プロシーディングス）, 共著, 査読有り

　概要を見る

Smalltalkでプログラミングする際，クラスやウィジェットを再利用するために，プログラマがとる行動の報告．

要求獲得の過程における電子メイルを用いたコミュニケーションに関する研究

松浦文崇, 高田眞吾, 中小路久美代

ソフトウェア シンポジウム98    35 - 43 1998年06月

研究論文（研究会，シンポジウム資料等）, 共著, 査読有り

　概要を見る

ソフトウェア開発における要求獲得において電子メールを用いた場合の調査結果．

電子媒体を用いたコミュニケーションに関する研究 - 要求獲得の事例をもとに

松浦文崇, 高田眞吾, 中小路久美代

情報処理学会 グループウェア研究会 GW28-4   19 - 24 1998年05月

研究論文（研究会，シンポジウム資料等）, 共著

　概要を見る

ソフトウェア開発における要求獲得においてWWWを用いた場合の調査結果．

A Study on Communication during Requirement Elicitation Processes

Fumitaka Matsuura, Shingo Takada, Kumiyo Nakakoji

Proc. of 20th Int'l Conf. on Software Engineering 2   63 - 66 1998年04月

研究論文（国際会議プロシーディングス）, 共著, 査読有り

　概要を見る

ソフトウェア開発における要求獲得時で電子メールを用いた場合の調査結果．

隠れた意図の明示化を支援するインタラクティブシステム

鈴木孝弘, 高田眞吾, 中小路久美代

情報処理学会 ヒューマンインタフェース研究会 HI76-9   49 - 54 1998年01月

研究論文（研究会，シンポジウム資料等）, 共著

　概要を見る

選択した一つの解から，ユーザの意図を推論し，それをきっかけとしてユーザが内省するためのシステムを提案する．

熟知していないソフトウェア部品 空間の探索に関する研究

高田眞吾, 中小路久美代, 鳥居宏次

電子情報通信学会 ソフトウェアサイエンス研究会 SS97-50   1 - 8 1998年01月

研究論文（研究会，シンポジウム資料等）, 共著

　概要を見る

熟知していないソフトウェアライブラリなどから部品を探す際のプログラマの行動を観察した実験の報告．

「全体」「部分」間の相互作用に着目したドキュメント構築支援

山本恭裕, 高田眞吾, 中小路久美代

情報処理学会 ヒューマンインタフェース研究会 HI76-2   7 - 12 1998年01月

研究論文（研究会，シンポジウム資料等）, 共著

　概要を見る

ドキュメントの様々なレベルにおける「全体」と「部分」の相互作用に注目するインタフェースについて考察する．

他者の感性情報を利用した画像空間の理解

杉山仁彦, 高田眞吾, 中小路久美代

情報処理学会 ヒューマンインタフェース研究会 HI76-8   43 - 48 1998年01月

研究論文（研究会，シンポジウム資料等）, 共著

　概要を見る

複数のユーザに対して，様々な画像が有する「意味」と印象との関係を視覚化する環境を提案する．

Representational Talkbackを考慮したドキュメント構築支援ツール：DoDA

山本恭裕, 高田眞吾, 中小路久美代

計測自動制御学会 発想支援システム シンポジウム    79 - 86 1997年12月

研究論文（研究会，シンポジウム資料等）, 共著

　概要を見る

Representational Talkbackという概念を提案し，それを利用したドキュメント構築支援ツールについて述べる．

画像情報の発散的提示による要求の収束支援

鈴木孝弘, 杉山仁彦, 高田眞吾,中小路久美代

計測自動制御学会 発想支援システム シンポジウム    9 - 16 1997年12月

研究論文（研究会，シンポジウム資料等）, 共著

　概要を見る

デザイナの要求を明確にする際のアブダクションの役割について考察する．

ユーザビリティ評価実験のデザインに関する考察

菅原千穂子, 高田眞吾, 中小路久美代, 松本健一, 鳥居宏次

情報処理学会 ヒューマンインタフェース研究会 97-HI-75   19 - 24 1997年11月

研究論文（研究会，シンポジウム資料等）, 共著

　概要を見る

ユーザビリティ評価実験に関する三つのケーススタディの報告．

Studies on Information-Seeking Processes of Novice Smalltalk Programmers

Yutaka Otsuka, Shingo Takada, Kumiyo Nakakoji

Proc. of Int'l Symp. On Future Software Technology 1997    305 - 312 1997年10月

研究論文（国際会議プロシーディングス）, 共著, 査読有り

　概要を見る

Smalltalkの初級プログラマがプログラミングで必要な情報を得るための観察実験の報告．

出土遺物の3次元パターン認識支援 システムに関する考察

三宮健, 高田眞吾, 中小路久美代

日本情報考古学会 第4回大会    76 - 81 1997年09月

研究論文（研究会，シンポジウム資料等）, 共著

　概要を見る

仮説及び検証の二つの過程からなる考古学調査研究の認知的プロセスモデルの提案およびそのモデルに基づいたシステムを述べる．

Augmented Encrypted Key Exchange using RSA Encryption

Ari Moesriami Barmawi, Shingo Takada, Norihisa Doi

Proc. of 8th IEEE Int'l Symp. on Personal, Indoor and Mobile Radio Communications    490 - 494 1997年09月

研究論文（国際会議プロシーディングス）, 共著, 査読有り

　概要を見る

鍵の交換を安全に行うための手法の提案．

Implementation Details of Locating Mechanism in CORBA

Susumu Yamamoto, Shingo Takada, Norihisa Doi

Proc. of IPSJ Int'l Symp. on Information Systems and Technologies for Network Society    87 - 93 1997年09月

研究論文（国際会議プロシーディングス）, 共著, 査読有り

　概要を見る

CORBAにおけるロケーティング機構の一手法を提案し，その実装について述べる．

第19回ソフトウェア工学国際会議(ICSE97)の報告

高田眞吾, 井上克郎

電子情報通信学会 ソフトウェアサイエンス研究会 SS97-19   25 - 32 1997年07月

研究論文（研究会，シンポジウム資料等）, 共著

　概要を見る

第19回ソフトウェア工学国際会議の報告．

感性の差異を可視化するインターフェースに向けての一考察

杉山仁彦, 山本恭裕, 鈴木考弘, 高田眞吾, 中小路久美代

マルチメディア，分散，協調とモーバイル ワークショップ    627 - 632 1997年07月

研究論文（研究会，シンポジウム資料等）, 共著

　概要を見る

画像に対する個人の印象の違い，および印象のばらつきの個人差の調査結果の報告および考察．

複数視点データ構造の実現によるユーザの意図明示化に関する研究

鈴木孝弘, 山本恭裕, 杉山仁彦, 高田眞吾, 中小路久美代

マルチメディア，分散，協調とモーバイル ワークショップ    645 - 650 1997年07月

研究論文（研究会，シンポジウム資料等）, 共著

　概要を見る

アブダクションを利用して知識ベースから因果関係を見出す手法を提案し，その表現に必要なデータ構造を考察する．

A Study on the Failure Intensity of Different Software Faults

Kazuyuki Shima, Shingo Takada, Ken'ichi Matsumoto, Koji Torii

Proc. of 19th Int'l Conf. on Software Engineering    86 - 94 1997年05月

研究論文（国際会議プロシーディングス）, 共著, 査読有り

　概要を見る

ソフトウェアの故障の頻度のモデルの提案．

個人の感性の違いを考慮した画像検索に向けての一考察

杉山仁彦, 高田眞吾, 中小路久美代

情報処理学会 グループウェア研究会 97-GW-22   19 - 24 1997年03月

研究論文（研究会，シンポジウム資料等）, 共著

　概要を見る

画像への印象語付加の比較実験，および印象語に対応する配色の調査の報告．

理解しやすいハイパーメディア情報に関する考察

山本恭裕, 高田眞吾, 中小路久美代

情報処理学会 グループウェア研究会 97-GW-21   241 - 246 1997年01月

研究論文（研究会，シンポジウム資料等）, 共著

　概要を見る

ハイパードキュメントの分かりやすさを向上させるための枠組みの提案．

オブジェクト指向プログラムの保守について

高田眞吾, 中小路久美代, 高田義広, 松本健一, 鳥居宏次

電気関係学会関西支部 連合大会 S9-4   S50 1996年11月

研究論文（研究会，シンポジウム資料等）, 共著

　概要を見る

オブジェクト指向プログラムを修正保守する際，各エラーの難易度の印象についての報告．

インタラクティブシステムにおける知識の漸次的形式化の支援

鈴木孝弘, 高田眞吾, 中小路久美代

電子情報通信学会 ソフトウェアサイエンス研究会 SS96-28   1 - 8 1996年11月

研究論文（研究会，シンポジウム資料等）, 共著

　概要を見る

ユーザの知識をシステムが扱えるルールの形に形式化するための手法を提案．

修正保守に対するオブジェクト指向設計の影響について

高田眞吾, 高田義広, Walcelio Melo,鳥居宏次

電子情報通信学会 ソフトウェアサイエンス研究会 SS96-34   49 - 56 1996年11月

研究論文（研究会，シンポジウム資料等）, 共著

　概要を見る

オブジェクト指向プログラムに対して修正保守を行う際，設計がどのような影響を与えるかをメトリクスの観点から検証．

Corrective Maintenance of Object-Oriented Programs - How Good are Human's Perception on the Difficulty of Errors? -

Shingo Takada, Kumiyo Nakakoji

Proc. of Int'l Symp. On Future Software Technology 1996    57 - 64 1996年10月

研究論文（国際会議プロシーディングス）, 共著, 査読有り

　概要を見る

オブジェクト指向に基づいたプログラムを修正保守する際，プログラマが各エラーの難易度をどのように解釈するかの調査結果の報告．

オブジェクト指向プログラムにおける保守の最適化に向けて

高田眞吾, 中小路久美代, 高田義広,鳥居宏次

情報処理学会 ソフトウェア工学研究会 96-SE-111   25 - 32 1996年09月

研究論文（研究会，シンポジウム資料等）, 共著

　概要を見る

プログラムの修正保守の際に，プログラマが学習しているかについての実験の報告．

段落から見た焦点とゼロ代名詞

高田眞吾, 土居範久

電子情報通信学会 論文誌 J79-D-II （ 6 ） 1089 - 1097 1996年06月

研究論文（学術雑誌）, 共著, 査読有り

　概要を見る

段落の中で最も中心的な実体を「段落焦点」として提案し，それを「センターリストモデル」と融合した場合としない場合で，代名詞・ゼロ代名詞の解釈がどう異なるかを検証する．

An Extended Centering Mechanism for Interpreting Pronouns and Zero-Pronouns

Shingo Takada, Norihisa Doi

IEICE Trans. On Information and Systems E78-D （ 1 ） 58 - 67 1995年01月

研究論文（学術雑誌）, 共著, 査読有り

　概要を見る

日本語の文章における代名詞及びゼロ代名詞を解釈するために「センターリストモデル」を提案し，様々な角度から従来の方法と比較する．

Centering in Japanese: A Step Towards Better Interpretation of Pronouns and Zero-Pronouns

Shingo Takada, Norihisa Doi

Proc. of 15th Int'l Conf. on Computational Linguistics    1151 - 1156 1994年08月

研究論文（国際会議プロシーディングス）, 共著, 査読有り

　概要を見る

「センターリング」という概念を拡張し，日本語の文章における代名詞およびゼロ代名詞が何を指しているかを解釈するための枠組み「センターリストモデル」を提案する．

Focusing from the Viewpoint of Paragraphs and Zero-Pronoun Resolution in Japanese

Shingo Takada, Norihisa Doi

Proc. of Focus and NLP:Conf. in Celebration of the 10th Anniversary of the Journal of Semantics    639 - 648 1994年06月

研究論文（国際会議プロシーディングス）, 共著, 査読有り

　概要を見る

日本語の文章におけるゼロ代名詞を解釈する際，段落分けが与える影響について述べ，それに基づいて「段落焦点」を提案する．

Object-Oriented Conceptual Analysis

Shingo Takada, Norihisa Doi

Proc. of 3rd Int'l Conf.on Technology of Object-Oriented Languages and Systems    276 - 285 1990年11月

研究論文（国際会議プロシーディングス）, 共著, 査読有り

　概要を見る

自然言語処理における概念依存解析をオブジェクト指向に基づいた解析に拡張した．

並列概念解析

高田眞吾，土居範久

第4回人工知能学会 全国大会    337 - 340 1990年07月

研究論文（研究会，シンポジウム資料等）, 共著

　概要を見る

オブジェクト指向に基づいた概念依存解析を提案し，自然言語解析を行う．