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.
Filters
Differentially Testing Soundness and Precision of Program Analyzers
[article]
2018
arXiv
pre-print
Preserved Fulltext
Other Versions
In this paper, we present the first automated technique for differentially testing soundness and precision of program analyzers. ...
Our technique detected soundness and precision issues in most analyzers, and we evaluated the implications of these issues to both designers and users of program analyzers. ...
ACKNOWLEDGMENTS We are very grateful to the program-analysis designers that we contacted, Matthias Dangl, Arie Gurfinkel, Jorge Navas, and Zvonimir Rakamaric, for their prompt replies and fixes as well ...
arXiv:1812.05033v2
fatcat:ygujkf4a3ba7jojh2d57gmmd7m
Testing Static Analyzers with Randomly Generated Programs
[chapter]
2012
Lecture Notes in Computer Science
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 2015; you can also visit the original URL.
The file type is application/pdf.
Static analyzers should be correct. We used the random Cprogram generator Csmith, initially intended to test C compilers, to test parts of the Frama-C static analysis platform. ...
Several bugs were also found in Csmith, even though it had been extensively tested and had been used to find numerous bugs in compilers. ...
The originality of our experiment is that differential testing does not apply directly to static analyzers. ...
doi:10.1007/978-3-642-28891-3_12
fatcat:56wsztwsbnejdp26tm4olshw7a
Integrating Physical Systems in the Static Analysis of Embedded Control Software
[chapter]
2005
Lecture Notes in Computer Science
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.
Abstract interpretation: effectively compute an abstraction/ sound approximation of the program semantics, --which is precise enough to imply the desired property, and --coarse enough to be efficiently ...
Cousot and R. Cousot. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In 4 th ACM POPL. ...
State-of-the-art testing of the plant control program ---Extremely heavy and expensive (e.g. iron bird) ---Not exhaustive ---Extended during plant test period (e.g. certification flight tests) ---Late ...
doi:10.1007/11575467_10
fatcat:tbbsmdb7jng7bat2wrzcyqc6yy
Review of Aircraft Vibration Environment Prediction Methods
2011
Procedia Environmental Sciences
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.
structure, theory analysis and analytical solution of differential dynamical equation, statistical parameter modeling, simulation calculation modeling and machine learning. ...
This paper briefly reviews theoretical and engineering significance of aircraft vibration response environment prediction firstly. ...
Therefore, during initial stage of the vehicle development program, an effective prediction method for dynamic environment is required to analyze a variety of excitation sources, and obtain relatively ...
doi:10.1016/j.proenv.2011.09.134
fatcat:q6wdtagdfze37kfwaqvxc4xkla
PATTERN OF DISEASE OCCURRENCE AND TREATMENT IN GENETIC ENDOCRINE SURGERY IN DIFFERENTIATED CONDITIONS
2020
Zenodo
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.
Keywords: Genetic Testing, Endocrine Surgery, Precision Surgery ...
testing in endocrine surgery with opportunities for precision surgery. ...
In this study, we conducted a systematic program on a wide-ranging number of MEN 1 families for carrying out clinical genetic testing. ...
doi:10.5281/zenodo.4007800
fatcat:3g75ujajgba7ticrrnzclvfvdm
Flyover Noise Testing of Commercial Jet Airplanes
1973
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.
Flyover Noise Testing Program
A flight test program to evaluate the flyover noise of a new commercial jet transport airplane consists of several phases including preliminary, development, and survey. ...
The flight development and certification programs of new commercial jet transport airplanes in- clude flyover noise testing to define public acceptability of the airplanes. ...
doi:10.2514/3.60258
fatcat:gmpeksli2vds5lgghnofcbtfya
Page 106 of Diagnostics & Clinical Testing Vol. 7, Issue 12
[page]
1969
Diagnostics & Clinical Testing
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
OF AMERICA N14 4-page folder on Siemens Model 2000 16/16 sound projectors and specifications on 35mm and 16mm motion picture cameras.
BUHL OPTICAL CO. ...
E78 Booklet on analytical, animal, consulting, contract research and testing services. ...
Developing a test battery for diagnosis of childhood apraxia of speech in Arabic speakers
2020
The Egyptian Journal of Otolaryngology
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.
Background Childhood apraxia of speech (CAS) is a speech sound disorder in which the precision and consistency of movements underlying speech are impaired in absence of neuromuscular deficits. ...
Participants' responses were statistically analyzed to assess the validity and reliability, and to evaluate sensitivity and specificity of the test battery. ...
Unit, ORL Department, Faculty of Medicine, Mansoura University, Mansoura 35516, Egypt. ...
doi:10.1186/s43163-020-00021-5
doaj:e4b106e25a3c4f2993f5bb7689611ada
fatcat:ledejhewnvcmhhzobzcsc6vynq
Page 544 of Journal of Aircraft Vol. 10, Issue 9
[page]
1973
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.
The precision of the space- position data procedures is also dictated by: 1) the need to determine noise source angular directivity for certain testing, 2) the significant noise propagation times, and ...
Additional Development of Test Techniques
The complex testing as described herein represents sub- stantial costs and efforts; both in testing equipment and technical capability, and in airplane operating ...
PhD Abstracts
2020
Journal of functional programming
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.
As a service to the community, twice per year the Journal of Functional Programming publishes the abstracts from PhD dissertations completed during the previous year. ...
Many students complete PhDs in functional programming each year. ...
The first branch of this thesis defines a type-directed procedure to generate random programs for each calculus in order to apply property-based testing to check soundness properties on them, using the ...
doi:10.1017/s0956796820000167
fatcat:dxjjb46ngvbc5pteeekly6rqem
Page 1169 of Psychological Abstracts Vol. 44, Issue 7
[page]
1970
Psychological Abstracts
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
the ability to retain instructions), a manual dexterity test (dotting), a hearing test to distinguish diverse mining sounds, color and form differentiation tests, arithmetic skill, and a projective completion ...
precise notions and complex grammatical phen- omena. ...
A static analyzer for large safety-critical software
2003
Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation - PLDI '03
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.
Other Versions
We show that abstract interpretation-based static program analysis can be made efficient and precise enough to formally verify a class of properties for a family of large programs with few or no false ...
This is achieved by refinement of a general purpose static analyzer and later adaptation to particular programs of the family by the end-user through parametrization. ...
Then the loop invariant inter-val is computed iteratively with F F,F , which is simply less precise than with F F,F , but sound. The loop stabilization test is performed with F F,F which is sound. ...
doi:10.1145/781131.781153
dblp:conf/pldi/BlanchetCCFMMMR03
fatcat:dyxxvk6urbfavmbg73pinpqxba
A static analyzer for large safety-critical software
2003
Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation - PLDI '03
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 2003; you can also visit the original URL.
The file type is application/pdf.
We show that abstract interpretation-based static program analysis can be made efficient and precise enough to formally verify a class of properties for a family of large programs with few or no false ...
The main novelties are the design principle of static analyzers by refinement and adaptation through parametrization (Sect. 3 and 7), the symbolic manipulation of expressions to improve the precision of ...
Then the loop invariant inter-val is computed iteratively with F F,F , which is simply less precise than with F F,F , but sound. The loop stabilization test is performed with F F,F which is sound. ...
doi:10.1145/781151.781153
fatcat:fhsohqdzezgyjfezhryt56x4by
A static analyzer for large safety-critical software
2003
SIGPLAN notices
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 2003; you can also visit the original URL.
The file type is application/pdf.
We show that abstract interpretation-based static program analysis can be made efficient and precise enough to formally verify a class of properties for a family of large programs with few or no false ...
The main novelties are the design principle of static analyzers by refinement and adaptation through parametrization (Sect. 3 and 7), the symbolic manipulation of expressions to improve the precision of ...
Then the loop invariant inter-val is computed iteratively with F F,F , which is simply less precise than with F F,F , but sound. The loop stabilization test is performed with F F,F which is sound. ...
doi:10.1145/780822.781153
fatcat:72m6x2prhraa3etyj4wxa6e2vy
Capability of an Ultrasonic System to Detect Very Early Caries Lesions on Human Enamel
2013
Marmara Dental Journal
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.
Specimens with lesions were analyzed using Ultrasonic system (US) as test method, Quantitative-Light Induced Fluorescence (QLF) and Confocal Laser Scanning Microscopy (CLSM) as gold standards. ...
The purpose of this investigation was to determine if changes in dental enamel with 20 micron depth incipient carious lesion could be detected by an ultrasonic system (US). ...
Acknowledgments We are very grateful to engineers Fikret Geçgil and Ercan Kocagil and the NDT Team of Turkish Airlines for their help and the instructions about the ultrasonic system. ...
doi:10.12990/mdj2013121
fatcat:j4knbwldyfgptdpffzeusonu2m
« Previous
Showing results 1 — 15 out of 92,812 results