Filter your results
- 5
- 5
- 5
- 1
- 5
- 5
- 3
- 4
- 3
- 2
- 5
- 4
- 3
- 8
- 3
- 5
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
Learning Abstracted Non-deterministic Finite State Machines32th IFIP International Conference on Testing Software and Systems (ICTSS), Dec 2020, Naples, Italy. pp.52-69, ⟨10.1007/978-3-030-64881-7_4⟩
Conference papers
hal-03239824v1
|
||
|
|
Interrogating Virtual Agents: In Quest of Security Vulnerabilities32th IFIP International Conference on Testing Software and Systems (ICTSS), Dec 2020, Naples, Italy. pp.20-34, ⟨10.1007/978-3-030-64881-7_2⟩
Conference papers
hal-03239829v1
|
||
|
|
Trigger Alarm: A Smart NFC Sniffer for High-Precision Measurements32th IFIP International Conference on Testing Software and Systems (ICTSS), Dec 2020, Naples, Italy. pp.186-200, ⟨10.1007/978-3-030-64881-7_12⟩
Conference papers
hal-03239810v1
|
||
|
|
Property-Based Testing for Parameter Learning of Probabilistic Graphical Models4th International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2020, Dublin, Ireland. pp.499-515, ⟨10.1007/978-3-030-57321-8_28⟩
Conference papers
hal-03414744v1
|
||
|
|
Giving a Model-Based Testing Language a Formal Semantics via Partial MAX-SAT32th IFIP International Conference on Testing Software and Systems (ICTSS), Dec 2020, Naples, Italy. pp.35-51, ⟨10.1007/978-3-030-64881-7_3⟩
Conference papers
hal-03239819v1
|