• Simulink

  • Referenced in 702 articles [sw04348]
  • environment for multidomain simulation and Model-Based Design for dynamic and embedded systems. It provides ... that let you design, simulate, implement, and test a variety of time-varying systems, including...
  • NModel

  • Referenced in 11 articles [sw11364]
  • NModel is a model-based testing and analysis framework for model programs written ... used in the book Model-based Software Testing and Analysis with C#. In constrast with ... engineer must code each test case, model-based testing is recommended where so many test ... each scenario (or use case). Model-based testing has been applied to communication protocols...
  • SpecExplorer

  • Referenced in 5 articles [sw11366]
  • Model-based Testing with SpecExplorer. Spec Explorer is a software development tool for advanced model...
  • JTorX

  • Referenced in 5 articles [sw01419]
  • model-driven test derivation and execution, based on the ioco theory. This theory, originally presented ... with test-cases that are input-enabled. For models with underspecified traces [3] introduced uioco ... testing: checking for (u)ioco between models [6]; checking for underspecified traces in a model ... educational purposes in courses on model-based testing, as experience has shown – and its usefulness...
  • ProbABEL

  • Referenced in 6 articles [sw10861]
  • fast two-step mixed model-based score test for association in samples with differential relationships...
  • CoMA

  • Referenced in 3 articles [sw06745]
  • other purposes (formal verification, simulation, model-based testing...
  • SONOLAR

  • Referenced in 2 articles [sw26291]
  • data generation in the field of model-based testing and C/C++-unit testing...
  • S-TaLiRo

  • Referenced in 15 articles [sw09775]
  • model the system. At the heart of the tool, we use randomized testing based ... widely used in the industry for model-based development of control software. We present...
  • KmL

  • Referenced in 11 articles [sw11098]
  • also remarked that KmL is not model-based, which can be an advantage (nonparametric, more ... also a disadvantage (no scope for testing goodness...
  • PropEr

  • Referenced in 1 article [sw28178]
  • automated, semi-random, property-based testing of Erlang programs. It is fully integrated with Erlang ... also be used for the model-based random testing of stateful systems. Recent releases...
  • DTRON

  • Referenced in 0 articles [sw23642]
  • DTRON: a tool for distributed model-based testing of time critical applications. Cyber-Physical Systems ... present DTRON, a framework for model-based testing that addresses the issues of distributed execution...
  • RM-MEDA

  • Referenced in 24 articles [sw08554]
  • regularity property, we propose a regularity model-based multiobjective estimation of distribution algorithm (RM-MEDA ... linkages. At each generation, the proposed algorithm models a promising area in the decision space ... model. New trial solutions are sampled from the model thus built. A nondominated sorting-based ... MIDEA, on a set of test instances with variable linkages. We have demonstrated that, compared...
  • VERIFAI

  • Referenced in 1 article [sw32550]
  • examples, including temporal-logic falsification, model-based systematic fuzz testing, parameter synthesis, counterexample analysis...
  • CoClust

  • Referenced in 3 articles [sw19990]
  • criterion based on the log-likelihood of a copula fit. We test our proposal ... scenarios and compare it with a model-based clustering technique. Finally, we show applications...
  • LTSA-WS

  • Referenced in 13 articles [sw10585]
  • describe a tool for a model-based approach to verifying compositions of web service implementations ... properties created from design specifications and implementation models to confirm expected results from the viewpoints ... both the designer and implementer. Scenarios are modeled in UML, in the form of Message ... State Process (FSP) process algebra to concisely model the required behavior. BPEL4WS implementations are mechanically...
  • MBC Toolbox

  • Referenced in 1 article [sw32112]
  • Toolbox: Model-Based Calibration Toolbox™ provides apps and design tools for modeling and calibrating complex ... define optimal test plans, automatically fit statistical models, and generate calibrations and lookup tables ... freedom systems that would require exhaustive testing using traditional methods. Using the toolbox apps ... automate the model fitting and calibration process. Models created with Model-Based Calibration Toolbox...
  • PBSIM

  • Referenced in 3 articles [sw34216]
  • these features using either a model-based or sampling-based method. Using PBSIM, we conducted ... several hybrid error correction and assembly tests for PacBio reads, suggesting that a continuous long...
  • MuJoCo

  • Referenced in 9 articles [sw27214]
  • ground up for the purpose of model-based optimization, and in particular optimization through contacts ... also has more traditional applications such as testing and validation of control schemes before deployment...
  • PreScan

  • Referenced in 1 article [sw14668]
  • used from model-based controller design (MIL) to real-time tests with software...
  • model4you

  • Referenced in 1 article [sw28804]
  • model-based forests for the estimation and prediction of personalised treatment effects (personalised models). Currently ... partitioning of linear models, lm(), generalised linear models, glm(), and Weibull models, survreg(), is supported ... test for parameter heterogeneity is provided for the personalised models. For details on model-based...