ARTICLE
TITLE

Mutation Based Testing of P Systems

SUMMARY

Although testing is an essential part of software development, until re- cently, P system testing has been completely neglected. Mutation testing (mutation analysis) is a structural software testing method which involves modifying the pro- gram in small ways. In this paper, we provide a formal way of generating mutants for systems specified by context-free grammars. Furthermore, the paper shows how the proposed method can be used to construct mutants for a P system specification.

PAGES
pp. 253 - 262
COLLECTIONS
Computing
Computing

 Articles related

RICO BAYU WIRANATA    

Investors must predict stocks correctly in order to maximize profits while avoiding bankruptcy. But the stock market situation is difficult to detect. His changing behavior is influenced by various factors such as the political situation, the company's a... see more


I Gusti Agung Premananda, Ahmad Muklason    

Course scheduling is one area of ??operations research. This problem schedules a class without violating an existing constraint. At this time the problem of scheduling courses is becoming increasingly complex with existing limitations One of them is in I... see more


Fatma Abu Hawas,Keith E. Emmert    

Extracting word roots in Arabic language is very problematic due to the specific morphological and structural changes in the language. To address this problem, several techniques have been proposed. This paper continues the problem of identifying and exp... see more


(1) Dana Marsetiya Utama (Departement of Industrial Engineering, University Of Muhammadiyah Malang (UMM), Indonesia) (2) Dian Setiya Widodo (University of 17 Agustus 1945 Surabaya, Indonesia) (3) Muhammad Faisal Ibrahim (Universitas Internasional Semen Indonesia, Indonesia) (4) Shanty Kusuma Dewi (Departement of Industrial Engineering, University Of Muhammadiyah Malang (UMM), Indonesia)    

This article aimed to develop an improved Ant Lion algorithm. The objective function was to minimize the mean tardiness on the flow shop scheduling problem with a focus on the permutation flow shop problem (PFSP). The Hybrid Ant Lion Optimization Algorit... see more


Zuli Astari, Desi Pibriana, Rusbandi Rusbandi    

 PT Bakri Karya Sarana is a company which focused on service providers or outsourcing. In the process of managing its employee data, PT Bakri Karya Sarana still has several obstacles, such as the new employees reqruitments, employee attendance, perm... see more