A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Filters
Test data as an aid in proving program correctness
1976
Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages - POPL '76
Preserved Fulltext
This paper introduces a technique whereby test data can be used in proving program correctness. ...
Proofs of program correctness tend to be long and tedious whereas testing, though useful in detecting errors, usually does not guarantee correctness. ...
A further argument for testing as opposed to proving correctness goes as follows. In proving program correctness, one might forget entirely that an array reference may be out of bounds. ...
doi:10.1145/800168.811554
dblp:conf/popl/Geller76
fatcat:4ymtxz4bvfhefjay4uasql7234
Computer-aided verification
1996
IEEE spectrum
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Such difficulties have spurred research into methods that attempt to prove a system correct, in the same sense that a mathematical theorem is proved correct. ...
once considered an important tool for uncovering faults in unanticipated behaviors, is now viewed widely as inadequate O n the other hand, tests designed for specific scenarios leave unexplored possible ...
Such difficulties have spurred research into methods that attempt to prove a system correct, in the same sense that a mathematical theorem is proved correct. ...
doi:10.1109/6.499951
fatcat:5qgmajpscja5nhlwrbdcqobo5i
Page 1890 of Mathematical Reviews Vol. 57, Issue 5
[page]
1979
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
In this paper we present the detailed proof of this statement.”
Geller, Matthew
Test data as an aid in proving program correctness.
Comm. ACM 21 (1978), no. 5, 368-375. ...
The author says that proving a program correct might be hard. Conversely, program testing is easier but, as Dijkstra says, it only detects bugs in programs; it does not ensure their absence. ...
Compiler testing via symbolic interpretation
1976
Proceedings of the annual conference on - ACM 76
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
A method for compiler testing using symbolic interpretation is presented. This method is a cross between program proving and program testing. ...
The highlights and limitations of the process as well as future work are discussed in a framework of a specific LISP implementation on a PDP-IO computer. ...
This is accomplished with the aid of an equality data base. ...
doi:10.1145/800191.805648
dblp:conf/acm/Samet76
fatcat:hbgo4pyefne6rh5j7ae4tdfsri
Implementation Of An Educational Training Program In First Aid For Newly Graduated Nursery School Teachers At Zagazig City
2010
Zagazig Journal of Occupational Health and Safety
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Data were collected using questionnaire to test teacher's knowledge concerning first aid. This forms the 1 st part of the study. ...
There was high significant improvement of knowledge and practice of the studied group in the post test in comparison to pre test. ...
A consent from participants was also obtained as an approval to share in the study. Collected data were analyzed by SPSS computer software. ...
doi:10.4314/zjohs.v3i1.57947
fatcat:hghknzjvhvbshjmwo53c6sb7he
Page 71 of Journal of Research and Practice in Information Technology Vol. 10, Issue 2
[page]
1978
Journal of Research and Practice in Information Technology
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
In some cases it may be possible to design the test data so as to provide adequate assurance of the correctness of the program. ...
Some people advocate an adversary system for testing programs, with another programmer performing independent tests in an effort to prove the original programmer wrong. ...
Page 21 of Hearing Instruments Vol. 34, Issue 3
[page]
1983
Hearing Instruments
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Self-help program
proves advantageous I i
The hearing conservation specialist ^4 points out that there is a psychological advantage in programs like the one the railroad company is pursuing in which company ...
An MTSA staff member reviews the correct procedure for carrying out an audiometric teat to produce a valid audiogram. ...
Perspectives in Software Engineering
1978
ACM Computing Surveys
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
This paper outlines the procedures used in the development of computer software, emphasizing large-scale software development, and pmpomtmg areas where problems exist and solutions have been proposed Solutions ...
data for which the program gives correct answers. • For typical sets of test data, the program gives correct answers. • For difficult sets of test data, the program gives correct answers. • For all possible ...
A correct program is one that has been proved to meet its specifications. ...
doi:10.1145/356725.356731
fatcat:r476a5trvjdefe3wpp6mgfn2yy
Formal program testing
1981
Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '81
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Programmers
certainly
find
it
much easier
to gen-
erate
test
data
than
to
prove
programs
correct. ...
-
.-
[Cartwright
76a]
Cartwright,
R.S.;
"User-Defined
Data
Types
as
an Aid
to Verifying
LISP
Programs,""
Proceed-
ings
Third
International
Colloquium
on Auto-
.-
,~uages
and Programming ...
doi:10.1145/567532.567546
dblp:conf/popl/Cartwright81
fatcat:ehkkgf6m6zcl5lujy5ygzu3ksu
A summary of progress toward proving program correctness
1972
Proceedings of the December 5-7, 1972, fall joint computer conference, part I on - AFIPS '72 (Fall, part I)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Testing can and often does prove a program is incorrect, but no reasonable amount of testing can ever prove that a nontrivial program will be correct over all allowable inputs. ...
It is very much an open question whether automated proof techniques will ever be feasible as a commonly used alter-native to testing a program. ...
In this case it may be worth the additional cost of a proof to obtain an independent evaluation of correctness. ...
doi:10.1145/1479992.1480019
dblp:conf/afips/Linden72
fatcat:ofwp5rbivbafld2x75wkgpazky
HIV/AIDS Among Female Prison Inmates
2005
Californian Journal of Health Promotion
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
This is especially important as female inmates are faced with a host of unique and distinct needs, in particular, an increased risk of HIV/AIDS infection. ...
This study identifies the current state of HIV/AIDS among female inmates in correctional institutions nation wide. ...
Table 5 5 Percent of Female Inmates with HIV/AIDS Receiving Treatment and Services as Reported by State Departments of Corrections *1992: Data are from the National Survey of AIDS in Correctional Facilities ...
doi:10.32398/cjhp.v3i2.1767
fatcat:4uczhi3u7nghzhr37o7b2jq7tq
Tracking linkage to HIV care for former prisoners
2012
Virulence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
The linking data from Ryan White program Client Level Data (CLD) files reported to HRSA with corrections release data offers an attractive means of generating these metrics. ...
The reporting of client level data on HIV care through the Ryan White HIV/AIDS Program represents an unprecedented opportunity to evaluate, in tremendous detail, the care provided and client health outcomes ...
doi:10.4161/viru.20432
pmid:22561157
pmcid:PMC3442844
fatcat:xpusnnzqcfgadom5ojnip24tce
Effect of the AIDS Education for College Students
2017
Asia-Pacific Journal of Educational Management Research
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Data were analyzed based on descriptive statistics, χ 2 test and paired t-test using the 21.0 Program. After the program was conducted the knowledge and attitude were significantly improved. ...
The purpose of this study is to identify the effects of the AIDS education program on knowledge, attitude and recognition for AIDS prevention in college students. ...
Differences in the recognition after the AIDS education program As a result of analyzing, with the Independent t-test, differences in the recognition of participants after participating in the AIDS education ...
doi:10.21742/ajemr.2017.2.1.29
fatcat:mm3jsvumezgsndox2elb6ted2m
Page 81 of Journal of Aircraft Vol. 14, Issue 1
[page]
1977
Journal of Aircraft
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
JANUARY 1977
the CRT as compared to writing an APT program and checking it only on the Gerber flatbed plotter. ...
These benefits are most visible where very large amounts of time are required to prepare and correct input data, and where the input data are geometric in nature, as in stress analysis. ...
Page 29 of Hewlett-Packard Journal Vol. 30, Issue 8
[page]
1979
Hewlett-Packard Journal
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
The diagnostic test system has already been invaluable in production testing and should prove a most useful aid in occasional field servicing.
-Peter Roubaud
Reference 1. R.A. ...
Under control of this master program running in the desktop computer, one file at a time is transferred to the 37201A with the aid of a short loader program resident in the 37201A firmware. ...
« Previous
Showing results 1 — 15 out of 188,176 results