Shin Nakajima

IEEE Trans. Software Eng., 2022

2021

AI Extension of SQuaRE Data Quality Model.

[BibT_eX]

[DOI]

Takako Nakatani

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

2020

Software Testing with Statistical Partial Oracles - Application to Neural Networks Software -.

[BibT_eX]

[DOI]

Proceedings of the Structured Object-Oriented Formal Language and Method, 2020

2019

Causal Reasoning in Systems (NII Shonan Meeting 139).

[BibT_eX]

[DOI]

Gregor Gössler

Stefan Leue

NII Shonan Meet. Rep., 2019

Consistency Checking between Java Equals and hashCode Methods Using Software Analysis Workbench.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 2019

Quality Evaluation Assurance Levels for Deep Neural Networks Software.

[BibT_eX]

[DOI]

Proceedings of the 2019 International Conference on Technologies and Applications of Artificial Intelligence, 2019

Distortion and Faults in Machine Learning Software.

[BibT_eX]

[DOI]

Proceedings of the Structured Object-Oriented Formal Language and Method, 2019

Generating Biased Dataset for Metamorphic Testing of Machine Learning Programs.

[BibT_eX]

[DOI]

Tsong Yueh Chen

Proceedings of the Testing Software and Systems, 2019

A Map of Asynchronous Communication Models.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

2018

Dataset Diversity for Metamorphic Testing of Machine Learning Software.

[BibT_eX]

[DOI]

Proceedings of the Structured Object-Oriented Formal Language and Method, 2018

[Invited] Quality Assurance of Machine Learning Software.

[BibT_eX]

[DOI]

Proceedings of the IEEE 7th Global Conference on Consumer Electronics, 2018

A Net-Based Formal Framework for Causal Loop Diagrams.

[BibT_eX]

[DOI]

Guillermina Cledou

Proceedings of the Complex Systems Design & Management Asia, 2018

A Generalized Approach to Verification Condition Generation.

[BibT_eX]

[DOI]

Cláudio Belo Lourenço

Maria João Frade

Jorge Sousa Pinto

Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

2017

Generalized Oracle for Testing Machine Learning Computer Programs.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods, 2017

Equivalence Checking of Java Methods: Toward Ensuring IoT Dependability.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Computer Communication and Networks, 2017

2016

Architecture-Centric Modeling, Analysis, and Veri cation of Cyber-Physical Systems (NII Shonan Meeting 2016-5).

[BibT_eX]

[DOI]

NII Shonan Meet. Rep., 2016

Implicit and explicit semantics integration in proof based developments of discrete systems (NII Shonan Meeting 2016-16).

[BibT_eX]

[DOI]

Yamine Aït Ameur

Dominique Méry

NII Shonan Meet. Rep., 2016

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

[BibT_eX]

[DOI]

J. Inf. Process., 2016

Dataset Coverage for Testing Machine Learning Computer Programs.

[BibT_eX]

[DOI]

Hai Ngoc Bui

Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016

2015

Online diagnosis of accidental faults for real-time embedded systems using a hidden Markov model.

[BibT_eX]

[DOI]

Ning Ge

Marc Pantel

Simul., 2015

Studying Verification Conditions for Imperative Programs.

[BibT_eX]

[DOI]

Cláudio Belo Lourenço

Jorge Sousa Pinto

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015

Fault Localization of Timed Automata Using Maximum Satisfiability.

[BibT_eX]

[DOI]

Proceedings of the Structured Object-Oriented Formal Language and Method, 2015

Refinement and Proof Based Development of Systems Characterized by Continuous Functions.

[BibT_eX]

[DOI]

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015

Verifying eventuality properties of imprecise system requirements using event-B.

[BibT_eX]

[DOI]

Hong Anh Le

Ninh-Thuan Truong

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Hardened Flow-Sensitive Trace Formula for Fault Localization.

[BibT_eX]

[DOI]

Hiroshi Hosobe

Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015

Using Real-Time Maude to Model Check Energy Consumption Behavior.

[BibT_eX]

[DOI]

Proceedings of the FM 2015: Formal Methods, 2015

Fault Localization of Energy Consumption Behavior Using Maximum Satisfiability.

[BibT_eX]

[DOI]

Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2015

Formal Analysis of Android Application Behavior with Real-Time Maude.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE 3rd International Conference on Cyber-Physical Systems, 2015

Analyzing Lifecycle Behavior of Android Application Components.

[BibT_eX]

[DOI]

Proceedings of the 39th Annual Computer Software and Applications Conference, 2015

2014

Using Alloy in Introductory Courses of Formal Methods.

[BibT_eX]

[DOI]

Proceedings of the Structured Object-Oriented Formal Language and Method, 2014

A Formula-Based Approach for Automatic Fault Localization of Imperative Programs.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2014

Model Checking of Energy Consumption Behavior.

[BibT_eX]

[DOI]

Proceedings of the Complex Systems Design & Management Asia, Designing Smart Cities: Proceedings of the First Asia, 2014

Everlasting Challenges with the OBJ Language Family.

[BibT_eX]

[DOI]

Proceedings of the Specification, Algebra, and Software, 2014

2013

Context-dependent product line engineering with lightweight formal approaches.

[BibT_eX]

[DOI]

Masayuki Hirayama

Sci. Comput. Program., 2013

Efficient online analysis of accidental fault localization for dynamic systems using hidden Markov model.

[BibT_eX]

[DOI]

Ning Ge

Marc Pantel

Proceedings of the 2013 Spring Simulation Multiconference, SpringSim '13, 2013

Modeling and debugging numerical constraints of cyber-physical systems design.

[BibT_eX]

[DOI]

Thanh Nguyen Tien

Huynh Quyet Thang

Proceedings of the 4th International Symposium on Information and Communication Technology, 2013

Combining Specification-Based Testing, Correctness Proof, and Inspection for Program Verification in Practice.

[BibT_eX]

[DOI]

Proceedings of the Structured Object-Oriented Formal Language and Method, 2013

Model-based Power Consumption Analysis of Smartphone Applications.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Model Based Architecting and Construction of Embedded Systems co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013), 2013

Safe substitution for service-based applications.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Quality Assurance for Service-based Applications, 2013

Inductive Verification of Hybrid Automata with Strongest Postcondition Calculus.

[BibT_eX]

[DOI]

Daisuke Ishii

Guillaume Melquiond

Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

Safe Substitution of Components in Self-Adaptive Web Applications.

[BibT_eX]

[DOI]

Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012

A formal approach to testing programs in practice.

[BibT_eX]

[DOI]

Wuwei Shen

Comput. Sci. Inf. Syst., 2012

Applying "Functional Scenario-Based" Test Case Generation Method in Unit Testing and Integration Testing.

[BibT_eX]

[DOI]

Proceedings of the Structured Object-Oriented Formal Language and Method, 2012

Co-analysis of SysML and Simulink Models for Cyber-Physical Systems Design.

[BibT_eX]

[DOI]

Satoru Furukawa

Yoshikazu Ueda

Proceedings of the 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2012

Importance Sampling of Runtime Interference.

[BibT_eX]

[DOI]

Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

2011

A Framework for Integrating Formal Specification, Review, and Testing to Enhance Software Reliability.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2011

Integrated Model Checking of Static Structure and Dynamic Behavior using Temporal Description Logics.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Translation Pattern of BPEL Process into Promela Code.

[BibT_eX]

[DOI]

Proceedings of the 2011 Joint Conf of 21st Int'l Workshop on Software Measurement and the 6th Int'l Conference on Software Process and Product Measurement, 2011

Utilizing Model Checking for Automatic Test Case Generation from Conjunctions of Predicates.

[BibT_eX]

[DOI]

Cong Tian

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

A framework for automatic functional testing based on formal specifications.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Automation of Software Test, 2011

An Architecture of Dynamically Adaptive PHP-based Web Applications.

[BibT_eX]

[DOI]

Proceedings of the 18th Asia Pacific Software Engineering Conference, 2011

A "Vibration" Method for Automatically Generating Test Cases Based on Formal Specifications.

[BibT_eX]

[DOI]

Proceedings of the 18th Asia Pacific Software Engineering Conference, 2011

2010

From Counterexamples to Incremental Interactive Tracing of Errors (Schrittweise Fehleranalyse auf der Grundlage von Model-Checking).

[BibT_eX]

[DOI]

Burkhard Freitag

it Inf. Technol., 2010

Incremental Construction of Counterexamples in Model Checking Web Documents.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Automated Specification and Verification of Web Systems, 2010

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

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010

Context-Dependent Product Line Practice for Constructing Reliable Embedded Systems.

[BibT_eX]

[DOI]

Masayuki Hirayama

Proceedings of the Software Product Lines: Going Beyond - 14th International Conference, 2010

Non-clausal Encoding of Feature Diagram for Automated Diagnosis.

[BibT_eX]

[DOI]

Proceedings of the Software Product Lines: Going Beyond - 14th International Conference, 2010

Automatic Transformation from Formal Specifications to Functional Scenario Forms for Automatic Test Case Generation.

[BibT_eX]

[DOI]

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2010

Rewriting Logic Approach to Modeling and Analysis of Client Behavior in Open Systems.

[BibT_eX]

[DOI]

Masaki Ishiguro

Kazuyuki Tanaka

Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2010

Structured Counterexamples for the Temporal Description Logic ALCCTL.

[BibT_eX]

[DOI]

Burkhard Freitag

Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010

Semi-automated diagnosis of FODA feature diagram.

[BibT_eX]

[DOI]

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Aspect-Oriented Development of PHP-Based Web Applications.

[BibT_eX]

[DOI]

Keiji Hokamura

Proceedings of the Workshop Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, 2010

2009

Modular Checking with Model Checking.

[BibT_eX]

[DOI]

Yuusuke Hashimoto

Proceedings of the 4th International Workshop on Systems Software Verification, 2009

Constructing FODA Feature Diagrams with a GUI-based Tool.

[BibT_eX]

Proceedings of the 21st International Conference on Software Engineering & Knowledge Engineering (SEKE'2009), 2009

Integration of formal specification, review, and testing for software component quality assurance.

[BibT_eX]

[DOI]

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

AOWP: Web-Specific AOP Framework for PHP.

[BibT_eX]

[DOI]

Proceedings of the ASE 2009, 2009

Runtime monitoring of cross-cutting policy.

[BibT_eX]

[DOI]

Keiji Hokamura

Proceedings of the 2009 ICSE Workshop on Aspect-Oriented Requirements Engineering and Architecture Design, 2009

Modular Checking of C Programs Using SAT-Based Bounded Model Checker.

[BibT_eX]

[DOI]

Yuusuke Hashimoto

Proceedings of the 16th Asia-Pacific Software Engineering Conference, 2009

2008

Aspect-Oriented Programming for Web Controller Layer.

[BibT_eX]

[DOI]

Proceedings of the 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 2008

2007

Context-aware feature-oriented modeling with an aspect extension of VDM.

[BibT_eX]

[DOI]

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

2006

Aspect-oriented software design with a variant of UML/STD.

[BibT_eX]

[DOI]

Proceedings of the SCESM '06: Proceedings of the 2006 International Workshop on Scenarios and State Machines: Models, 2006

Formal specification and analysis of JAAS framework.

[BibT_eX]

[DOI]

Proceedings of the 2006 international workshop on Software engineering for secure systems, 2006

2005

Highly Reliable Embedded Software Development Using Advanced Software Technologies.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 2005

Model-Checking Behavioral Specification of BPEL Applications.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Web Languages and Formal Methods, 2005

2004

Project Report: High-Reliable Object-Oriented Embedded Software Design.

[BibT_eX]

[DOI]

Proceedings of the 2nd IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, 2004

Model-Checking of Safety and Security Aspects in Web Service Flows.

[BibT_eX]

[DOI]

Proceedings of the Web Engineering - 4th International Conference, 2004

2003

Interoperability for mobile agents by incarnation agents.

[BibT_eX]

[DOI]

Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

2002

Verification of Web Service Flows with Model-Checking Techniques.

[BibT_eX]

[DOI]

Proceedings of the 1st International Symposium on Cyber Worlds (CW 2002), 2002

Behavioural Analysis of Component Framework with Multi-Valued Transition System.

[BibT_eX]

[DOI]

Proceedings of the 9th Asia-Pacific Software Engineering Conference (APSEC 2002), 2002

2001

Behavioural Analysis of the Enterprise JavaBeans<sup>TM</sup> Component Architecture.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software, 2001

2000

A Directory Server for Mobile Agents Interoperability.

[BibT_eX]

[DOI]

Proceedings of the 4th International Enterprise Distributed Object Computing Conference (EDOC 2000), 2000

1999

Using Algebraic Specification Techniques in Development of Object-Oriented Frameworks.

[BibT_eX]

[DOI]

Proceedings of the FM'99 - Formal Methods, 1999

1997

An Object-Oriented Modeling Method for Algebraic Specifications in CafeOBJ.

[BibT_eX]

[DOI]