zweidimensionales bewegtes Bild
Contract-based Programming: a Route to Finding Bugs Earlier
- Standort
-
Hannover TIB
- Umfang
-
206MB, 00:50:09:22 (unknown)
- Sprache
-
Englisch
- Anmerkungen
-
Audiovisuelles Material
- Erschienen in
-
FOSDEM 2018 ; (Jan. 2018)
- Ereignis
-
Veröffentlichung
- (wer)
-
FOSDEM VZW
- (wann)
-
2018-01-01
- Beteiligte Personen und Organisationen
-
Sparre Andersen, Jacob
- DOI
-
10.5446/41224
- Letzte Aktualisierung
-
04.12.2024, 08:09 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Technische Informationsbibliothek (TIB). Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Technische Informationsbibliothek (TIB). Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- zweidimensionales bewegtes Bild
Beteiligte
- Sparre Andersen, Jacob
- FOSDEM VZW
Entstanden
- 2018-01-01
Ähnliche Objekte (12)
Coccinelle: Finding bugs in open source systems code
Finding bugs in applications while you code them
Finding bugs for free: The magic of static analysis.
Finding inter-procedural bugs at scale with Infer static analyzer
Attacking Chrome IPC: Reliably finding bugs to escape the Chrome sandbox
BUGS
Contract Based Programming in Ada 2012
Bugs, Willy
Knowledge transfer based many-objective approach for finding bugs in multi-path loops
BuGS | "BUGS BAP SCOUt RASt" "CSB | 2002"
Bad Bugs Bite
Adaptive grid semidefinite programming for finding optimal designs
Coccinelle: Finding bugs in open source systems code
Finding bugs in applications while you code them
Finding bugs for free: The magic of static analysis.
Finding inter-procedural bugs at scale with Infer static analyzer
Attacking Chrome IPC: Reliably finding bugs to escape the Chrome sandbox
BUGS
Contract Based Programming in Ada 2012
Bugs, Willy
Knowledge transfer based many-objective approach for finding bugs in multi-path loops
BuGS | "BUGS BAP SCOUt RASt" "CSB | 2002"
Bad Bugs Bite
Adaptive grid semidefinite programming for finding optimal designs
Coccinelle: Finding bugs in open source systems code
Finding bugs in applications while you code them
Finding bugs for free: The magic of static analysis.
Finding inter-procedural bugs at scale with Infer static analyzer
Attacking Chrome IPC: Reliably finding bugs to escape the Chrome sandbox
BUGS
Contract Based Programming in Ada 2012
Bugs, Willy
Knowledge transfer based many-objective approach for finding bugs in multi-path loops
BuGS | "BUGS BAP SCOUt RASt" "CSB | 2002"
Bad Bugs Bite