Research output

  1. A Decade of Featured Transition Systems

    Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

  2. Towards Automated Test Case Generation Maturity

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

  3. A benchmark-based evaluation of search-based crash reproduction

    Research output: Contribution to journalArticleScientificpeer-review

View all (12) »

ID: 24247369