Search Within

Chatterjee Group

People

  1. Aminof
    Aminof
  2. Chatterjee
    Chatterjee
  3. Chmelik
    Chmelik
  4. Chonev
    Chonev
  5. Fu
    Fu
  6. Goharshady
    Goharshady
  7. Hilbe
    Hilbe
  8. Horn
    Horn
  9. Ibsen-Jensen
    Ibsen-Jensen
  10. Kretínský
    Kretínský
  11. Novotny
    Novotny
  12. Pavlogiannis
    Pavlogiannis
  13. Priklopil
    Priklopil
  14. Reiter
    Reiter
  15. Rubin
    Rubin
  16. Tkadlec
    Tkadlec
  17. 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