Concepedia

Shin Nakajima

SN

20

Publications

543

Citations

13

H-Index

1986

Active since

Affiliations

National Institute of Informatics(Current)

Hosei University

The University of Tokyo

Japan Science and Technology Agency

Shin Nakajima is an author at National Institute of Informatics specializing in software engineering, software design, and software analysis.

Top concepts

EngineeringSoftware EngineeringComputer ScienceSoftware DesignSoftware AnalysisProgram AnalysisSystems EngineeringSoftware TestingFormal MethodsFormal Verification

Publications per year

1986–2022

20

Publications

20

Model-Checking Verification for Reliable Web Service

Shin Nakajima · 2002 · 102 citations

Software Maintenance, Faulty Flow Descriptions, Web Service Specification +19

Model-Checking Behavioral Specification of BPEL Applications

Shin Nakajima · Electronic Notes in Theoretical Computer Science · 2006 · 75 citations · Full text

Web Service Specification, Engineering, Verification +20

A Decompositional Approach to Automatic Test Case Generation Based on Formal Specifications

Shaoying Liu, Shin Nakajima · 2010 · 48 citations

Software Maintenance, Engineering, Automatic Functional Testing +20

A Formula-based Approach for Automatic Fault Localization of Multi-fault Programs

Si-Mohamed Lamraoui, Shin Nakajima · Journal of Information Processing · 2016 · 36 citations · Full text

Software Maintenance, New Program Encoding, Program Checking +22

Automatic Test Case and Test Oracle Generation Based on Functional Scenarios in Formal Specifications for Conformance Testing

Shaoying Liu, Shin Nakajima · IEEE Transactions on Software Engineering · 2020 · 34 citations

Rows per page

1–5 of 20