Searching for "Certifying the Reliability of Software." – sorted by Relevance.
4 documents found, showing 1 through 4.
-
Logic-Based Program Synthesis: State-of-the-Art and Future Trends
- …Abstract Constructing certifiably reliable software systems is difficult. Deductive program…
- Cited by 1 (0 self) – Add To MetaCart
-
Quality Measures and Assurance for AI Software
- … programs. In Proceedings, International Conference on Reliable Software, pages 156--164, Los Angeles, CA…
- Cited by 4 (1 self) – Add To MetaCart
-
Measures and Techniques for Software Quality Assurance
- … Currit, Michael Dyer, and Harlan D. Mills. Certifying the reliability of software. IEEE Transactions…
- Add To MetaCart
-
Statistical Testing of Software Based on a Usage Model
- … but anecdotal evidence; statistical testing is needed to scientifically certify the reliability of software…
- Cited by 24 (2 self) – Add To MetaCart
Showing 1 through 4.
