- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1433-2787
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
KLEE symbolic execution engine in 2019 ; day:2 ; month:6 ; year:2020 ; pages:1-4
International journal on software tools for technology transfer ; (2.6.2020), 1-4
- Creator
-
Cadar, Cristian
Nowack, Martin
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10009-020-00570-3
- URN
-
urn:nbn:de:101:1-2020081622035212983243
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
- 14.08.2025, 10:55 AM 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
- Cadar, Cristian
- Nowack, Martin
- SpringerLink (Online service)
Other Objects (12)
Towards Effective Symbolic Execution
Symbolic execution formally explained
Symbolic execution of distributed systems
Symbolic worst case execution times
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
Integrating Symbolic Execution, Debugging and Verification
Java program analysis by symbolic execution
KDAlloc : The KLEE Deterministic AllocatorDeterministic Memory Allocation during Symbolic Execution and Test Case Replay
Automated test-case generation with symbolic execution
Improving automatic software repair with probabilistic symbolic execution
Interactive Verification of Concurrent Systems using Symbolic Execution
Accurate binary-level symbolic execution of embedded firmware
Towards Effective Symbolic Execution
Symbolic execution formally explained
Symbolic execution of distributed systems
Symbolic worst case execution times
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
Integrating Symbolic Execution, Debugging and Verification
Java program analysis by symbolic execution
KDAlloc : The KLEE Deterministic AllocatorDeterministic Memory Allocation during Symbolic Execution and Test Case Replay
Automated test-case generation with symbolic execution
Improving automatic software repair with probabilistic symbolic execution
Interactive Verification of Concurrent Systems using Symbolic Execution
Accurate binary-level symbolic execution of embedded firmware
Towards Effective Symbolic Execution
Symbolic execution formally explained
Symbolic execution of distributed systems
Symbolic worst case execution times
Verifying concurrent systems with symbolic execution : temporal reasoning is symbolic execution with a little induction
Integrating Symbolic Execution, Debugging and Verification
Java program analysis by symbolic execution
KDAlloc : The KLEE Deterministic AllocatorDeterministic Memory Allocation during Symbolic Execution and Test Case Replay
Automated test-case generation with symbolic execution
Improving automatic software repair with probabilistic symbolic execution
Interactive Verification of Concurrent Systems using Symbolic Execution