Results 11 to 20 of about 18,526,346 (319)
IEEE Transactions on Information Theory, 2018 Appeared SODA 2018.
Constantinos Daskalakis +2 more
openaire +5 more sources
A Test Generator for Model-Based Testing [PDF]
Proceedings of the Fourth International Symposium on Business Modeling and Software Design, 2014 The idea of software testing by software itself drives the attempts of creation of model based testing approaches. Model based testing relies on models, that encode the desired behaviour of a system, the relevant behaviour of its environment; however, both the static and the behaviour models are not directly applicable for model based testing.
Roubtsova, E.E., Roubtsov, Serguei
openaire +2 more sources
Concrete Carbonation of Deep Burial Storage Constructions under Model Aging Conditions
Buildings, 2023 To ensure the safe operation of concrete structures of deep-burial storages, it is necessary to research the degradation mechanisms of such structures.
Vyacheslav Medvedev +3 more
doaj +1 more source
한국해양공학회지, 2022 The deep ocean engineering basin (DOEB) of the Korea Research Institute of Ship and Ocean Engineering (KRISO) is equipped with an extreme-environment reproduction facility that can analyze the motion characteristics of offshore structures and ships.
Jae-Sang Jung +5 more
doaj +1 more source
Studia Geotechnica et Mechanica, 2023 In this study, a novel method is proposed to optimize the reinforced parameters influencing the bearing capacity of a shallow square foundation resting on sandy soil reinforced with geosynthetic. The parameters to be optimized are reinforcement length (L)
Lafifi Brahim +2 more
doaj +1 more source
Wind-tunnel simulations of wind influence on snow load distribution on roofs
Budownictwo i Architektura, 2013 The paper summarizes the problem of snow load prediction on building roofs, the importance of wind action in context of this load and the scope of wind tunnel applications in such research with more detailed description of experimental stand in Cracow ...
Grzegorz Kimbar
doaj +1 more source
ACM Transactions on Computation Theory, 2020 Following Newman (2010), we initiate a study of testing properties of graphs that are presented as subgraphs of a fixed (or an explicitly given) graph. The tester is given free access to a base graphG= ([n],E) and oracle access to a functionf:E→ {0, 1} that represents a subgraph ofG.
Oded Goldreich 0001, Dana Ron
openaire +6 more sources
On the testing of seismicity models [PDF]
Acta Geophysica, 2011 Recently a likelihood-based methodology has been developed by the Collaboratory for the Study of Earthquake Predictability (CSEP) with a view to testing and ranking seismicity models. We analyze this approach from the standpoint of possible applications to hazard analysis.
openaire +2 more sources
Test Cost-Test Quality Modeling For Adaptive Test
2022 IEEE International Conference on Automation, Quality and Testing, Robotics (AQTR), 2022 The ever increasing complexity of chips continuously challenges the goal of delivering a target test quality at a feasible cost. Adaptive testing has emerged as a method to explore test quality and test cost tradeoff. The modeling of the relation between test quality and test cost can enable the identification of optimal test cost and test quality ...
Demiray, Bekir Zahit, Arslan, Baris
openaire +2 more sources
Testing agile requirements models [PDF]
Journal of Zhejiang University-SCIENCE A, 2004 This paper discusses a model-based approach to validate software requirements in agile development processes by simulation and in particular automated testing. The use of models as central development artifact needs to be added to the portfolio of software engineering techniques, to further increase efficiency and flexibility of the development ...
Jewgenij Botaschanjan +2 more
openaire +3 more sources