From Faults via Test Purposes to Test Cases: on the Fault-based Testing of Concurrent Systems

Bernhard Aichernig, Carlo Corrales

Research output: Contribution to conference(Old data) Lecture or Presentation

Original languageEnglish
Publication statusPublished - 28 Mar 2006
EventFASE’06, Fundamental Approaches to Software Engineering - Wien, Austria
Duration: 28 Mar 2006 → …

Conference

ConferenceFASE’06, Fundamental Approaches to Software Engineering
Abbreviated titleFASE '06
Country/TerritoryAustria
CityWien
Period28/03/06 → …
  • Formal Methods

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

    1/01/95 → …

    Project: Research area

Cite this