Search - Testing Software and Systems Access content directly

Filter your results

4 results
Keywords : Model-based testing
Page :
sorted by
Image document

An Approach to Derive Usage Models Variants for Model-Based Testing

 Hamza Samih , Hélène Le Guen , Ralf Bogusch , Mathieu Acher , Benoit Baudry
26th IFIP International Conference on Testing Software and Systems (ICTSS), Sep 2014, Madrid, Spain. pp.80-96, ⟨10.1007/978-3-662-44857-1_6⟩
Conference papers hal-01025124v2
Image document

Minimum Number of Test Paths for Prime Path and Other Structural Coverage Criteria

 Anurag Dwarakanath , Aruna Jankiti
26th IFIP International Conference on Testing Software and Systems (ICTSS), Sep 2014, Madrid, Spain. pp.63-79, ⟨10.1007/978-3-662-44857-1_5⟩
Conference papers hal-01405275v1
Image document

Plan It! Automated Security Testing Based on Planning

 Franz Wotawa , Josip Bozic
26th IFIP International Conference on Testing Software and Systems (ICTSS), Sep 2014, Madrid, Spain. pp.48-62, ⟨10.1007/978-3-662-44857-1_4⟩
Conference papers hal-01405274v1
Image document

Evaluating Normalization Functions with Search Algorithms for Solving OCL Constraints

 Shaukat Ali , Tao Yue
26th IFIP International Conference on Testing Software and Systems (ICTSS), Sep 2014, Madrid, Spain. pp.17-31, ⟨10.1007/978-3-662-44857-1_2⟩
Conference papers hal-01405272v1
Page :