„model based testing“

Suchergebnisse

506 Treffer

• Statistical Inference for a Simple Step Stress Model with Competing Risks Based on Generalized Type-I Hybrid Censoring
  Mao, Song ; Liu, Bin ; Shi, Yimin
• Perception Sensor Model Fidelity Evaluation for Automated Driving System Scenario-Based Simulation Testing
  Zhu, Bing ; Fan, Tianxin ; Zhao, Wenbo ; Li, Changrong ; Zhang, Peixing
• 10421 Summary – Model-Based Testing in Practice
  Grieskamp, Wolfgang ; Hierons, Robert M. ; Pretschner, Alexander
• 10421 Abstracts Collection – Model-Based Testing in Practice
  Grieskamp, Wolfgang ; Hierons, Robert M. ; Pretschner, Alexander
• Model-based Testing: Next Generation Functional Software Testing
  Legeard, Bruno
• Model-Based Testing for the Cloud
  Bertolino, Antonia ; Grieskamp, Wolfgang ; Hierons, Robert ; Le Traon, Yves ; Legeard, Bruno ; Muccini, Henry ; Paradkar, Amit ; Rosenblum, David ; Tretmans, Jan
• Lifestate: Event-Driven Protocols and Callback Control Flow (Artifact)
  Meier, Shawn ; Mover, Sergio ; Chang, Bor-Yuh Evan
• The Best of Both Worlds: Model-Driven Engineering Meets Model-Based Testing
  van Spaendonck, P. H. M. ; Willemse, Tim A. C. 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Action Codes
  Vaandrager, Frits ; Wißmann, Thorsten 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Modeling of lung organoid-based fibrosis for testing the sensitivity of anti-fibrotic drugs
  Wang, Heping ; Han, Zhiyi ; Yang, Yang ; Liu, Lei ; Huang, Yang ; Chen, Jiehua ; Wang, Yulei ; Liu, Zihao ; Xin, Lingguo ; Zhao, Yunshan ; Wang, Wenjian
• Automated scenario generation from Operational Design Domain model for testing AI-based systems in aviation
  Stefani, Thomas ; Christensen, Johann Maximilian ; Girija, Akshay Anilkumar ; Gupta, Siddhartha ; Durak, Umut ; Köster, Frank ; Krüger, Thomas ; Hallerbach, Sven
• Notions of Conformance Testing for Cyber-Physical Systems: Overview and Roadmap (Invited Paper)
  Khakpour, Narges ; Mousavi, Mohammad Reza 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• VaToMAS - Verification and Testing of Multi-Agent Systems (Dagstuhl Seminar 13181)
  Lomuscio, Alessio R. ; Pinchinat, Sophie ; Schlingloff, Holger
• Group-Based Trajectory Models to Evaluate the Association of Lipid Testing and Statin Adherence
  Pan, Yun-Yi ; Devabhakthuni, Sandeep ; Cooke, Catherine E. ; Slejko, Julia F.
• Development and pilot testing of a nurse-led common-sense model of self-regulation-based heart failure self-care program
  Huang, Zehao ; Chair, Sek Ying
• Monte-Carlo Simulation-Based Statistical Modeling
  Chen, Ding-Geng 2017 Springer Singapore
• Testing and validating a coherence-based model for decision-making and search
  Scharf, Sophie E. ; Erdfelder, Edgar 2021 Universitätsbibliothek Mannheim
• Health Economic Evaluation of Antimicrobial Stewardship, Procalcitonin Testing, and Rapid Blood Culture Identification in Sepsis Care: A 90-Day Model-Based, Cost-Utility Analysis
  Sligl, Wendy I. ; Yan, Charles ; Round, Jeff ; Wang, Xiaoming ; Chen, Justin Z. ; Boehm, Cheyanne ; Fong, Karen ; Crick, Katelynn ; Clua, Míriam Garrido ; Codan, Cassidy ; Dingle, Tanis C. ; Prosser, Connie ; Chen, Guanmin ; Tse-Chang, Alena ; Garros, Daniel ; Zygun, David ; Opgenorth, Dawn ; Conly, John M. ; Doig, Christopher J. ; Lau, Vincent I. ; Bagshaw, Sean M.
• Testing linearity of regression models with dependent errors by kernel based methods
  Biedermann, Stefanie ; Dette, Holger
• Biaxial Characterization and Mean-field Based Damage Modeling of Sheet Molding Compound Composites
  Schemmann, Malte 2018 KIT Scientific Publishing