2014 IEEE International Conference on Software Testing, Verification, and Validation Workshops Functional Dependence and Equivalence Class Factors in Combinatorial Test Designs George B. Sherwood Testcover.com, LLC

Source URL: testcover.com

Automated Testing with openQA

Source URL: fosscomm.teiath.gr

• Pharmaceutical industry
• Validity
• Evaluation
• Computer architecture
• Software
• Linux distributions
• SUSE Linux
• Quality
• Validation
• Verification and validation
• OpenSUSE
• SUSE Linux distributions

International Conference Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification June 28-30, 2016 Espace du Centenaire, Maison de la RATP Paris, France

Source URL: conferences.ncl.ac.uk

• Engineering
• Evaluation
• Pharmaceutical industry
• Validity
• Software quality
• Quality
• Reliability engineering
• Survival analysis
• Systems engineering
• Computer security
• Verification and validation
• Validation

Making Model-Driven Verification Practical and Scalable: Experiences and Lessons Learned Lionel Briand IEEE Fellow, FNR PEARL Chair Interdisciplinary Centre for ICT Security, Reliability, and Trust (SnT)

Source URL: sdl-forum.org

• Engineering
• Software engineering
• Unified Modeling Language
• Software testing
• Software
• Software quality
• Systems engineering
• Pharmaceutical industry
• Verification and validation
• Model-based testing
• Profile
• Simulink

NSQ-160 Version 0 JuneCORRESPONDENCE MATRIX NSQ-100 vs 10 CFR 50 Appendix B

Source URL: www.nqsa.org

• Evaluation
• Quality management
• Quality
• Business
• Pharmaceutical industry
• Systems engineering
• Validity
• Quality management system
• Validation
• Verification and validation
• Requirement
• Software verification and validation

Deliverable No. 9.3 Report on the validation and certification of ObTiMA and DoctorEye Grant Agreement No.:

Source URL: p-medicine.eu

• Pharmaceutical industry
• Evaluation
• Medical research
• Validity
• Clinical data management
• Software testing
• Pharmacology
• Systems engineering
• Validation
• Verification and validation
• Software verification and validation
• Software verification

Assessing learner-constructed conceptual models and simulations of dynamic systems? Bert Bredeweg1 and Jochem Liem1 and Christiana Nicolaou2 1 2

Source URL: ivi.fnwi.uva.nl

• Software engineering
• Engineering
• Process management
• Simulation
• Scientific modeling
• Epistemology of science
• Interpretation
• Scientific modelling
• Conceptual model
• Object Process Methodology
• Modeling language
• Software verification and validation

Microsoft PowerPoint - 16ae_0265_koopman_autonomous_vehicle_vv_sae_wc_2016.ppt [Compatibility Mode]

Source URL: users.ece.cmu.edu

• Engineering
• Software engineering
• Safety engineering
• Software requirements
• Car safety
• Systems engineering
• Product testing
• ISO 26262
• Reliability engineering
• Traceability
• Verification and validation
• Requirement

Microsoft Word - 16ae-0265_koopman_camera_ready.docx

Source URL: users.ece.cmu.edu

• Engineering
• Safety engineering
• Systems engineering
• Software quality
• Computer systems
• Control engineering
• ISO 26262
• Life-critical system
• Reliability engineering
• Verification and validation
• Fault tolerance
• Software testing

Microsoft Word - usable-verificationdocx

Source URL: fm.csl.sri.com

• Software engineering
• Software quality
• Formal methods
• Quality
• Theoretical computer science
• Logic in computer science
• Software testing
• Food safety
• Verification and validation
• Reliability engineering
• Software verification
• Runtime verification