Details of a Researcher - Takada, Shingo

Papers - Takada, Shingo

Division display >> ／ All the affair displays 1 - 209 of about 209

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

Research paper (international conference proceedings), Joint Work, Last author, Accepted

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

Research paper (international conference proceedings), Joint Work, Last author, Accepted

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

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

電子情報通信学会論文誌 J107-D ( 2 ) 77 - 81 2024.02

Research paper (scientific journal), Accepted

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

Kun Cheng, Shingo Takada

Proc. of 11th International Workshop on Quantitative Approaches to Software Quality (QuASoQ 2023) 3612 51 - 59 2023.12

Research paper (international conference proceedings), Joint Work, Last author, Accepted, 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

Zhang Yejian, Shingo Takada

IEEE Access (IEEE) 11 142447 - 142463 2023.12

Research paper (scientific journal), Joint Work, Last author, Accepted

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

Keita Murase, Shingo Takada

Proc. of 35th International Conference on Software Engineering & Knowledge Engineering 2023-July 64 - 69 2023.07

Research paper (international conference proceedings), Joint Work, Last author, Accepted, 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, def ine adynamic 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

Kazusa Takemoto, Shingo Takada

Proc. of 35th International Conference on Software Engineering & Knowledge Engineering 2023-July 118 - 122 2023.07

Research paper (international conference proceedings), Joint Work, Last author, Accepted, 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

Research paper (scientific journal), Joint Work, Accepted

ソフトウェア開発において，開発者が守るべきと考えるようなコーディングスタイルに関する基準(コーディング規約)が存在する．しかし，実際の開発プロジェクトで必ずしも遵守されているとは限らない．我々は，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

Yoshitomo Sha, Masataka Nagura, Shingo Takada

Proc.of 5th Workshop on Validation, Analysis and Evolution of Software Tests (VST2022) (IEEE) 1128 - 1135 2022.03

Research paper (international conference proceedings), Joint Work, Accepted

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

Research paper (conference, symposium, etc.), Joint Work

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)

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

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

情報処理学会ソフトウェア工学研究会研究報告 (情報処理学会) 2021-SE-209 ( 5 ) 1 - 7 2021.11

Research paper (conference, symposium, etc.)

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

小島海, 高田眞吾

情報処理学会ソフトウェア工学研究会研究報告 (情報処理学会) 2021-SE-209 ( 10 ) 1 - 8 2021.11

Research paper (conference, symposium, etc.), Joint Work

Which Factors Affect Q-Learning-based Automated Android Testing - A Study Focusing on Algorithm, Learning Target, and Reward Function -

Yuki Moriguchi, Shingo Takada

Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering (SEKE2021) (Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE) 2021-July 522 - 527 2021.07

Research paper (international conference proceedings), Accepted, 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

Research paper (conference, symposium, etc.), Joint Work

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)

Detecting possibly unimplemented methods in android applications

Nagura M., Usui H., Takada S.

Computer Software (Japan Society for Software Science and Technology) 38 ( 2 ) 71 - 89 2021

Research paper (scientific journal), Joint Work, Accepted, ISSN 02896540

Android applications are event driven. Developers implement event handlers by inheriting and then coding callback methods that are defined in the Android API. If developers forget to implement relevant callback methods, the application may behave in an unexpected manner. In this paper, we propose an approach that detects methods that are currently unimplemented, but should be implemented. Detected methods are shown to developers for their consideration. We focus on callback methods that are frequently imple-mented, as well as pairs of methods that are frequently implemented together. Our approach first extracts such methods, method pairs and their frequencies from existing projects. Then, the extracted information is used to detect methods that are unimplemented but should be implemented, which are then shown to the developers. We implemented our approach as a plug-in for Android Studio. Our evaluation showed that our approach was able to detect more than half of the unimplemented methods that should be implemented within the top 15% of all unimplemented callback methods.

Access to Document (DOI)

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

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

情報処理学会論文誌 (情報処理学会) 61 ( 4 ) 895 - 907 2020.04

Research paper (scientific journal), Joint Work, Accepted

Access to Document (DOI)

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

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

第82回情報処理学会全国大会講演論文集 (情報処理学会) 235 - 236 2020.03

Research paper (conference, symposium, etc.)

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

Research paper (international conference proceedings), Accepted, 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

Research paper (conference, symposium, etc.)

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

名倉正剛, 高田眞吾

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

Research paper (conference, symposium, etc.)

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

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

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

Research paper (conference, symposium, etc.), Joint Work

Semantic analysis for deep Q-network in android GUI testing

Vuong T., Takada S.

Research paper (international conference proceedings), Joint Work, Accepted

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

Research paper (international conference proceedings), Joint Work, Accepted

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

Research paper (scientific journal), Joint Work, Accepted, 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.

Research paper (international conference proceedings), Joint Work, Accepted

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

Research paper (conference, symposium, etc.), Joint Work

Detecting Functionally Similar Code within the Same Project

Ryo Tajima, Masataka Nagura, Shingo Takada

Proceedings of 12th International Workshop on Software Clones (IWSC 2018) (IEEE) 2018-January 51 - 57 2018.03

Research paper (international conference proceedings), Joint Work, Accepted

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

Research paper (conference, symposium, etc.), Joint Work

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

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

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

Research paper (conference, symposium, etc.), Joint Work

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

Research paper (international conference proceedings), Joint Work, Accepted

Access to Document (DOI)

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

Research paper (international conference proceedings), Joint Work, Accepted

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

平野智久，高田眞吾

情報処理学会ソフトウェア工学研究会研究報告 (情報処理学会) 2017-SE-195 ( 3 ) 1 - 8 2017.03

Research paper (conference, symposium, etc.), Joint Work

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

Research paper (international conference proceedings), Joint Work, Accepted

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

Research paper (scientific journal), Joint Work, Accepted

Access to Document (DOI)

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

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

情報処理学会ソフトウェア工学研究会研究報告 (情報処理学会) 2016-SE-194 ( 10 ) 1 - 8 2016.11

Research paper (conference, symposium, etc.), Joint Work

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

Research paper (international conference proceedings), Joint Work, Accepted

Access to Document (DOI)

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

Research paper (international conference proceedings), Joint Work, Accepted

Access to Document (DOI)

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

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

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

Research paper (conference, symposium, etc.), Joint Work

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

Research paper (scientific journal), Joint Work

Access to Document (DOI)

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

萩原優樹, 高田眞吾

情報処理学会第78回全国大会 (情報処理学会) 2J-1 2016.03

Research paper (conference, symposium, etc.), Joint Work

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

叶野雄与, 高田眞吾

情報処理学会第78回全国大会 (情報処理学会) 1J-1 2016.03

Research paper (conference, symposium, etc.), Joint Work

Mobile Application Testing Focusing on External Event

Siena Yu, Shingo Takada

情報処理学会第78回全国大会 (情報処理学会) 1J-5 2016.03

Research paper (conference, symposium, etc.), Joint Work

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

Jose Lorenzo San Miguel, Shingo Takada

情報処理学会第78回全国大会 (情報処理学会) 1J-8 2016.03

Research paper (conference, symposium, etc.), Joint Work

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

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

情報処理学会論文誌 57 ( 2 ) 670 - 680 2016.02

Research paper (scientific journal), Joint Work, Accepted

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

張恭瑞, 高田眞吾

コンピュータソフトウェア 33 ( 3 ) 150 - 166 2016.02

Research paper (scientific journal), Joint Work, Accepted

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

Research paper (international conference proceedings), Joint Work, Accepted

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

Research paper (international conference proceedings), Joint Work, Accepted

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

Research paper (international conference proceedings), Joint Work, Accepted

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

Research paper (scientific journal), Joint Work, Accepted

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

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

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

Research paper (conference, symposium, etc.), Joint Work, Accepted

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

Research paper (international conference proceedings), Joint Work, Accepted

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

Research paper (international conference proceedings), Joint Work, Accepted

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

Research paper (international conference proceedings), Joint Work, Accepted

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

Research paper (scientific journal), Joint Work, Accepted

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

Research paper (scientific journal), Joint Work, Accepted

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

Research paper (international conference proceedings), Joint Work, Accepted

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

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

情報処理学会第76回全国大会 (情報処理学会) 3L-6 2014.03

Research paper (conference, symposium, etc.), Joint Work

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

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

情報処理学会ソフトウェア工学研究会 (情報処理学会) 2014-SE-183 ( 1 ) 2014.03

Research paper (conference, symposium, etc.), Joint Work

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

吉磊，高田眞吾

情報処理学会第76回全国大会 (情報処理学会) 2M-6 2014.03

Research paper (conference, symposium, etc.), Joint Work

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

Research paper (international conference proceedings), Joint Work, Accepted

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

Research paper (conference, symposium, etc.), Joint Work, Accepted

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

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

コンピュータソフトウェア (ソフトウェア科学会) 30 ( 1 ) 164 - 179 2013.02

Research paper (scientific journal), Joint Work, Accepted

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

柴田和祈，高田眞吾

情報処理学会論文誌 (情報処理学会) 54 ( 2 ) 647 - 658 2013.02

Research paper (scientific journal), Joint Work, Accepted

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

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

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

SEC Journal (独立行政法人情報処理推進機構) 8 ( 4 ) 150 - 157 2012.12

Research paper (scientific journal), Joint Work, Accepted

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

Research paper (international conference proceedings), Joint Work, Accepted

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

IEICE Transactions on Information and Systems (IEICE) E95-D ( 4 ) 1003 - 1011 2012.04

Research paper (scientific journal), Single Work, Accepted

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

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

情報処理学会ソフトウェア工学研究会 (情報処理学会) 2012-SE-175 ( 15 ) 1 - 8 2012.03

Research paper (conference, symposium, etc.), Joint Work

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

柴田和祈，高田眞吾

情報処理学会第74回全国大会 (情報処理学会) 3P-1 2012.03

Research paper (conference, symposium, etc.), Joint Work

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

中島健，高田眞吾

情報処理学会第74回全国大会 (情報処理学会) 4X-2 2012.03

Research paper (conference, symposium, etc.), Joint Work

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

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

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

Research paper (conference, symposium, etc.), Joint Work, Accepted

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

Research paper (international conference proceedings), Single Work, Accepted

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

廣葉貴寛，高田眞吾

情報処理学会第73回全国大会 (情報処理学会) 6L-5 2011.03

Research paper (conference, symposium, etc.), Joint Work

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

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

情報処理学会第73回全国大会 (情報処理学会) 3L-5 2011.03

Research paper (conference, symposium, etc.), Joint Work

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

Research paper (scientific journal), Joint Work, Accepted

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

Research paper (scientific journal), Joint Work, Accepted

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

吉原慧，高田眞吾

情報処理学会第72回全国大会 (情報処理学会) 2P-5 2010.03

Research paper (conference, symposium, etc.), Joint Work

Enhancing Enterprise Service Bus Capability for Load Balancing

Aimrudee Jongtaveesataporn, Shingo Takada

WSEAS Transactions on Computers 9 ( 3 ) 299-308 2010.03

Research paper (scientific journal), Joint Work, Accepted

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

前澤悠太，高田眞吾

情報処理学会第72回全国大会 (情報処理学会) 6P-6 2010.03

Research paper (conference, symposium, etc.), Joint Work

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

Research paper (scientific journal), Joint Work, Accepted

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

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

情報処理学会論文誌 50 ( 12 ) 3041-3051 2009.12

Research paper (scientific journal), Single Work, Accepted

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

Research paper (scientific journal), Joint Work, Accepted

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

Research paper (scientific journal), Joint Work, Accepted

Leveraging use cases in developing service-systems

TAKADA SHINGOShingo Takada

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

Research paper (scientific journal), Single Work

Round -trip Engineering of Web Applications Focusing on Dynamic Models

TAKADA SHINGOYuto Imazeki,Shingo Takada,Norihisa Doi

Proc.of the 10th International Conference on Enterprise Information Systems Ⅲ ( 2 ) 228-233 2008.06

Research paper (scientific journal), Single Work

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

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

情報処理学会論文誌 49 ( 7 ) 2328-2337 2008

Research paper (scientific journal), Single Work

Requirement Analysis Using Similar Sequence Diagrams

TAKADA SHINGOAkihiko Hara,Shingo Takada

11th Iasted International Conference on Software Engineering and Applications SEA2007 66-71 2007.11

Research paper (scientific journal), Single Work

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

TAKADA SHINGO

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

Single Work

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

TAKADA SHINGO

情報処理学会論文誌 48 ( 2 ) 588-603 2007

Research paper (scientific journal), Single Work

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

TAKADA SHINGO

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

Research paper (scientific journal), Single Work

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

TAKADA SHINGO

情報処理学会第68回全国大会講演論文集 2S ( 1 ) 2006.03

Research paper (scientific journal), Single Work

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

TAKADA SHINGO

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

Single Work

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

Nagura Masataka,Kouno Yasutaka,Takada Shingo,Doi Norihisa

情報処理学会論文誌 47 ( 2 ) 484-494 2006

Research paper (conference, symposium, etc.), Joint Work, Accepted

Calculating Cross-Ontology Similarity for Web Services Discovery

Sasiporn Usanavasin,Shingo Takada,Norihisa Doi

人工知能学会論文誌 21 ( 3 ) 231-242 2006

Research paper (conference, symposium, etc.), Joint Work, Accepted

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

TAKADA SHINGOHiroshi Wada,Junichi Suzuki,Katsuya Oba,Shingo Takada,Norihisa Doi

コンピュータソフトウェア 23 ( 3 ) 158-169 2006

Research paper (scientific journal), Single Work

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

Kouno Yasutaka,Nagura Masataka,TAKADA SHINGO,Doi Norihisa

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

Research paper (conference, symposium, etc.), Joint Work, Accepted

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

Research paper (conference, symposium, etc.), Joint Work, Accepted

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

Research paper (conference, symposium, etc.), Joint Work, Accepted

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

TAKADA SHINGO

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

Research paper (conference, symposium, etc.), Joint Work, Accepted

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

Research paper (conference, symposium, etc.), Joint Work, Accepted

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

Research paper (conference, symposium, etc.), Joint Work, Accepted

Proposal for the experimental environment for Network Worm infection

Masato Terada,Shingo Takada,Norihisa Doi

17th Annual FIRST Conference 2005.06

Research paper (conference, symposium, etc.), Joint Work, Accepted

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

Research paper (conference, symposium, etc.), Joint Work, Accepted

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

Imazeki yuuto,TAKADA SHINGO,Doi Norihisa

情報処理学会第67回全国大会講演論文集 (情報処理学会) 4N-2 2005.03

Research paper (conference, symposium, etc.), Joint Work

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

Research paper (conference, symposium, etc.), Joint Work, Accepted

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

Honma Takahiro,Nagura Masataka,TAKADA SHINGO,Doi Norihisa

情報処理学会第67回全国大会 (情報処理学会) 2S-3 2005.03

Research paper (conference, symposium, etc.), Joint Work

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

Tomita takahiko,TAKADA SHINGO,Iijima Tadasi,Doi Norihisa

情報処理学会第67回全国大会講演論文集 (情報処理学会) 3N-7 2005.03

Research paper (conference, symposium, etc.), Joint Work

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

Koujyu Toshihiko,Takada Shingo,Doi Norihisa

情報処理学会論文誌 46 ( 12 ) 3040-3053 2005

Research paper (conference, symposium, etc.), Joint Work

A Multi-Faceted Approach for Searching Web Applications

Sasiporn Usanavasin,Takahiro Nakamori,ShingoTakada, Norihisa Doi

情報処理学会論文誌 46 ( 3 ) 816-830 2005

Research paper (conference, symposium, etc.), Joint Work, Accepted

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

Terada Masato,Takada Shingo,Doi Norihisa

情報処理学会論文誌 46 ( 5 ) 1256-1265 2005

Research paper (conference, symposium, etc.), Joint Work, Accepted

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

Koujyu Toshihiko,Takada Shingo,Doi Norihisa

コンピュータソフトウェア 22 ( 3 ) 186-193 2005

Research paper (conference, symposium, etc.), Joint Work, Accepted

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

Terada Masato,Takada Shingo,Doi Norihisa

情報処理学会論文誌 46 ( 8 ) 2014-2024 2005

Research paper (conference, symposium, etc.), Joint Work

A Framework for Multiple Service Discovery and Robustness

Yasutaka Kono, Shingo Takada, Norihisa Doi

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

Research paper (conference, symposium, etc.), Joint Work, Accepted

Towards Use Case based Software Reuse

Kuniharu Yamada, Shingo Takada, Norihisa Doi

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

Research paper (conference, symposium, etc.), Joint Work, Accepted

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

TAKADA SHINGO

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

Research paper (conference, symposium, etc.), Joint Work

Supporting the Interative Development of Sequence Diagrams and Statecharts

Hideo Hasagawa,Shingo Takada,Norihisa Doi

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

Research paper (conference, symposium, etc.), Joint Work, Accepted

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

TAKADA SHINGO

ソフトウェア科学会第21回大会 2004.09

Research paper (conference, symposium, etc.), Joint Work

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

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

情報処理学会論文誌 45 ( 8 ) 2043-2054 2004.08

Research paper (conference, symposium, etc.), Joint Work, Accepted

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

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

情報処理学会コンピュータセキュリティ研究会 (情報処理学会) ( 25 ) 37-42 2004.05

Research paper (conference, symposium, etc.), Joint Work

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

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

電子情報通信学会ソフトウェアサイエンス研究会 (電子情報通信学会) 2004.05

Joint Work

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

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

情報処理学会第66回全国大会 (情報処理学会) 2004.03

Research paper (conference, symposium, etc.), Joint Work

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

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

情報処理学会第66回全国大会 (情報処理学会) 2004.03

Research paper (conference, symposium, etc.), Joint Work

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

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

情報処理学会第66回全国大会 (情報処理学会) 2004.03

Research paper (conference, symposium, etc.), Joint Work

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

Research paper (conference, symposium, etc.), Joint Work, Accepted

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

Research paper (conference, symposium, etc.), Joint Work, Accepted

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

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

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

Research paper (conference, symposium, etc.), Joint Work, Accepted

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

Research paper (conference, symposium, etc.), Joint Work, Accepted

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

高田眞吾

第2回情報科学技術フォーラム(FIT2003) 2003.09

Research paper (conference, symposium, etc.), Joint Work

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

高田眞吾

第2回情報科学技術フォーラム(FIT2003) 2003.09

Research paper (conference, symposium, etc.), Joint Work

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

高田眞吾

第2回情報科学技術フォーラム(FIT2003) 2003.09

Research paper (conference, symposium, etc.), Joint Work

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

高田眞吾

情報処理学会第65回全国大会講演論文集 2003.03

Research paper (conference, symposium, etc.), Single Work

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

高田眞吾

情報処理学会第65回全国大会講演論文集 2003.03

Research paper (conference, symposium, etc.), Joint Work

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

高田眞吾

日本ソフトウェア科学会第19回大会論文集 2002.09

Research paper (conference, symposium, etc.), Joint Work

Automated Adapter Generation for Gluing Heterogeneous External Components

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

Research paper (conference, symposium, etc.), Joint Work, Accepted

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

Research paper (conference, symposium, etc.), Joint Work, Accepted

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

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

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

Research paper (conference, symposium, etc.), Joint Work

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

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

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

Research paper (conference, symposium, etc.), Joint Work

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

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

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

Research paper (conference, symposium, etc.), Joint Work

Conference Key Agreement Protocol Using Oblivious Transfer

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

情報処理学会論文誌 Vol.42 ( No.1 ) 89-98 2001.01

Research paper (conference, symposium, etc.), Joint Work, Accepted

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

Joint Work

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

Research paper (conference, symposium, etc.), Joint Work, Accepted

Jigsaw Puzzle Metaphor for Component-based Programming

Shingo Takada

Collective Creativity Workshop 2000.08

Single Work, Accepted

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

Research paper (conference, symposium, etc.), Joint Work, Accepted

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

Joint Work

Generating Shared RSA Parameters for Two Communicating Parties

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

情報処理学会論文誌 Vol.41 ( No.8 ) 2068-2079 2000.08

Joint Work

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

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

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

Research paper (conference, symposium, etc.), Joint Work

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

Joint Work, Accepted

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

Joint Work

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

Joint Work, Accepted

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

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

情報処理学会論文誌 Vol.40 ( No.11 ) 3887-3895 1999.11

Joint Work

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

Joint Work, Accepted

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

Joint Work, Accepted

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

S. Takada

1999 CADPRO Workshop 44-52 1999.09

Single Work, Accepted

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

Joint Work, Accepted

A Proposal for Generating Shared RSA Parameters

A. Barmawi, S. Takada, N. Doi

International Workshop on Security 154-160 1999.09

Joint Work, Accepted

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

Joint Work, Accepted

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

Joint Work

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

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

ソフトウェアシンポジウム99 119 - 125 1999.06

Research paper (conference, symposium, etc.), Joint Work, Accepted

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

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

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

Research paper (conference, symposium, etc.), Joint Work

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

Research paper (international conference proceedings), Joint Work, Accepted

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

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

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

Research paper (conference, symposium, etc.), Joint Work

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

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

人工知能学会誌 14 ( 1 ) 82 - 92 1999.01

Research paper (scientific journal), Joint Work, Accepted

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

Research paper (scientific journal), Joint Work, Accepted

Augmented Encrypted Key Exchange using RSA Encryption and Confounder

Ari Moesriami Barmawi, Shingo Takada, Norihisa Doi

情報処理学会論文誌 39 ( 12 ) 3324 - 3332 1998.12

Research paper (scientific journal), Joint Work, Accepted

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

Research paper (other academic), Joint Work

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

Research paper (international conference proceedings), Joint Work, Accepted

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

Research paper (international conference proceedings), Joint Work, Accepted

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

Kumiyo Nakakoji, Yasuhiro Yamamoto, Kimihiko Sugiyama, Shingo Takada

Proc. of IFIP Conf. on Designing Effective and Usable Multimedia Systems 91 - 102 1998.09

Research paper (international conference proceedings), Joint Work, Accepted

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

Research paper (international conference proceedings), Joint Work, Accepted

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

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

日本認知科学会第15回大会 30 - 31 1998.06

Research paper (conference, symposium, etc.), Joint Work

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

Research paper (international conference proceedings), Joint Work, Accepted

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

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

ソフトウェアシンポジウム98 35 - 43 1998.06

Research paper (conference, symposium, etc.), Joint Work, Accepted

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

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

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

Research paper (conference, symposium, etc.), Joint Work

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

Research paper (international conference proceedings), Joint Work, Accepted

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

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

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

Research paper (conference, symposium, etc.), Joint Work

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

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

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

Research paper (conference, symposium, etc.), Joint Work

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

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

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

Research paper (conference, symposium, etc.), Joint Work

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

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

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

Research paper (conference, symposium, etc.), Joint Work

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

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

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

Research paper (conference, symposium, etc.), Joint Work

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

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

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

Research paper (conference, symposium, etc.), Joint Work

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

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

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

Research paper (conference, symposium, etc.), Joint Work

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

Research paper (international conference proceedings), Joint Work, Accepted

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

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

日本情報考古学会第4回大会 76 - 81 1997.09

Research paper (conference, symposium, etc.), Joint Work

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

Research paper (international conference proceedings), Joint Work, Accepted

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

Research paper (international conference proceedings), Joint Work, Accepted

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

高田眞吾, 井上克郎

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

Research paper (conference, symposium, etc.), Joint Work

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

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

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

Research paper (conference, symposium, etc.), Joint Work

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

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

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

Research paper (conference, symposium, etc.), Joint Work

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

Research paper (international conference proceedings), Joint Work, Accepted

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

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

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

Research paper (conference, symposium, etc.), Joint Work

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

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

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

Research paper (conference, symposium, etc.), Joint Work

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

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

電気関係学会関西支部連合大会 S9-4 S50 1996.11

Research paper (conference, symposium, etc.), Joint Work

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

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

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

Research paper (conference, symposium, etc.), Joint Work

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

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

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

Research paper (conference, symposium, etc.), Joint Work

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

Research paper (international conference proceedings), Joint Work, Accepted

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

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

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

Research paper (conference, symposium, etc.), Joint Work

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

高田眞吾, 土居範久

電子情報通信学会論文誌 J79-D-II ( 6 ) 1089 - 1097 1996.06

Research paper (scientific journal), Joint Work, Accepted

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

Research paper (scientific journal), Joint Work, Accepted

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

Research paper (international conference proceedings), Joint Work, Accepted

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

Research paper (international conference proceedings), Joint Work, Accepted

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

Research paper (international conference proceedings), Joint Work, Accepted

並列概念解析

高田眞吾，土居範久

第4回人工知能学会全国大会 337 - 340 1990.07

Research paper (conference, symposium, etc.), Joint Work

　 Previous page - Next page 　