- Full text PDF available (5)
- This year (1)
- Last 5 years (2)
- Last 10 years (3)
Journals and Conferences
SUMMARY Mutation analysis is a powerful technique for testing software systems. The Mothra software testing project uses mutation analysis as the basis for an integrated software testing environment. Mutation analysis requires executing many slightly diiering versions of the same program to evaluate the quality of the data used to test the program. The… (More)
Mutation analysis is a powerful technique for testing software systems. In the Mothra project, conducted at Georgia Tech's Software Engineering Research Center, mutation analysis is used as a basis for building an integrated software testing environment. Mutation analysis requires the execution of many slightly differing versions of the same program to… (More)
We examine three ways of restricting the size (and shape) of the accepting computation trees of alternating Turing machines. We continue study by examining bounds on the number of leaves in the tree (Section 3), the 'width' of the tree (Section 4), and the number of nodes at any level of the tree (Section 5). Each of these measures can be interpreted as a… (More)
We employed a context-based teaching strategy using personal robots in an introductory computer science course. The purpose of this paper is twofold. First we describe our experiences using the IPRE (Institute for Personal Robots in Education) program to teach CS1. We then present our results from an initial study of its effectiveness. We compare the same… (More)
The process of creating an international standard for the Modula-2 programming language is now well underway. This paper (an updated and expanded version of ) describes current standardization efforts and sketches a number of changes being planned for the language.
Modula-3 is a new language that offers many of the features of Ada within a significantly smaller fi-amework. This paper introduces Modula-3 and argues that its existence provides both challenges and opportunities for the Ada community.