zweidimensionales bewegtes Bild
Partial Order Reduction for Deep Bug Finding in Synchronous Hardware
- Location
-
Hannover TIB
- Extent
-
115MB, 00:17:25:17 (unknown)
- Language
-
Englisch
- Notes
-
Audiovisuelles Material
- Bibliographic citation
-
26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020 ; (Jan. 2021)
- Keyword
-
European Joint Conferences on Theory and Practice of Software, ETAPS 2021
- Event
-
Veröffentlichung
- (who)
-
European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
- (when)
-
2021-01-01
- Contributor
-
Mann, Makai
- DOI
-
10.5446/55027
- Last update
-
04.12.2024, 8:09 AM CET
Data provider
This object is provided by:
Technische Informationsbibliothek (TIB). If you have any questions about the object, please contact the data provider.
Technische Informationsbibliothek (TIB). If you have any questions about the object, please contact the data provider.
Object type
- zweidimensionales bewegtes Bild
Associated
- Mann, Makai
- European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
Time of origin
- 2021-01-01
Other Objects (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