Filters








1,893,788 Hits in 7.1 sec

Typestate-guided fuzzer for discovering use-after-free vulnerabilities

Haijun Wang, Xiaofei Xie, Yi Li, Cheng Wen, Yuekang Li, Yang Liu, Shengchao Qin, Hongxu Chen, Yulei Sui
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

Huiqing Li, Simon Thompson
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]

Darko Zikic, Ben Glocker, Antonio Criminisi
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]

Herbert Rocha, Raimundo Barreto, Lucas Cordeiro
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

Oded Goldreich, Dana Ron, Michael Wagner
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

Tommi Takala, Mika Katara, Julian Harty
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

J. Novickij
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

Leonidas Lampropoulos, Konstantinos Sagonas
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

G. Zhang, P. K. Robertson, R. W. I. Brachman
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

George Fink, Matt Bishop
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

Morteza Amini, Andreas Reisinger, Dieter H. Pahr
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

Katie Steele, Charlotte Werndl
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

C.C. Su, K.C. Tseng, J.S. Wu, H.M. Cave, M.C. Jermy, Y.Y. Lian
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

Florian Müller, Lukas Woiwode, Johann Gross, Maren Scheel, Malte Krack
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

R. Khorasani, S. A. Hosseini Kordkheili, H. Parviz
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