1

A Theoretical Framework for Understanding Mutation-Based Testing Methods

Diversity-Aware Mutation Adequacy Criterion for Improving Fault Detection Capability

Efficient Testing of Self-Adaptive Behaviors in Collective Adaptive Systems

Quality Based Software Project Staffing and Scheduling with Budget and Deadline.

Practical Human Resource Allocation in Software Projects Using Genetic Algorithm.

Definition of Mutation Operators for FBD Models

Empirical Evaluation on FBD Model-Based Test Coverage Criteria Using Mutation Analysis

Function Block Diagram (FBD), one of the PLC programming languages, is a graphical modeling language which has been increasingly used to implement safety-critical software such as nuclear reactor protection software. With increased importance of …