Logic Programming for Software Verification and Testing

Logic Programming, Constraints and Verification

The connection between (constraint) logic programming and computer aided verification is one of the more interesting research direction for our community. In this paper we will illustrate the main ideas behind this connection for the case of (concurrent) systems with an infinite state space.

A Logic Programming and Verification System for Recursive Quantificational Logic

In this paper, we describe a logic programming and program verification system which is based on quantifier elimination techniques and axiomatization rather than on more common method of doing logic programming using the Herbrand-Prawitz-Robinson unification algorithm without occur-check. This system is shown to have interesting properties for logic programming and includes a number of advanced...

Logic Programming for Software Engineering:

Optimizing Software Testing using fuzzy logic in Aspect oriented programming

Software testing is one of the most important activities in product development. For performing the task of software testing, test cases are to be designed. Thus, efficiency of software testing depends on designing proper test cases. Considering all possible combinations of values in a program is practically not possible due to various kinds of limitations. Thus exhaustive testing is impractica...

Software debugging, testing, and verification

In commercial software development organizations, increased complexity of products, shortened development cycles, and higher customer expectations of quality have placed a major responsibility on the areas of software debugging, testing, and verification. As this issue of the IBM Systems Journal illustrates, there are exciting improvements in the underlying technology on all three fronts. Howev...