The following pages link to (Q4417955):
Displaying 23 items.
- Symbolic execution of Reo circuits using constraint automata (Q433344) (← links)
- A dynamic logic for deductive verification of multi-threaded programs (Q470007) (← links)
- A generic framework for symbolic execution: a coinductive approach (Q507361) (← 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)
- A symbolic operational semantics for TESL -- with an application to heterogeneous system testing (Q1683463) (← 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)
- Model Checking MSVL Programs Based on Dynamic Symbolic Execution (Q3196412) (← links)
- Enhancing Symbolic Execution of Heap-Based Programs with Separation Logic for Test Input Generation (Q3297594) (← links)
- Symbolic and on the Fly Testing with Real-Time Observers (Q3434670) (← links)
- A Self-Checking Generalized Prediction Checker and Its Use for Built-In Testing (Q3744092) (← links)
- Model Checking Using Generalized Testing Automata (Q4909350) (← links)
- Abstract Contract Synthesis and Verification in the Symbolic 𝕂 Framework (Q4988925) (← links)
- Model Checking Software (Q5899042) (← links)
- Concolic testing heap-manipulating programs (Q6535965) (← links)
