Static detection of software errors : precise and scalable algorithms for automatic detection of software errors
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783836421720
3836421720
- Maße
-
24 cm
- Umfang
-
XVI, 129 S.
- Sprache
-
Englisch
- Anmerkungen
-
Hergestellt on demand
Zugl.: Stanford, Univ., Diss., 2006
- Schlagwort
-
Statische Analyse
Bug
Softwaretest
- Ereignis
-
Veröffentlichung
- (wo)
-
Saarbrücken
- (wer)
-
VDM Verlag Dr. Müller
- (wann)
-
2007
- Urheber
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:53 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Xie, Yichen
- VDM Verlag Dr. Müller
Entstanden
- 2007
Ähnliche Objekte (12)
Errors in scalable quantum Computers
Detection of relation assertion errors in knowledge graphs
Diagnosing Software Configuration Errors via Static Analysis
Diagnosing software configuration errors via static analysis
Robust Bivariate Errors-in-Variables Regression and Outlier Detection
Scalable Community Detection
Relative Errors of Yield Detection for Silage Maize Harvest 1993
Static detection of inevitable errors : = Statische Erkennung von unvermeidbaren Fehlern
Teaching In-Memory Database Systems the Detection of Hardware Errors
Software doping – Theory and detection
Verification-based software-fault detection
Verification-based software-fault detection
Errors in scalable quantum Computers
Detection of relation assertion errors in knowledge graphs
Diagnosing Software Configuration Errors via Static Analysis
Diagnosing software configuration errors via static analysis
Robust Bivariate Errors-in-Variables Regression and Outlier Detection
Scalable Community Detection
Relative Errors of Yield Detection for Silage Maize Harvest 1993
Static detection of inevitable errors : = Statische Erkennung von unvermeidbaren Fehlern
Teaching In-Memory Database Systems the Detection of Hardware Errors
Software doping – Theory and detection
Verification-based software-fault detection
Verification-based software-fault detection
Errors in scalable quantum Computers
Detection of relation assertion errors in knowledge graphs
Diagnosing Software Configuration Errors via Static Analysis
Diagnosing software configuration errors via static analysis
Robust Bivariate Errors-in-Variables Regression and Outlier Detection
Scalable Community Detection
Relative Errors of Yield Detection for Silage Maize Harvest 1993
Static detection of inevitable errors : = Statische Erkennung von unvermeidbaren Fehlern
Teaching In-Memory Database Systems the Detection of Hardware Errors
Software doping – Theory and detection
Verification-based software-fault detection