Static detection of software errors : precise and scalable algorithms for automatic detection of software errors
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783836421720
3836421720
- Dimensions
-
24 cm
- Extent
-
XVI, 129 S.
- Language
-
Englisch
- Notes
-
Hergestellt on demand
Zugl.: Stanford, Univ., Diss., 2006
- Keyword
-
Statische Analyse
Bug
Softwaretest
- Event
-
Veröffentlichung
- (where)
-
Saarbrücken
- (who)
-
VDM Verlag Dr. Müller
- (when)
-
2007
- Creator
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 1:53 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Xie, Yichen
- VDM Verlag Dr. Müller
Time of origin
- 2007
Other Objects (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