There are several methods for automatic test case generation has been proposed in the
past. But most of these techniques are structural testing techniques that require the …

Despite the fact that the test phase is described in the literature as one of the most relevant
for quality assurance in software projects, this test phase is not usually developed, among …

This paper presents a unified model checking approach with Projection Temporal Logic
(PTL) based on Normal Form Graphs (NFGs). To this end, a Modeling, Simulation and …

Software inspection is a static analysis technique that is widely used for defect detection, but
which suffers from a lack of rigor. In this paper, we address this problem by taking advantage …

This paper proposes a novel approach to modeling and verifying real-time systems for high
reliability. To do so, we first extend projection temporal logic to timed projection temporal …

This paper investigates the complexity of Propositional Projection Temporal Logic with Star
(PPTL*). To this end, Propositional Projection Temporal Logic (PPTL) is first extended to …

The assurance of software reliability partially depends on testing. Numbers of approaches
for software testing are available with their proclaimed advantages and limitations, but …

Software testing criteria differ in their effectiveness, the numbers of test cases required, and
the processes of test generation. Specific criteria often are compared to random testing, and …

Functional scenario-based test case generation is an important technique for specification-
based testing and it can be fully automated. The vital first step of achieving the automation is …

This paper describes another application of the SOFL three-step specification approach in
specifying a railway interlocking system in industrial setting. We also explore the way of …