The following pages link to (Q4417955):
Displaying 15 items.
- Symbolic execution of Reo circuits using constraint automata (Q433344) (← links)
- A dynamic logic for deductive verification of multi-threaded programs (Q470007) (← links)
- Combining test case generation and runtime verification (Q555778) (← links)
- Verifying time partitioning in the DEOS scheduling kernel (Q816194) (← links)
- CPBPV: a constraint-programming framework for bounded program verification (Q968353) (← links)
- Symbolic execution based on language transformation (Q1749128) (← links)
- The dependence condition graph: precise conditions for dependence between program points (Q1749251) (← links)
- A local approach for temporal model checking of Java bytecode (Q1776379) (← links)
- TASS: the toolkit for accurate scientific software (Q1949767) (← links)
- Efficient bounded model checking of heap-manipulating programs using tight field bounds (Q2044185) (← links)
- Loop Invariant Symbolic Execution for Parallel Programs (Q2891433) (← links)
- Collective Assertions (Q3075497) (← links)
- Combining Model Checking and Testing (Q3176377) (← links)
- Enhancing Symbolic Execution of Heap-Based Programs with Separation Logic for Test Input Generation (Q3297594) (← links)
- Abstract Contract Synthesis and Verification in the Symbolic 𝕂 Framework (Q4988925) (← links)
