Does this fault lead to failure? Combining refinement and input-output conformance checking in fault-oriented test-case generation.

Publikation: Beitrag in einer FachzeitschriftArtikel

Originalspracheenglisch
Aufsatznummer85:5,Part 2
Seiten (von - bis)806-823
Seitenumfang18
FachzeitschriftThe journal of logic and algebraic programming
Jahrgang85
Ausgabenummer5, Part 2
DOIs
PublikationsstatusVeröffentlicht - 2016

Fields of Expertise

  • Information, Communication & Computing

Dieses zitieren