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
Typestate-guided fuzzer for discovering use-after-free vulnerabilities
2020
Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering
Our fuzzing process is then guided by the operation sequences in order to progressively generate test cases triggering property violations. ...
To this end, we propose to model UaF vulnerabilities as typestate properties, and develop a typestateguided fuzzer, named UAFL, for discovering vulnerabilities violating typestate properties. ...
For example, based on test case 'aaaseen', UAFL may generate a test case 'auaseen'. ...
doi:10.1145/3377811.3380386
dblp:conf/icse/WangXLWLLQCS20
fatcat:xm7xopibynes7lgbsxbhbzvh7i
Improved semantics and implementation through property-based testing with QuickCheck
2014
Proceedings of the 9th International Workshop on Automation of Software Test - AST 2014
In this paper, we demonstrate an approach to validating an executable semantics using property-and model-based random testing in QuickCheck to automate and unify the testing of the semantics and its implementation ...
Erlang -for writing executable semantics. ...
For The use of macro ?FORALL specifies a property that holds if for test cases that can be generated the property Res==ok holds. The ? ...
doi:10.1145/2593501.2593509
dblp:conf/icse/LiT14
fatcat:a7lbgbmfmbbkrecigc4eqw423a
Classifier-Based Multi-atlas Label Propagation with Test-Specific Atlas Weighting for Correspondence-Free Scenarios
[chapter]
2014
Lecture Notes in Computer Science
To counteract the negative effects of the over-training property of AF for applications with highly heterogeneous examples, we employ test-specific atlas weighting by the STAPLE approach. ...
This precludes its use for the large class of tasks without this property, such as tumor segmentation. ...
We believe that in the light of growing annotated databases, the ability to learn from more similar data has the potential to provide increased accuracy, especially for under-represented outlier cases. ...
doi:10.1007/978-3-319-13972-2_11
fatcat:rlv7poczdng4vgyps3h7qu6voa
Memory Management Test-Case Generation of C Programs Using Bounded Model Checking
[chapter]
2015
Lecture Notes in Computer Science
We describe a novel method to automatically generate and verify memory management test cases for unit tests, which are based on assertions extracted from safety properties typically generated by bounded ...
In particular, the proposed method checks for properties related to pointer safety, memory leaks, and invalid deallocation. ...
The proposed method generates automatically memory management test cases for structural unit tests, which are based on assertions from safety properties generated by BMC tools. ...
doi:10.1007/978-3-319-22969-0_18
fatcat:sakewsipfzb4pozh6n6fksghsy
The Subgraph Testing Model
2018
Innovations in Theoretical Computer Science
We focus on bounded-degree base graphs and on the relation between testing graph properties in the subgraph model and testing the same properties in the bounded-degree graph model. ...
We identify cases in which testing is significantly easier in one model than in the other as well as cases in which testing has approximately the same complexity in both models. ...
General property testing as a special case of subgraph testing. ...
doi:10.4230/lipics.itcs.2019.37
dblp:conf/innovations/0001R19
fatcat:gwdnftxulbabtiunseob3mnzcm
Experiences of System-Level Model-Based GUI Testing of an Android Application
2011
2011 Fourth IEEE International Conference on Software Testing, Verification and Validation
Market
•
over million downloads
•
Free
Had been previously manually
tested
http://jimblackler.net/
Model-Based Testing with TEMA
Contains tools for modeling, test design, test generation ...
Modes include: random, use case, basic coverage, … Available from http://tema.cs.tut.fi IntroductionModel-based GUI testing -Lots of study, few real-life reported experiencesKeyword-based test automation ...
TEMA toolset and the keyword tool now available from: http://tema.cs.tut.fi Other case studies: • S60 • Mobile Linux • Java ...
doi:10.1109/icst.2011.11
dblp:conf/icst/TakalaKH11
fatcat:sq5aiju4xrawvnudvypuimzdyi
Microwave Radar for Non-Destructive Express Testing of Electrical Properties of Semiconductor Materials
2011
Acta Physica Polonica. A
Microwave radar for non-destructive express testing of electrical properties of semiconductor materials which consists of pulsed magnet, transmitting and receiving antennas, high frequency generator, pulsed ...
Experimental data of testing of InSb, n-InSb specimens are presented and acceptable for express testing correspondence of results was achieved. ...
In case of testing electrical properties of semiconductor alloys and doped semiconductors with high more than 10 22 m −3 concentration of free charge carriers it is more preferable to carry out measurements ...
doi:10.12693/aphyspola.119.537
fatcat:cbe77bz5h5am5bu26e2i3ncwr4
Automatic WSDL-guided Test Case Generation for PropEr Testing of Web Services
2012
Electronic Proceedings in Theoretical Computer Science
to PropEr, a property-based testing tool, to create structurally valid random test cases for its operations and check its responses. ...
Although the process is fully automatic, our tool optionally allows the user to easily modify its output to either add semantic information to the generators or write properties that test for more involved ...
[16] is largely similar to our own: use a property-based testing tool to create generators that allow for automatic testing. ...
doi:10.4204/eptcs.98.3
fatcat:m6s7wlfrvzcf3nprmvuy6ivslu
Estimating Liquefaction-Induced Lateral Displacements Using the Standard Penetration Test or Cone Penetration Test
2004
Journal of Geotechnical and Geoenvironmental Engineering
The approach combines available SPT-and CPT-based methods to evaluate liquefaction potential with laboratory test results for clean sands to estimate the potential maximum cyclic shear strains for saturated ...
Empirical correlations from case history data are proposed between actual lateral displacement, the lateral displacement index, and geometric parameters characterizing ground geometry for gently sloping ...
Case with Cone Penetration Test Data
Gently Sloping Ground with a Free Face Four cases were available for gently sloping ground with a free face. ...
doi:10.1061/(asce)1090-0241(2004)130:8(861)
fatcat:7s3qxahxibcptanqrfjrklszhu
Property-based testing
1997
Software engineering notes
Property-based testing assures that a given program is free of specified generic flaws. ...
Property-based testing uses property specifications and a data-flow analysis of the program to guide evaluation of test ezecutions for correctness and completeness. ...
Property-based testing validates that the final product is free of specific flaws. ...
doi:10.1145/263244.263267
fatcat:25rqxsayhbg27icah6y6zo3ea4
Influence of processing parameters on mechanical properties of a 3D‐printed trabecular bone microstructure
2019
Journal of Biomedical Materials Research. Part B - Applied biomaterials
Nine tensile tests on bulk material and 54 compression tests on 8.2 mm cubic samples were performed (9 cases × 6 specimens/case). ...
However, there are several process parameters involved in the generation of a microCT-based 3D-printed (3DP) bone. ...
This research did not receive any specific grant from funding agencies in the public, commercial, or not-for-profit sectors. ...
doi:10.1002/jbm.b.34363
pmid:30893513
pmcid:PMC6916655
fatcat:3inqym3a4ncv3mpjtcqo2ycwfu
The Diversity of Model Tuning Practices in Climate Science
2016
Philosophy of Science
We examine one example and show that, in employing classical hypothesis testing, it involves calibrating a base model against data that are also used to confirm the model. ...
We argue, however, that aspects of the intuitive position are upheld by some methods, in particular, the general cross-validation method. ...
In this case, hypothesis testing is not very telling-we are assured only of the long-run accuracy of the confidence interval for each base model, conditional on that base model being true. ...
doi:10.1086/687944
fatcat:cxnj26wmmnaabfbpsh4y2xyp2m
Two-level virtual mesh refinement algorithm in a parallelized DSMC Code using unstructured grids
2011
Computers & Fluids
Results show that the case using VMR can faithfully reproduce the benchmark case with a much reduced computational time. ...
This algorithm is a two-level virtual mesh refinement, in which the background mesh is refined based on an initial DSMC simulation. ...
The highperformance computing resources provided by the National Center for High-performance Computing are highly appreciated. ...
doi:10.1016/j.compfluid.2011.04.002
fatcat:bizp7kegv5ctvgkxd2jnguhrbq
Nonlinear damping quantification from phase-resonant tests under base excitation
2022
Mechanical systems and signal processing
The key idea is to estimate the power provided by the distributed inertia force imposed by the base motion. We develop both a model-free and a model-based variant of the method. ...
In the case of base excitation, however, the applied excitation force is challenging or impossible to measure. ...
The authors are grateful to MTU for giving permission to publish this work.
References ...
doi:10.1016/j.ymssp.2022.109170
fatcat:m74hzie6z5bqti5oqxqgax4d5u
An analytical and experimental study on dampening material effects on the dynamic behavior of free-free aluminum sheets
2021
Engineering Solid Mechanics
Since the vibration-damping properties of the coating are unknowns, its loss factor and shear modulus are experimentally extracted based on the ASTM E756-05 standard method. ...
The comparison between the analytical solution and performed modal tests expresses the efficiency of the presented method. ...
Acknowledgements The experiments were conducted at Modal Testing Lab., Aerospace Engineering Dep., Sharif University of Technology. ...
doi:10.5267/j.esm.2021.1.002
fatcat:axnjybgv5rfyrbncakzoshgxre
« Previous
Showing results 1 — 15 out of 1,893,788 results