zweidimensionales bewegtes Bild
Partial Order Reduction for Deep Bug Finding in Synchronous Hardware
- Standort
-
Hannover TIB
- Umfang
-
115MB, 00:17:25:17 (unknown)
- Sprache
-
Englisch
- Anmerkungen
-
Audiovisuelles Material
- Erschienen in
-
26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020 ; (Jan. 2021)
- Schlagwort
-
European Joint Conferences on Theory and Practice of Software, ETAPS 2021
- Ereignis
-
Veröffentlichung
- (wer)
-
European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
- (wann)
-
2021-01-01
- Beteiligte Personen und Organisationen
-
Mann, Makai
- DOI
-
10.5446/55027
- Letzte Aktualisierung
-
10.04.2025, 17:54 MESZ
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
- Mann, Makai
- European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
Entstanden
- 2021-01-01
Ähnliche Objekte (12)
App review driven collaborative bug finding
Breadth search strategies for finding minimal reducts: towards hardware implementation
HyperPUT: generating synthetic faulty programs to challenge bug-finding tools
Hardware packages for self-verification and secure partial reconfiguration
Automatic program bug fixing by focusing on finding the shortest sequence of changes
Finding Temporal Patterns using Constraints on (Partial) Absence Presence and Duration
Partial Hydatidiform Mole, Finding in an Ectopic Tubal Pregnancy: A Case Report
From the Atlantic to Beyond the Bug River : Finding and Defining the Federmesser-Gruppen / Azilian
Bug
bug
Bug
A practical approach for finding anti-debugging routines in the Arm-Linux using hardware tracing
App review driven collaborative bug finding
Breadth search strategies for finding minimal reducts: towards hardware implementation
HyperPUT: generating synthetic faulty programs to challenge bug-finding tools
Hardware packages for self-verification and secure partial reconfiguration
Automatic program bug fixing by focusing on finding the shortest sequence of changes
Finding Temporal Patterns using Constraints on (Partial) Absence Presence and Duration
Partial Hydatidiform Mole, Finding in an Ectopic Tubal Pregnancy: A Case Report
From the Atlantic to Beyond the Bug River : Finding and Defining the Federmesser-Gruppen / Azilian
Bug
bug
Bug
A practical approach for finding anti-debugging routines in the Arm-Linux using hardware tracing
App review driven collaborative bug finding
Breadth search strategies for finding minimal reducts: towards hardware implementation
HyperPUT: generating synthetic faulty programs to challenge bug-finding tools
Hardware packages for self-verification and secure partial reconfiguration
Automatic program bug fixing by focusing on finding the shortest sequence of changes
Finding Temporal Patterns using Constraints on (Partial) Absence Presence and Duration
Partial Hydatidiform Mole, Finding in an Ectopic Tubal Pregnancy: A Case Report
From the Atlantic to Beyond the Bug River : Finding and Defining the Federmesser-Gruppen / Azilian
Bug
bug
Bug