Filter your results
- 3
- 3
- 3
- 3
- 3
- 2
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Reducing the Cost of Model-Based Testing through Test Case Diversity22nd IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), Nov 2010, Natal, Brazil. pp.63-78, ⟨10.1007/978-3-642-16573-3_6⟩
Conference papers
hal-01055243v1
|
||
|
From Scenarios to Test Implementations Via Promela22nd IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), Nov 2010, Natal, Brazil. pp.236-249, ⟨10.1007/978-3-642-16573-3_17⟩
Conference papers
hal-01055249v1
|
||
|
Black-Box System Testing of Real-Time Embedded Systems Using Random and Search-based Testing22nd IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), Nov 2010, Natal, Brazil. pp.95-110, ⟨10.1007/978-3-642-16573-3_8⟩
Conference papers
hal-01055241v1
|