Pages that link to "Item:Q3434649"
From MaRDI portal
The following pages link to Symbolic Execution Techniques for Test Purpose Definition (Q3434649):
Displayed 9 items.
- Symbolic execution of Reo circuits using constraint automata (Q433344) (← links)
- Proof-guided test selection from first-order specifications with equality (Q616851) (← links)
- A formal abstract framework for modelling and testing complex software systems (Q714878) (← links)
- Slicing communicating automata specifications: Polynomial algorithms for model reduction (Q1019005) (← links)
- Introducing complexity to formal testing (Q2291824) (← links)
- A General Testability Theory (Q3184700) (← links)
- Model-Based Test Selection for Infinite-State Reactive Systems (Q3525109) (← links)
- Symbolic Execution Based Model Checking of Open Systems with Unbounded Variables (Q3637253) (← links)
- Symbolic Model-based Test Selection (Q5179362) (← links)