Search Within

Chatterjee Group

People

  1. Aminof
    Aminof
  2. Chatterjee
    Chatterjee
  3. Chmelik
    Chmelik
  4. Chonev
    Chonev
  5. Fu
    Fu
  6. Hilbe
    Hilbe
  7. Horn
    Horn
  8. Ibsen-Jensen
    Ibsen-Jensen
  9. Kretínský
    Kretínský
  10. Novotny
    Novotny
  11. Pavlogiannis
    Pavlogiannis
  12. Priklopil
    Priklopil
  13. Reiter
    Reiter
  14. Rubin
    Rubin
  15. Tkadlec
    Tkadlec
  16. Tracol
    Tracol
Refine Results
  1. "ACM"
  2. "CBSE
  3. "yes (repository)"
Formats
  1. Conference paper (1)
Groups
  1. Alumni (1)
  2. Henzinger Group (1)
  3. IST Fellow (1)
  4. PhD Students (1)
People
  1. Jan Kretínský (1)
  2. Przemysław Daca (1)
  3. Thomas Henzinger (1)
Years
  1. 2015 (1)
Publications
  1. CBSE: Component-Based Software Engineering (1)
Publishers
  1. ACM (1)
Affiliation
  1. IST Austria (1)
Open access
  1. yes (repository) (1)
Peer reviewed
  1. yes (1)
Invited
  1. no (1)

Results (1)

  • Complete composition operators for IOCO-testing theory
    Conference paper

    Beneš, Nikola; Daca, Przemysław; Henzinger, Thomas A; Křetínský, Jan; Ničković, Dejan
    CBSE: Component-Based Software Engineering
    ACM (2015)

    GET it@IST | Save