Results 1 to 10 of about 70 (70)
IEEE Transactions on Information Theory, 2018 Appeared SODA 2018.
Constantinos Daskalakis +2 more
openaire +4 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
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 +4 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
Testing the drift-diffusion model [PDF]
Proceedings of the National Academy of Sciences, 2020 Significance The drift-diffusion model (DDM) has been widely used in psychology and neuroeconomics to explain observed patterns of choices and response times. This paper provides an identification and characterization theorems for this model: We show that the parameters are uniquely pinned down and determine which datasets are ...
Drew Fudenberg +3 more
openaire +3 more sources
Combinatorial testing and model‐based testing [PDF]
Software Testing, Verification and Reliability, 2022 Robert M. Hierons, Tao Xie 0001
openaire +1 more source
Testing model nesting and equivalence. [PDF]
Psychological Methods, 2010 When using existing technology, it can be hard or impossible to determine whether two structural equation models that are being considered may be nested. There is also no routine technology for evaluating whether two very different structural models may be equivalent. A simple nesting and equivalence testing (NET) procedure is proposed that uses random
Peter M. Bentler, Albert Satorra
openaire +6 more sources
Model Driven Testing Based on Test History [PDF]
, 2008 We consider software systems consisting of a set of components running as a sequential process. We model such software systems as a special class of transition systems. The difference with existing approaches is that we propose a test procedure based on the structure of the model and the prior test history that can be used for exhaustive testing in an ...
Isaac Corro Ramos +3 more
openaire +4 more sources