„Model based testing“

Suchergebnisse

506 Treffer

• Model-Based Measures for Detecting and Quantifying Response Bias
  Chalmers, R. Philip
• Investigation of Fire Extinguishment in Large Facilities based on Physical Scaling, Modeling and Testing
  Yu, Hong-Zeng
• Test modeling of dynamic variable systems using feature Petri nets
  Püschel, Georg 2013 Technische Universität Dresden
• Questions of Simplifying the Methods of Testing Photoconverters Based on Cu(In,Ga)Se2. Part 1: A Basis for Mathematical Modeling of the Current–Voltage Characteristics
  Komilov, A.
• Software quality – increasing value in software and systems development ; 5th international conference ; proceedings
  Winkler, Dietmar ; Biffl, Stefan ; Bergsmann, Johannes 2013 Springer
• Complementary test selection criteria for model-based testing of security components
  Botella, Julien ; Capuron, Jean-François ; Dadeau, Frédéric ; Fourneret, Elizabeta ; Legeard, Bruno ; Schadle, Florence
• Testing in nonparametric ANCOVA model based on ridit reliability functional
  Chatterjee, Debajit ; Bandyopadhyay, Uttam
• Concurrency in model-based statistical testing of embedded systems in the automotive domain – = Nebenläufige Aspekte beim modellbasierten, statistischen Test eingebetteter Systeme aus dem Automobilbereich
  Homm, Daniel 2017
• Temporal property patterns for model-based testing from UML/OCL
  Dadeau, Frédéric ; Fourneret, Elizabeta ; Bouchelaghem, Abir
• Model-based framework for multi-axial real-time hybrid simulation testing
  Fermandois, Gaston A. ; Spencer, Billie F.
• Fundamental approaches to software engineering – 17th international conference ; proceedings
  Gnesi, Stefania ; Rensink, Arend 2014 Springer
• Assessing Model-Based Reasoning using Evidence- Centered Design – A Suite of Research-Based Design Patterns
  Haertel, Geneva ; Mislevy, Robert ; Riconscente, Michelle ; Wise Rutstein, Daisy ; Ziker, Cindy 2017 Springer International Publishing
• Reuse of test generation methods for embedded systems
  Guerrouat, Abdelaziz ; Richter, Harald 2005 Technische Universität Clausthal
• A system-theoretic safety engineering approach for software-intensive systems
  Abdulkhaleq, Asim 2017 Cuvillier Verlag
• Tests and proofs – 7th international conference ; proceedings
  Veanes, Margus ; Viganò, Luca 2013 Springer
• Integrated Formal Methods – 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings
  Johnsen, Einar Broch ; Petre, Luigia 2013 Springer Berlin Heidelberg
• Integrated formal methods – 10th international conference ; proceedings
  Johnsen, Einar Broch ; Petre, Luigia 2013 Springer
• Statistical Inference for Inverse Weibull Model – Based on Generalized Order Statistics
  Abd Ellah, Ahmed Hamed ; Soliman, Ahmed ; Fawzy, Mohamad 2013 LAP LAMBERT Academic Publishing
• Soft Computing Techniques in Software Engineering – Neural and Fuzzy Based Approach for Software Development Models
  Sangwan, Om Prakash ; Singh, Yogesh 2012 LAP LAMBERT Academic Publishing
• An Integrated Process Control and Diagnostics System – for Hot Rolling Mills Based on Comparison of Physical Data and Mathematical Process Models Using Artificial Intelligence
  2011 Dictus Publishing