Search - Testing Software and Systems Access content directly

Filter your results

5 results
Keywords : testing
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

A Pareto Ant Colony Algorithm Applied to the Class Integration and Test Order Problem

Rafael Veiga Cabral , Aurora Pozo , Silvia Regina Vergilio
22nd IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), Nov 2010, Natal, Brazil. pp.16-29, ⟨10.1007/978-3-642-16573-3_3⟩
Conference papers hal-01055245v1
Image document

Testing Product Generation in Software Product Lines Using Pairwise for Features Coverage

Beatriz Pérez Lamancha , Macario Polo Usaola
22nd IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), Nov 2010, Natal, Brazil. pp.111-125, ⟨10.1007/978-3-642-16573-3_9⟩
Conference papers hal-01055240v1
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

Black-Box System Testing of Real-Time Embedded Systems Using Random and Search-based Testing

Andrea Arcuri , Muhammad Zohaib Iqbal , Lionel Briand
22nd 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