Filter your results
- 10
- 1
- 10
- 1
- 11
- 1
- 2
- 1
- 2
- 1
- 2
- 2
- 11
- 1
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
11 results
|
|
sorted by
|
|
Cutting Time-to-Market by Adopting Automated Regression Testing in a Simulated Environment26th IFIP International Conference on Testing Software and Systems (ICTSS), Sep 2014, Madrid, Spain. pp.129-144, ⟨10.1007/978-3-662-44857-1_9⟩
Conference papers
hal-01405280v1
|
||
|
Seeing Through the Eyes of Heavy Vehicle Operators16th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2017, Bombay, India. pp.263-282, ⟨10.1007/978-3-319-67684-5_16⟩
Conference papers
hal-01678501v1
|
||
|
Analyzing Online Videos: A Complement to Field Studies in Remote Locations17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.371-389, ⟨10.1007/978-3-030-29387-1_21⟩
Conference papers
hal-02553931v1
|
||
|
Evaluating Mixed Reality Notifications to Support Excavator Operator Awareness17th IFIP Conference on Human-Computer Interaction (INTERACT), Sep 2019, Paphos, Cyprus. pp.743-762, ⟨10.1007/978-3-030-29381-9_44⟩
Conference papers
hal-02544533v1
|
||
|
Search-Based Testing for Embedded Telecom Software with Complex Input Structures26th IFIP International Conference on Testing Software and Systems (ICTSS), Sep 2014, Madrid, Spain. pp.205-210, ⟨10.1007/978-3-662-44857-1_17⟩
Conference papers
hal-01405289v1
|
||
|
Information Flow Tracking for Side-Effectful Libraries38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2018, Madrid, Spain. pp.141-160, ⟨10.1007/978-3-319-92612-4_8⟩
Conference papers
hal-01824816v1
|
||
|
A Survey on Testing for Cyber Physical System27th 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
|
||
|
The Design Process Continues14th International Conference on Entertainment Computing (ICEC), Sep 2015, Trondheim, Norway. pp.315-328, ⟨10.1007/978-3-319-24589-8_24⟩
Conference papers
hal-01758449v1
|
||
|
Mutation-Based Test Generation for PLC Embedded Software Using Model Checking28th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2016, Graz, Austria. pp.155-171, ⟨10.1007/978-3-319-47443-4_10⟩
Conference papers
hal-01643718v1
|
||
|
Formal Modeling and Analysis of Medical Systems22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.386-402, ⟨10.1007/978-3-030-50029-0_24⟩
Conference papers
hal-03273989v1
|
||
|
Fundamentals of Software EngineeringSpringer International Publishing, LNCS-10522, 2017, Lecture Notes in Computer Science, 978-3-319-68971-5. ⟨10.1007/978-3-319-68972-2⟩
Books
hal-01760860v1
|