Add to ORKGA review of work on the occurrence and detection of errors in computer programs is presented. This includes: experiments to measure the frequency and distribution of errors; the use of simulation to determine the effect of typing mistakes; data flow analysis for static error detection; and measure to quantify program testing
The purpose of the paper is to describe a model for statistically analyzing software error detection...
Research on cheating detection, most notably the detection of answer copying, has gained in pop-ular...
This paper presents a technique to derive and implement error detectors to protect an application fr...
An approach to the analysis of HAL/S software is discussed. The approach, called anomaly detection, ...
Call number: LD2668 .R4 CMSC 1988 F74Master of ScienceComputing and Information Science
This paper describes DAVE, a system for analyzing Fortran programs. DAVE is capable of detecting the...
The relationship between computer program complexity and error detection capability is investigated ...
Algorithms are presented for detecting errors and anomalies in programs which use synchronization co...
Content replaced at author's request on 2013-12-17.We introduce a general way to locate program erro...
An approach to the analysis of concurrent software is discussed. The approach, called anomaly detect...
This paper will discuss a study of parameter errors that occurred in a software product developed us...
We introduce a general way to locate programmer mistakes that are detected by static anal-yses such ...
Increasingly, the quantitative evaluation of computer software is recognized as critically important...
This paper describes DAVE, an automatic program testing aid which performs a static analysis of Fort...
Human reliability in computer programming can be improved by reducing human errors. The traditional ...
The purpose of the paper is to describe a model for statistically analyzing software error detection...
Research on cheating detection, most notably the detection of answer copying, has gained in pop-ular...
This paper presents a technique to derive and implement error detectors to protect an application fr...
An approach to the analysis of HAL/S software is discussed. The approach, called anomaly detection, ...
Call number: LD2668 .R4 CMSC 1988 F74Master of ScienceComputing and Information Science
This paper describes DAVE, a system for analyzing Fortran programs. DAVE is capable of detecting the...
The relationship between computer program complexity and error detection capability is investigated ...
Algorithms are presented for detecting errors and anomalies in programs which use synchronization co...
Content replaced at author's request on 2013-12-17.We introduce a general way to locate program erro...
An approach to the analysis of concurrent software is discussed. The approach, called anomaly detect...
This paper will discuss a study of parameter errors that occurred in a software product developed us...
We introduce a general way to locate programmer mistakes that are detected by static anal-yses such ...
Increasingly, the quantitative evaluation of computer software is recognized as critically important...
This paper describes DAVE, an automatic program testing aid which performs a static analysis of Fort...
Human reliability in computer programming can be improved by reducing human errors. The traditional ...
The purpose of the paper is to describe a model for statistically analyzing software error detection...
Research on cheating detection, most notably the detection of answer copying, has gained in pop-ular...
This paper presents a technique to derive and implement error detectors to protect an application fr...