Остановите войну!
for scientists:
default search action
Shin Nakajima 0001
- > Home > Persons > Shin Nakajima 0001
Publications
- 2023
- [c71]Takuma Ikeda, Kozo Okano, Shinpei Ogata, Shin Nakajima:
Fault Localization with DNN-based Test Case Learning and Ablated Execution Traces. ISE@APSEC 2023 - 2022
- [j11]Shaoying Liu, Shin Nakajima:
Automatic Test Case and Test Oracle Generation Based on Functional Scenarios in Formal Specifications for Conformance Testing. IEEE Trans. Software Eng. 48(2): 691-712 (2022) - 2021
- [c70]Shin Nakajima, Takako Nakatani:
AI Extension of SQuaRE Data Quality Model. QRS Companion 2021: 306-313 - 2019
- [j10]Kozo Okano, Satoshi Harauchi, Toshifusa Sekizawa, Shinpei Ogata, Shin Nakajima:
Consistency Checking between Java Equals and hashCode Methods Using Software Analysis Workbench. IEICE Trans. Inf. Syst. 102-D(8): 1498-1505 (2019) - 2018
- [c64]Cláudio Belo Lourenço, Maria João Frade, Shin Nakajima, Jorge Sousa Pinto:
A Generalized Approach to Verification Condition Generation. COMPSAC (1) 2018: 194-203 - 2017
- [c60]Kozo Okano, Satoshi Harauchi, Toshifusa Sekizawa, Shinpei Ogata, Shin Nakajima:
Equivalence Checking of Java Methods: Toward Ensuring IoT Dependability. ICCCN 2017: 1-6 - 2016
- [j9]Si-Mohamed Lamraoui, Shin Nakajima:
A Formula-based Approach for Automatic Fault Localization of Multi-fault Programs. J. Inf. Process. 24(1): 88-98 (2016) - 2015
- [j8]Cláudio Belo Lourenço, Si-Mohamed Lamraoui, Shin Nakajima, Jorge Sousa Pinto:
Studying Verification Conditions for Imperative Programs. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 72 (2015) - [c55]Shin Nakajima, Si-Mohamed Lamraoui:
Fault Localization of Energy Consumption Behavior Using Maximum Satisfiability. CyPhy 2015: 99-115 - [c53]Si-Mohamed Lamraoui, Shin Nakajima, Hiroshi Hosobe:
Hardened Flow-Sensitive Trace Formula for Fault Localization. ICECCS 2015: 50-59 - [c50]Shin Nakajima, Si-Mohamed Lamraoui:
Fault Localization of Timed Automata Using Maximum Satisfiability. SOFL+MSVL 2015: 72-85 - 2014
- [c47]Si-Mohamed Lamraoui, Shin Nakajima:
A Formula-Based Approach for Automatic Fault Localization of Imperative Programs. ICFEM 2014: 251-266 - 2013
- [j6]Naoyasu Ubayashi, Shin Nakajima, Masayuki Hirayama:
Context-dependent product line engineering with lightweight formal approaches. Sci. Comput. Program. 78(12): 2331-2346 (2013) - [c44]Daisuke Ishii, Guillaume Melquiond, Shin Nakajima:
Inductive Verification of Hybrid Automata with Strongest Postcondition Calculus. IFM 2013: 139-153 - [c41]Shaoying Liu, Shin Nakajima:
Combining Specification-Based Testing, Correctness Proof, and Inspection for Program Verification in Practice. SOFL+MSVL 2013: 3-16 - 2012
- [j5]Shaoying Liu, Wuwei Shen, Shin Nakajima:
A formal approach to testing programs in practice. Comput. Sci. Inf. Syst. 9(4): 1469-1491 (2012) - [c36]Cencen Li, Mo Li, Shaoying Liu, Shin Nakajima:
Applying "Functional Scenario-Based" Test Case Generation Method in Unit Testing and Integration Testing. SOFL 2012: 1-11 - 2011
- [j3]Shaoying Liu, Tetsuo Tamai, Shin Nakajima:
A Framework for Integrating Formal Specification, Review, and Testing to Enhance Software Reliability. Int. J. Softw. Eng. Knowl. Eng. 21(2): 259-288 (2011) - [c35]Shaoying Liu, Shin Nakajima:
A "Vibration" Method for Automatically Generating Test Cases Based on Formal Specifications. APSEC 2011: 73-80 - [c33]Shaoying Liu, Shin Nakajima:
A framework for automatic functional testing based on formal specifications. AST 2011: 107-108 - [c32]Cong Tian, Shaoying Liu, Shin Nakajima:
Utilizing Model Checking for Automatic Test Case Generation from Conjunctions of Predicates. ICST Workshops 2011: 304-309 - [c31]Ryosuke Nakashiro, Yasutaka Kamei, Naoyasu Ubayashi, Shin Nakajima, Akihito Iwai:
Translation Pattern of BPEL Process into Promela Code. IWSM/Mensura 2011: 285-290 - 2010
- [c30]Shin Nakajima, Keiji Hokamura, Naoyasu Ubayashi:
Aspect-Oriented Development of PHP-Based Web Applications. COMPSAC Workshops 2010: 37-44 - [c26]Shaoying Liu, Toshinori Hayashi, Kazuhiro Takahashi, Koichiro Kimura, Toshihiro Nakayama, Shin Nakajima:
Automatic Transformation from Formal Specifications to Functional Scenario Forms for Automatic Test Case Generation. SoMeT 2010: 383-397 - [c25]Naoyasu Ubayashi, Shin Nakajima, Masayuki Hirayama:
Context-Dependent Product Line Practice for Constructing Reliable Embedded Systems. SPLC 2010: 1-15 - [c23]Shaoying Liu, Shin Nakajima:
A Decompositional Approach to Automatic Test Case Generation Based on Formal Specifications. SSIRI 2010: 147-155 - 2009
- [c20]Shin Nakajima, Naoyasu Ubayashi, Keiji Hokamura:
Runtime monitoring of cross-cutting policy. EA@ICSE 2009: 20-24 - [c19]Keiji Hokamura, Ryoto Naruse, Masaru Shiozuka, Naoyasu Ubayashi, Shin Nakajima, Akihito Iwai:
AOWP: Web-Specific AOP Framework for PHP. ASE 2009: 683-685 - [c18]Shaoying Liu, Tetsuo Tamai, Shin Nakajima:
Integration of formal specification, review, and testing for software component quality assurance. SAC 2009: 415-421 - 2008
- [c15]Keiji Hokamura, Naoyasu Ubayashi, Shin Nakajima, Akihito Iwai:
Aspect-Oriented Programming for Web Controller Layer. APSEC 2008: 529-536 - 2007
- [c14]Naoyasu Ubayashi, Shin Nakajima:
Context-aware feature-oriented modeling with an aspect extension of VDM. SAC 2007: 1269-1274 - 2006
- [c13]Shin Nakajima, Tetsuo Tamai:
Formal specification and analysis of JAAS framework. SESS@ICSE 2006: 59-64 - [c12]Shin Nakajima, Tetsuo Tamai:
Aspect-oriented software design with a variant of UML/STD. SCESM 2006: 44-50 - 2005
- [j1]Takuya Katayama, Tatsuo Nakajima, Taiichi Yuasa, Tomoji Kishi, Shin Nakajima, Shuichi Oikawa, Masahiro Yasugi, Toshiaki Aoki, Mitsutaka Okazaki, Seiji Umatani:
Highly Reliable Embedded Software Development Using Advanced Software Technologies. IEICE Trans. Inf. Syst. 88-D(6): 1105-1116 (2005) - 2004
- [c9]Tomoji Kishi, Toshiaki Aoki, Shin Nakajima, Natsuko Noda, Takuya Katayama:
Project Report: High-Reliable Object-Oriented Embedded Software Design. WSTFEUS 2004: 144-148 - 2003
- [c8]Tetsuo Hasegawa, Kenta Cho, Fumihiro Kumeno, Shin Nakajima, Akihiko Ohsuga, Shinichi Honiden:
Interoperability for mobile agents by incarnation agents. AAMAS 2003: 1006-1007 - 2001
- [c5]Shin Nakajima, Tetsuo Tamai:
Behavioural Analysis of the Enterprise JavaBeansTM Component Architecture. SPIN 2001: 163-182 - 2000
- [c4]Yasuyuki Beppu, Shin Nakajima, Fumihiro Kumeno, Kenta Cho, Tetsuo Hasegawa, Akihiko Ohsuga:
A Directory Server for Mobile Agents Interoperability. EDOC 2000: 144- - 1997
- [c2]Toshio Tonouchi, Takashi Fukushima, Asuka Manki, Shin Nakajima:
An Implementation of OSI Management Q3 Agent Platform for Subscriber Networks. ICC (2) 1997: 889-893 - [c1]Shin Nakajima, Kokichi Futatsugi:
An Object-Oriented Modeling Method for Algebraic Specifications in CafeOBJ. ICSE 1997: 34-44
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:55 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint