Loading…
Game Theoretic Modeling of Driver and Vehicle Interactions for Verification and Validation of Autonomous Vehicle Control Systems
Nan Li, Oyler, Dave W., Mengxuan Zhang, Yildiz, Yildiray, Kolmanovsky, Ilya, Girard, Anouck R.
Published in IEEE transactions on control systems technology (01.09.2018)
Published in IEEE transactions on control systems technology (01.09.2018)
Get full text
Journal Article
Loading…
Reporting checklist for verification and validation of finite element analysis in orthopedic and trauma biomechanics
Oefner, Christoph, Herrmann, Sven, Kebbach, Maeruan, Lange, Hans-E., Kluess, Daniel, Woiczinski, Matthias
Published in Medical engineering & physics (01.06.2021)
Published in Medical engineering & physics (01.06.2021)
Get full text
Journal Article
Loading…
Loading…
B-043 Q-nab™ Igg kit: verification and validation of a novel cell-free quantitative neutralizing antibody assay
Lim, J, Fiore, A, Le, B, Minzer, C, Burinski, K, White, H, Janwari, H, Davis, R, Okrongly, D, Srinivasan, A
Published in Clinical chemistry (Baltimore, Md.) (02.10.2024)
Published in Clinical chemistry (Baltimore, Md.) (02.10.2024)
Get full text
Journal Article
Loading…
An Integrated Approach to Verification and Validation of NASA's Dragonfly Mission
Rupert, Bryan, Pashai, Pegah, Dolbow, Annette, Mirantes, Annette
Published in 2024 IEEE Aerospace Conference (02.03.2024)
Published in 2024 IEEE Aerospace Conference (02.03.2024)
Get full text
Conference Proceeding
Loading…
Verification and Validation of Lower Body Negative Pressure as a Non-Invasive Bioengineering Tool for Testing Technologies for Monitoring Human Hemorrhage
Convertino, Victor A., Snider, Eric J., Hernandez-Torres, Sofia I., Collier, James P., Eaton, Samantha K., Holmes, David R., Haider, Clifton R., Salinas, Jose
Published in Bioengineering (Basel) (01.10.2023)
Published in Bioengineering (Basel) (01.10.2023)
Get full text
Journal Article
Loading…
Loading…
Verification and validation of large eddy simulation of cavitating flow in Venturi
Yunzhi LIANG, Yun LONG, Xinping LONG, Huaiyu CHENG
Published in Zhongguo Jianchuan Yanjiu (01.06.2022)
Published in Zhongguo Jianchuan Yanjiu (01.06.2022)
Get full text
Journal Article
Loading…
Prioritizing Test Inputs for Deep Neural Networks via Mutation Analysis
Wang, Zan, You, Hanmo, Chen, Junjie, Zhang, Yingyi, Dong, Xuyuan, Zhang, Wenbin
Published in Proceedings / International Conference on Software Engineering (01.05.2021)
Published in Proceedings / International Conference on Software Engineering (01.05.2021)
Get full text
Conference Proceeding
Loading…
Verification and Validation of a Three-Dimensional Orthotropic Plasticity Constitutive Model Using a Unidirectional Composite
Hoffarth, Canio, Khaled, Bilal, Shyamsunder, Loukham, Rajan, Subramaniam, Goldberg, Robert, Carney, Kelly, DuBois, Paul, Blankenhorn, Gunther
Published in Fibers (01.03.2017)
Published in Fibers (01.03.2017)
Get full text
Journal Article
Loading…
Evaluating SZZ Implementations Through a Developer-Informed Oracle
Rosa, Giovanni, Pascarella, Luca, Scalabrino, Simone, Tufano, Rosalia, Bavota, Gabriele, Lanza, Michele, Oliveto, Rocco
Published in Proceedings / International Conference on Software Engineering (01.05.2021)
Published in Proceedings / International Conference on Software Engineering (01.05.2021)
Get full text
Conference Proceeding
Loading…
Improving Fault Localization by Integrating Value and Predicate Based Causal Inference Techniques
Kucuk, Yigit, Henderson, Tim A. D., Podgurski, Andy
Published in Proceedings / International Conference on Software Engineering (01.05.2021)
Published in Proceedings / International Conference on Software Engineering (01.05.2021)
Get full text
Conference Proceeding
Loading…
Formal methods, statistical debugging and exploratory analysis in support of system development: Towards a verification and validation calculator tool
Diallo, Saikou Y., Gore, Ross, Lynch, Christopher J., Padilla, Jose J.
Published in International journal of modeling, simulation and scientific computing (01.03.2016)
Published in International journal of modeling, simulation and scientific computing (01.03.2016)
Get full text
Journal Article
Loading…
Operation is the Hardest Teacher: Estimating DNN Accuracy Looking for Mispredictions
Guerriero, Antonio, Pietrantuono, Roberto, Russo, Stefano
Published in Proceedings / International Conference on Software Engineering (01.05.2021)
Published in Proceedings / International Conference on Software Engineering (01.05.2021)
Get full text
Conference Proceeding
Loading…
A Generalized Approach for Solving Web Form Constraints
Karthein, Bjorn, Staicu, Cristian-Alexandru, Zeller, Andreas
Published in IEEE/ACM International Conference on Automated Software Engineering : [proceedings] (27.10.2024)
Published in IEEE/ACM International Conference on Automated Software Engineering : [proceedings] (27.10.2024)
Get full text
Conference Proceeding
Loading…
Virtual Verification and Validation for Sustainable Manufacturing
Bi, Z. M., Mikkola, Aki, Mula, Raul, Luo, Chaomin
Published in 2023 IEEE 3rd International Conference on Industrial Electronics for Sustainable Energy Systems (IESES) (26.07.2023)
Published in 2023 IEEE 3rd International Conference on Industrial Electronics for Sustainable Energy Systems (IESES) (26.07.2023)
Get full text
Conference Proceeding
Loading…
Loading…
The need for usable formal methods in verification and validation
Get full text
Conference Proceeding
Loading…
Towards the generation of machine learning defect reports
Lai, Tuan Dung
Published in IEEE/ACM International Conference on Automated Software Engineering : [proceedings] (01.11.2021)
Published in IEEE/ACM International Conference on Automated Software Engineering : [proceedings] (01.11.2021)
Get full text
Conference Proceeding