Search - Testing Software and Systems Access content directly

Filter your results

4 results
Keywords : Test
Page :
sorted by
Image document

Reducing the Cost of Model-Based Testing through Test Case Diversity

 Hadi Hemmati , Andrea Arcuri , Lionel Briand
22nd 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
Image document

From Scenarios to Test Implementations Via Promela

 Andreas Ulrich , El-Hachemi Alikacem , Hesham H. Hallal , Sergiy Boroday
22nd 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
Image document

More Testable Properties

 Yliès Falcone , Jean-Claude Fernandez , Thierry Jéron , Hervé Marchand , Laurent Mounier
22nd International Conference on Testing Software and Systems, Nov 2010, Natal, Brazil. pp.30-46, ⟨10.1007/978-3-642-16573-3_4⟩
Conference papers inria-00510018v2
Image document

Test Automation with TTCN-3 - State of the Art and a Future Perspective

 Ina Schieferdecker
22nd IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), Nov 2010, Natal, Brazil. pp.1-14, ⟨10.1007/978-3-642-16573-3_1⟩
Conference papers hal-01055247v1
Page :