Fault-based Test Case Generation for Component Connectors

Bernhard Aichernig, Farhad Arbab, Lacramioara Astefanoaei, Frank S. de Boer, Meng Sun, Jan Rutten

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

Search results

  • Active

    Formal Methods

    Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.

    1/01/95 → …

    Project: Research area