Search - Testing Software and Systems Access content directly

Filter your results

8 results
Keywords : Testing
Image document

A Negative Input Space Complexity Metric as Selection Criterion for Fuzz Testing

Martin A. Schneider , Marc-Florian Wendland , Andreas Hoffmann
27th IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2015, Sharjah and Dubai, United Arab Emirates. pp.257-262, ⟨10.1007/978-3-319-25945-1_17⟩
Conference papers hal-01470152v1
Image document

Checking Experiments for Finite State Machines with Symbolic Inputs

Alexandre Petrenko , Adenilso Simao
27th IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2015, Sharjah and Dubai, United Arab Emirates. pp.3-18, ⟨10.1007/978-3-319-25945-1_1⟩
Conference papers hal-01470154v1
Image document

Guiding testers' hands in monitoring tools : application of testing approaches on SIP

Xiaoping Che , Huu Nghia Nguyen , Stephane Maag , Fatiha Zaidi
27th IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2015, Sharjah and Dubai, United Arab Emirates. pp.105-123, ⟨10.1007/978-3-319-25945-1_7⟩
Conference papers hal-01263247v1
Image document

A Practical Evaluation Method of Network Traffic Load for Capacity Planning

Takeshi Kitahara , Shuichi Nawata , Masaki Suzuki , Norihiro Fukumoto , Shigehiro Ano
27th IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2015, Sharjah and Dubai, United Arab Emirates. pp.263-268, ⟨10.1007/978-3-319-25945-1_18⟩
Conference papers hal-01470153v1
Image document

Inferring Finite State Machines Without Reset Using State Identification Sequences

Roland Groz , Adenilso Simao , Alexandre Petrenko , Catherine Oriat
27th IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2015, Sharjah and Dubai, United Arab Emirates. pp.161-177, ⟨10.1007/978-3-319-25945-1_10⟩
Conference papers hal-01470168v1
Image document

A Survey on Testing for Cyber Physical System

Sara Abbaspour Asadollah , Rafia Inam , Hans Hansson
27th IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2015, Sharjah and Dubai, United Arab Emirates. pp.194-207, ⟨10.1007/978-3-319-25945-1_12⟩
Conference papers hal-01470149v1
Image document

Test-Data Generation for Testing Parallel Real-Time Systems

Muhammad Waqar Aziz , Syed Baqi Shah
27th IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2015, Sharjah and Dubai, United Arab Emirates. pp.211-223, ⟨10.1007/978-3-319-25945-1_13⟩
Conference papers hal-01470169v1
Image document

Reducing the Cost of Grammar-Based Testing Using Pattern Coverage

Cleverton Hentz , Jurgen J. Vinju , Anamaria M. Moreira
ICTSS 2015 - 27th IFIP International Conference on Testing Software and Systems, Nov 2015, Dubai, United Arab Emirates. pp.71-85, ⟨10.1007/978-3-319-25945-1_5⟩
Conference papers hal-01470158v1