Software testing, verification & reliability : STVR. :: SCD d'Orléans

Software testing, verification & reliability : STVR.

Software testing, verification & reliability : STVR.

Enregistré dans:

Bibliografiske detaljer
Format:	Revue numérique
Sprog:	Indéterminée
Udgivet:	Wiley
Online adgang:	Accès Université d'Orléans
État de collection:	Revue numérique .- État de collection : 1996 à nos jours
Variante du titre:	Software testing, verification & reliability : STVR

Lignende værker

Software testing, verification & reliability.
Udgivet: (1992)

Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment
af: Omri, Fouad ben Nasr
Udgivet: (2021)

Hardware and Software: Verification and Testing : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

Software reliability : modelling and identification
af: Bittanti, Sergio, 1947-

System Software Reliability
af: Pham, Hoang

Sequential Logic Testing and Verification
af: Ghosh, Abhijit, 1964-, et autres

Software reliability assessment with OR applications
Udgivet: (2011)

Software Testing Strategies : Accelerating software delivery with continuous testing and integration
af: Leloudas, Panagiotis, 19..-
Udgivet: (2025)

Software Testing : A Self-Teaching Introduction
af: Chopra, Rajiv
Udgivet: (2018)

Verification-based software-fault detection
af: Gladisch, Christoph David
Udgivet: (2021)

Mathematics in Software Reliability and Quality Assurance
Udgivet: (2022)

Software Testing Strategies : A testing guide for the 2020s
af: Heusser, Matthew, et autres
Udgivet: (2023)

Formal verification of trusted layers of software : application to the TPM Software Stack
af: Ziani, Yani, 1995-
Udgivet: (2025)

Early Software Reliability Prediction : A Fuzzy Logic Approach
af: Pandey, Ajeet Kumar, et autres
Udgivet: (2013)

Testing the reliability of weak lensing cluster detections
af: F. Pace, et autres
Udgivet: (2007)

Hardware/Software Co-Design and Co-Verification

Specification and verification of object-oriented software components
af: Roth, Andreas
Udgivet: (2021)

Embedded Software Testing : Developing reliable software from fundamentals to AI-based techniques
af: Gruenfelder, Stephan, et autres
Udgivet: (2026)

Reliability Analysis and Plans for Successive Testing : Start-up Demonstration Tests and Applications
af: Balakrishnan, Narayanaswamy, et autres
Udgivet: (2021)

Reliability, life testing and the prediction of service lives : for engineers and scientists
af: Saunders, Sam C.

Reliability of Mechatronic Systems and Machine Elements: Testing and Validation
Udgivet: (2023)

Software Testing and Quality Assurance : Exploring testing levels, test tools, automation, and quality metrics for improved software quality (English Edition)
af: Jain, Dinesh, et autres
Udgivet: (2025)

Integrated Software Architecture-Based Reliability Prediction for IT Systems
af: Brosch, Franz
Udgivet: (2021)

Numerical software with result verification : international Dagstuhl seminar, Dagstuhl Castle, Germany, January 19-24, 2003 : revised papers

A Unified Approach for Timing Verification and Delay Fault Testing
af: Sivaraman, Mukund, et autres

Formal approaches to software testing : Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003 : revised Papers
af: Petrenko, Alexandre

Co-verification of Hardware and Software for ARM SoC Design
af: Andrews, Jason

Verification by Error Modeling : Using Testing Techniques in Hardware Verification
af: Radecka, Katarzyna, et autres

SPIN model checking and software verification : 7th International SPIN Workshop, Stanford, CA, USA, August 30-Sept. 1, 2000 : proceedings

Testing software and systems : 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, proceedings

Testing reliability of a potential island mating apiary using DNA microsatellites
af: Peter Neumann, et autres
Udgivet: (1999)

La vérification
af: Granger, Gilles-Gaston, 1920-2016
Udgivet: (1991)

La Vérification
af: Granger, Gilles-Gaston, 1920-2016
Udgivet: (2022)

Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
af: Weiß, Benjamin
Udgivet: (2021)

Hardware and software : verification and testing : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, proceedings

Verification Plans : The Five-Day Verification Strategy for Modern Hardware Verification Languages
af: James, Peet

Microelectronics Reliability.

Reliability and Validity.
Udgivet: (2020)

Professional Verification : A Guide to Advanced Functional Verification
af: Wilcox, Paul

Reliability engineering
af: Aggarwal, K. K.

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales