The following pages link to (Q4738390):
Displaying 31 items.
- Strategies for scalable symbolic execution-driven test generation for programs (Q350939) (← links)
- A principled, complete, and efficient representation of C++ (Q359906) (← links)
- Symbolic predictive analysis for concurrent programs (Q432146) (← links)
- Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning (Q457250) (← links)
- Adaptive locks: combining transactions and locks for efficient concurrency (Q666229) (← links)
- Formal verification of C systems code. Structured types, separation logic and theorem proving (Q835768) (← links)
- Automated verification of functional correctness of race-free GPU programs (Q1703009) (← links)
- Experience of improving the BLAST static verification tool (Q1758710) (← links)
- Continuation-passing C, compiling threads to events through continuations (Q1929338) (← links)
- Formal verification of numerical programs: from C annotated programs to mechanical proofs (Q1949765) (← links)
- Compiler-based attack origin tracking with dynamic taint analysis (Q2104433) (← links)
- Verification by gambling on program slices (Q2147204) (← links)
- Generating C. System description (Q2163158) (← links)
- Code aware resource management (Q2248054) (← links)
- Quantitative static analysis of communication protocols using abstract Markov chains (Q2322314) (← links)
- \textsc{InterAspect}: aspect-oriented instrumentation with GCC (Q2441731) (← links)
- Rule-based static analysis of network protocol implementations (Q2482438) (← links)
- Mechanized semantics for the clight subset of the C language (Q2655325) (← links)
- A formally verified compiler back-end (Q2655327) (← links)
- Stochastic Modelling of Communication Protocols from Source Code (Q2870288) (← links)
- Block-Wise Abstract Interpretation by Combining Abstract Domains with SMT (Q2961574) (← links)
- Connecting Program Synthesis and Reachability: Automatic Program Repair Using Test-Input Generation (Q3303900) (← links)
- Compositional Synthesis of Leakage Resilient Programs (Q3304821) (← links)
- Region Analysis for Race Detection (Q3392925) (← links)
- Optimizing Pointer Analysis Using Bisimilarity (Q3392929) (← links)
- Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions (Q3540069) (← links)
- Inferring Effective Types for Static Analysis of C Programs (Q5170179) (← links)
- Extending Model Checking with Dynamic Analysis (Q5452713) (← links)
- Improving Generalization in Software IC3 (Q5883575) (← links)
- Towards efficient data-flow test data generation (Q6535835) (← links)
- Verifying numerical programs via iterative abstract testing (Q6536291) (← links)
