Vyzkoušejte nový nástroj s podporou AI
  
        
        Summon Research Assistant
        BETA
      
                    
  
      
    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
          
              
          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
          
              
          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
          
              
          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
          
              
          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
          
              
          Test Vector Development for Verification and Validation of Heavy-Duty Autonomous Vehicle Operations
                                      
                                            Siekmann, Adam,                              Miller, Brandon,                              Sujan, Vivek,                              Moore, Amy                              
Published in SAE International journal of advances and current practices in mobility (09.04.2024)
                   
      
      
                                                  Published in SAE International journal of advances and current practices in mobility (09.04.2024)
Get full text
              Journal Article
        Conference Proceeding
          
              
          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
          
              
          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
          
              
          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
          
              
          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
          
              
          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
          
              
          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
          
              
          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
          
              
          SETS: A Simple yet Effective DNN Test Selection Approach
                                      
                                            Wang, Jingling,                              Wu, Huayao,                              Wang, Peng,                              Niu, Xintao,                              Nie, Changhai                              
Published in ACM transactions on software engineering and methodology (18.10.2025)
                   
      
      
                                                  Published in ACM transactions on software engineering and methodology (18.10.2025)
Get full text
              Journal Article
          
              
          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