MSU Libraries
Digital Repository
Home
About
Collections
Selected facets
Subject: Computer software--Reliability
×
Collection
Electronic Theses & Dissertations
6
Material Type
Theses
6
Language
English
6
Copyright Status
In Copyright
6
Subject
Computer programming
1
Computer programming--Quality control
1
Computer programs--Testing
1
Computer software--Development
1
Computer software--Testing
1
Cooperating objects (Computer systems)
1
Debugging in computer science
2
Fault-tolerant computing
2
Parallel processing (Electronic computers)
1
Products liability--Computer software
1
Reliability
1
Research
1
Testing
1
Search results
Showing 1 to 6 of 6 results
Results per page
20
50
100
Sort by
Most Relevant
Title (A-Z)
Title (Z-A)
Date (Newest)
Date (Oldest)
Most Recent
Least Relevant
Towards automated model revision for fault-tolerant systems
Abujarad, Fuad
Text (2010)
Part of
Electronic Theses & Dissertations
Successful strategies for debugging concurrent software : an empirical investigation
Fleming, Scott Douglas
Text (2009)
Part of
Electronic Theses & Dissertations
Using formal analysis and search-based techniques to address the assurance of cyber-physical systems at the requirements level
DeVries, Byron
Text (2017)
Part of
Electronic Theses & Dissertations
Enhancing automated fault discovery and analysis
DeMott, Jared
Text (2012)
Part of
Electronic Theses & Dissertations
Automatic synthesis of fault-tolerance
Ebnenasir, Ali
Text (2005)
Part of
Electronic Theses & Dissertations
A three-pronged approach towards improving the development of safety-critical software systems
Christensen, Amy C. (Amy Chere)
Text (1995)
Part of
Electronic Theses & Dissertations
First
1
(current)
Last
