---
_id: '1502'
abstract:
- lang: eng
  text: We extend the theory of input-output conformance with operators for merge
    and quotient. The former is useful when testing against multiple requirements
    or views. The latter can be used to generate tests for patches of an already tested
    system. Both operators can combine systems with different action alphabets, which
    is usually the case when constructing complex systems and specifications from
    parts, for instance different views as well as newly defined functionality of
    a~previous version of the system.
acknowledgement: "This research was funded in part by the European Research Council
  (ERC) under grant agreement 267989 (QUAREM), by the Austrian Science Fund (FWF)
  projects S11402-N23(RiSE) and Z211-N23 (Wittgestein Award), by People Programme
  (Marie Curie Actions) of the European Union's Seventh Framework Programme (FP7/2007-2013)
  under REA grant agreement 291734, and by the ARTEMIS JU under grant agreement 295373
  (nSafeCer).  Jan Křetínský has been partially supported by the Czech Science Foundation,
  grant No.  P202/12/G061.  Nikola Beneš has been supported by the\r\nMEYS project
  No. CZ.1.07/2.3.00/30.0009 Employment of Newly Graduated Doctors of Science for
  Scientific Excellence."
alternative_title:
- 'Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based
  Software Engineering '
article_processing_charge: No
author:
- first_name: Nikola
  full_name: Beneš, Nikola
  last_name: Beneš
- first_name: Przemyslaw
  full_name: Daca, Przemyslaw
  id: 49351290-F248-11E8-B48F-1D18A9856A87
  last_name: Daca
- first_name: Thomas A
  full_name: Henzinger, Thomas A
  id: 40876CD8-F248-11E8-B48F-1D18A9856A87
  last_name: Henzinger
  orcid: 0000−0002−2985−7724
- first_name: Jan
  full_name: Kretinsky, Jan
  id: 44CEF464-F248-11E8-B48F-1D18A9856A87
  last_name: Kretinsky
  orcid: 0000-0002-8122-2881
- first_name: Dejan
  full_name: Nickovic, Dejan
  last_name: Nickovic
citation:
  ama: 'Beneš N, Daca P, Henzinger TA, Kretinsky J, Nickovic D. Complete composition
    operators for IOCO-testing theory. In: ACM; 2015:101-110. doi:<a href="https://doi.org/10.1145/2737166.2737175">10.1145/2737166.2737175</a>'
  apa: 'Beneš, N., Daca, P., Henzinger, T. A., Kretinsky, J., &#38; Nickovic, D. (2015).
    Complete composition operators for IOCO-testing theory (pp. 101–110). Presented
    at the CBSE: Component-Based Software Engineering , Montreal, QC, Canada: ACM.
    <a href="https://doi.org/10.1145/2737166.2737175">https://doi.org/10.1145/2737166.2737175</a>'
  chicago: Beneš, Nikola, Przemyslaw Daca, Thomas A Henzinger, Jan Kretinsky, and
    Dejan Nickovic. “Complete Composition Operators for IOCO-Testing Theory,” 101–10.
    ACM, 2015. <a href="https://doi.org/10.1145/2737166.2737175">https://doi.org/10.1145/2737166.2737175</a>.
  ieee: 'N. Beneš, P. Daca, T. A. Henzinger, J. Kretinsky, and D. Nickovic, “Complete
    composition operators for IOCO-testing theory,” presented at the CBSE: Component-Based
    Software Engineering , Montreal, QC, Canada, 2015, pp. 101–110.'
  ista: 'Beneš N, Daca P, Henzinger TA, Kretinsky J, Nickovic D. 2015. Complete composition
    operators for IOCO-testing theory. CBSE: Component-Based Software Engineering
    , Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based
    Software Engineering , , 101–110.'
  mla: Beneš, Nikola, et al. <i>Complete Composition Operators for IOCO-Testing Theory</i>.
    ACM, 2015, pp. 101–10, doi:<a href="https://doi.org/10.1145/2737166.2737175">10.1145/2737166.2737175</a>.
  short: N. Beneš, P. Daca, T.A. Henzinger, J. Kretinsky, D. Nickovic, in:, ACM, 2015,
    pp. 101–110.
conference:
  end_date: 2015-05-08
  location: Montreal, QC, Canada
  name: 'CBSE: Component-Based Software Engineering '
  start_date: 2015-05-04
date_created: 2018-12-11T11:52:24Z
date_published: 2015-05-01T00:00:00Z
date_updated: 2026-04-15T10:02:12Z
day: '01'
ddc:
- '000'
department:
- _id: ToHe
- _id: KrCh
doi: 10.1145/2737166.2737175
ec_funded: 1
external_id:
  isi:
  - '000380554800013'
file:
- access_level: open_access
  checksum: c6ce681035c163a158751f240cb7d389
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T10:17:46Z
  date_updated: 2020-07-14T12:44:59Z
  file_id: '5303'
  file_name: IST-2016-625-v1+1_conf-cbse-BenesDHKN15.pdf
  file_size: 467561
  relation: main_file
file_date_updated: 2020-07-14T12:44:59Z
has_accepted_license: '1'
isi: 1
language:
- iso: eng
month: '05'
oa: 1
oa_version: Submitted Version
page: 101 - 110
project:
- _id: 25EE3708-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '267989'
  name: Quantitative Reactive Modeling
- _id: 25832EC2-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: S 11407_N23
  name: Rigorous Systems Engineering
- _id: 25F42A32-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: Z211
  name: Formal methods for the design and analysis of complex systems
- _id: 25681D80-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '291734'
  name: International IST Postdoc Fellowship Programme
publication_identifier:
  isbn:
  - 978-1-4503-3471-6
publication_status: published
publisher: ACM
publist_id: '5676'
pubrep_id: '625'
quality_controlled: '1'
related_material:
  record:
  - id: '1155'
    relation: dissertation_contains
    status: public
scopus_import: '1'
status: public
title: Complete composition operators for IOCO-testing theory
type: conference
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
year: '2015'
...