The following pages link to FM 2005: Formal Methods (Q5716908):
Displaying 11 items.
- SpecExplorer (Q23312) (← links)
- Formal specification of MPI 2.0: case study in specifying a practical concurrent programming API (Q617917) (← links)
- Composing model programs for analysis (Q710670) (← links)
- Test generation from state based use case models (Q736788) (← links)
- Integration of verification methods for program systems (Q1040327) (← links)
- Aiding exploratory testing with pruned GUI models (Q1705707) (← links)
- Implementation relations and test generation for systems with distributed interfaces (Q1938358) (← links)
- A Random Testing Approach Using Pushdown Automata (Q3012968) (← links)
- Combining Model Checking and Testing (Q3176377) (← links)
- Play to Test (Q3434603) (← links)
- Composition of Model Programs (Q3614846) (← links)