Objective measurement of test quality is one of the key issues in software testing. It has been
a major research focus for the last two decades. Many test criteria have been proposed and …

Formal methods and testing are two important approaches that assist in the development of
high-quality software. While traditionally these approaches have been seen as rivals, in …

We have expanded that coverage and have added material on algorithms for external
storage and memory management. As a consequence, this book should be suitable as a text …

This paper reports an experimental study investigating the effectiveness of two code-based
test adequacy criteria for identifying sets of test cases that detect faults. The all-edges and all …

Paradigms of AI Programming is the first text to teach advanced Common Lisp techniques in
the context of building major AI systems. By reconstructing authentic, complex AI programs …

Program slicing is a fundamental operation for many software engineering tools. Currently,
the most efficient algorithm for interprocedural slicing is one that uses a program …

In the traditional norm-referencing approach to grading, all students in a CS1 class attempt
the same programming tasks, and those attempts are graded" to a curve". The danger is that …

This paper describes the design and implementation of a high-level hardware compiler
called Flamel. Ordinary Pascal programs are used to define the behavior required of the …

This paper describes how algorithms for demand versions of interprocedural program-
analysis problems can be obtained from their exhaustive counterparts essentially for free, by …

A family of test data adequacy criteria employing data-flow information was previously
proposed, and a theoretical complexity analysis was performed. The author describes an …