The following pages link to FM 2005: Formal Methods (Q5716907):
Displaying 9 items.
- Aiding exploratory testing with pruned GUI models (Q1705707) (← links)
- Model-based fault injection for testing gray-box systems (Q1734510) (← links)
- On the order of test goals in specification-based testing (Q2270689) (← links)
- Software testing using model programs (Q2785066) (← links)
- A dynamic model for component testing (Q4368524) (← links)
- Building Test Cases through Model Driven Engineering (Q4930277) (← links)
- Model-Based Testing for Functional and Security Test Generation (Q5253584) (← links)
- Formal Methods for Components and Objects (Q5897129) (← links)
- Special issue: Selected papers from the 4th workshop on advances in model-based testing (A-MOST 2008), Lillehammer, Norway, April 2008 (Q5970951) (← links)