Search - Testing Software and Systems (ICTSS 2017) Access content directly

Filter your results

3 results
Keywords : Model-based testing
Image document

Constraint-Based Oracles for Timed Distributed Systems

Nassim Benharrat , Christophe Gaston , Robert M. Hierons , Arnault Lapitre , Pascale Le Gall
29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.276-292, ⟨10.1007/978-3-319-67549-7_17⟩
Conference papers hal-01678964v1
Image document

Checking Response-Time Properties of Web-Service Applications Under Stochastic User Profiles

Richard Schumi , Priska Lang , Bernhard K. Aichernig , Willibald Krenn , Rupert Schlick
29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.293-310, ⟨10.1007/978-3-319-67549-7_18⟩
Conference papers hal-01678972v1
Image document

Safety-Complete Test Suites

Wen-Ling Huang , Jan Peleska
29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.145-161, ⟨10.1007/978-3-319-67549-7_9⟩
Conference papers hal-01678989v1