Filters








522 Hits in 5.6 sec

Program result-checking: a theory of testing meets a test of theory

M. Blum, H. Wasserman
Proceedings 35th Annual Symposium on Foundations of Computer Science  
We reuaew the field of result-checking, dascussang simple checkers and self-correctors.  ...  In a case study of checkang a general real-number lanear transformataon (for example, a Fouraer Transform), we present a sample checker whach uses stored randomness, and a self-corrector which zs partacularly  ...  Wasserman, "Program resultchecking: a theory of testing meets a test of theory," Proc. 35th IEEE FOCS, 1994. Advocates the use of result-checking as a software-debugging tool.  ... 
doi:10.1109/sfcs.1994.365678 dblp:conf/focs/BlumW94 fatcat:6vfmkxv34nchnojg476t7hg3wa

General test result checking with log file analysis

J.H. Andrews, Yingjun Zhang
2003 IEEE Transactions on Software Engineering  
The method assumes that the software under test writes a text log file; this log file is then analyzed by a program to see if it reveals failures.  ...  We report on empirical studies of the application of log file analysis to random testing of units.  ...  ACKNOWLEDGMENTS The authors would like to especially thank Richard Yates of MDA for their many discussions concerning these ideas during their early formulation and to the editor and anonymous referees  ... 
doi:10.1109/tse.2003.1214327 fatcat:vkku4s5gt5fqvkt2wcgykkybvq

Software testing using model programs

L. I. Manolache, D. G. Kourie
2001 Software, Practice & Experience  
A model program implements suitably selected parts of the functional specification of the software to be tested.  ...  One of them is to build a pseudo-oracle in the form of a detailed prototype or a dual program that is capable of providing the expected outputs.  ...  The research community seems to rule out manual result checking [4, 5, 7] , but in industry, possibly because of too much emphasis on independent black-box testing [28] , manual approaches are still  ... 
doi:10.1002/spe.409 fatcat:323aaecqijdhdlxml6rflmxk4y

Sponsors and Supporters

2015 2015 IEEE 23rd International Conference on Program Comprehension  
The key objective of ACSE 2004 is to explore innovative approaches to the adoption of proofof-concept systems by embedding them in extensions of Commercial Off-The-Shelf (COTS) products and/or using middleware  ...  The ACSE series of events aims to advance the adoption of software engineering tools and techniques by bringing together researchers and practitioners who investigate novel approaches to fostering the  ...  A special thank to Dr. Dong Yuan at Department of Computer Science and Technology, Tsinghua University for exchanging the viewpoints.  ... 
doi:10.1109/icpc.2015.7 fatcat:e3v627aakjgm3bqmtmfesaeunq

Regression verification for automated evaluation of students programs

Milena Vujosevic-Janicic, Filip Maric
2019 Computer Science and Information Systems  
The results of evaluating the proposed approach on two real-world corpora of student programs and on a number of classic algorithms show that the proposed approach can be used as a precise and reliable  ...  Regression verification is a form of software verification based on formal static analysis of code, which is used, since recently, in several domains.  ...  This work was partially supported by the Serbian Ministry of Science grant 174021 and by the COST action CA15123.  ... 
doi:10.2298/csis181220019v fatcat:x3llb6iwqbhatfxpfe35qdugzi

Condensed Program of the Fifty-Seventh Annual Meeting of the American Psychological Association

No authorship indicated
1949 American Psychologist  
Finally, the resulting check list of 139 task-items was used in the evaluation of a sample of 150 office positions.  ...  Student Affiliate Meeting. R. L. Thorndike, Chairman. Room A, Cosmo....................-. Esthetics. Program of Invited Papers, Presidential Address, and Business Meeting.  ... 
doi:10.1037/h0063694 fatcat:rw3wgdegvzcrll77xojkebtyo4

PROGRAM of the Fifty-Eighth Annual Meeting of the American Psychological Association

1950 American Psychologist  
PROCEDURE: The method was applied to the data de- scribed above and the results checked empirically by rescoring the papers on the “final form” to determine 5.  ...  Film Program: Psychologists Here, There, and Everywhere. MEETING OF THE POLICY AND PLANNING BOARD 1:40-3:50 PM, Friday, Willard 108 Lyte H.  ... 
pmid:15419411 fatcat:q6squdbpvrcvfodzvv2fmwc3yy

Condensed program of the Fifty-Eighth Annual Meeting of the American Psychological Association

No authorship indicated
1950 American Psychologist  
PROCEDURE: The method was applied to the data de- scribed above and the results checked empirically by rescoring the papers on the “final form” to determine 5.  ...  Film Program: Psychologists Here, There, and Everywhere. MEETING OF THE POLICY AND PLANNING BOARD 1:40-3:50 PM, Friday, Willard 108 Lyte H.  ... 
doi:10.1037/h0063683 fatcat:7s5peqg5iveiddffrrwbhqw3ia

Soft Skills Training Program Based on Serious Games

Dolores Lucía Sutil-Martín, F. Javier Otamendi
2021 Sustainability  
The contents and length of some of the training sessions should, however, be adjusted to further develop and improve the program.  ...  The development of soft skills is measured before and after the training using five appraisal questionnaires and tests.  ...  Conflicts of Interest: The authors declare no conflicts of interest.  ... 
doi:10.3390/su13158582 fatcat:5urebdog7rgdpkr57s355wwf2a

Abduction from logic programs: Semantics and complexity

Thomas Eiter, Georg Gottlob, Nicola Leone
1997 Theoretical Computer Science  
Abduction ~ from observations and a theory, find using hypotheses an explanation for the * Corresponding  ...  In particular, Section 3.2 was proposed by a referee; it greatly improves understanding of the relationships between the different abduction problems investigated, and simplified proofs.  ...  Acknowledgements The authors would like to thank the referees for their valuable and instructive comments that helped to improve the presentation of this paper.  ... 
doi:10.1016/s0304-3975(96)00179-x fatcat:tks5uin32fcxhibfmrrar54fqu

Automated Steering of Model-Based Test Oracles to Admit Real Program Behaviors

Gregory Gay, Sanjai Rayadurgam, Mats P. E. Heimdahl
2017 IEEE Transactions on Software Engineering  
Thus, their monitors support both online (results checked during execution) and offline testing (results buffered and compared at the speed that the speed that they can be computed at).  ...  Given that we are using a set of classified test results, we can simply adjust the tolerances and re-execute the tests until the performance meets a desirable threshold.  ...  A test case consists of test inputs (actions taken to stimulate the system), a test oracle (see below), and a set of steps needed to prepare the system for test execution. • Test Oracle-An artifact that  ... 
doi:10.1109/tse.2016.2615311 fatcat:iholcljqenbcnjs3lklzdpg6aq

Does your result checker really check?

L. Guo, Supratik Mukhopadhyay, B. Cukic
2004 International Conference on Dependable Systems and Networks, 2004  
Introduced originally by Blum, the result checking paradigm has provided a powerful platform assuring the reliability of software.  ...  A result checker is a program that checks the output of the computation of the observed program for correctness.  ...  Acknowledgements Jean-Paul Bodeveix provided valuable guidance in our study of FMona.  ... 
doi:10.1109/dsn.2004.1311909 pmid:26005697 pmcid:PMC4440800 dblp:conf/dsn/GuoMC04 fatcat:uxsmvejv3bbotbm43pfinxqtpi

Page 44 of Environmental Quarterly Vol. 7, Issue 1 [page]

1961 Environmental Quarterly  
Solutions fo; some specific problems were found and results checked against those analog type computer. 37 No. PB 161129, $1. from an pages.  ...  The chambers meet corrosion test re- quirements of MIL-E-5272C, MIL- S-19500B, Par. 40.9, and other mili- tary and commercial specifications.  ... 

Page 5240 of Mathematical Reviews Vol. , Issue 98H [page]

1998 Mathematical Reviews  
constant depth (369-380); Manuel Blum and Hal Wasserman, Program result-checking: a theory of testing meets a test of theory (382- 392); Elias Koutsoupias and Christos H.  ...  Papadimitriou, Beyond competitive analysis (394-400); Miklos Ajtai, James Aspnes, Cyn- thia Dwork and Orli Waarts, A theory of competitive analysis 68 COMPUTER SCIENCE 5240 for distributed algorithms (  ... 

A SAS Algorithm for Computing Scheffe-Marascuilo Comparisons among Correlations

Richard H. Williams, William G. LeBlanc
1997 Educational and Psychological Measurement  
0.79281 0.018182 43.605 SCHOOL2 0.70 68 0.86730 0.015385 56.375 SCHOOL3 0.68 113 0.82911 0.009091 91.203 SCHOOL4 0.92 37 1.58903 0.029412 54.027 SCHOOLS 0.44 91 0.47223 0.011364 41.556 286.765 Contrast ResultsCheck  ...  Copies of the source listing of the computer program can be obtained by either of the following methods: (a) send a stamped, self- addressed 3.5-inch disk mailer to the above address or (b) send requests  ... 
doi:10.1177/0013164497057001013 fatcat:3cp7awwf7jf4peofqkth4hryuq
« Previous Showing results 1 — 15 out of 522 results