Does this fault lead to failure? Combining refinement and input–output conformance checking in fault-oriented test-case generation
Aichernig, Bernhard K., Jöbstl, Elisabeth, Tappler, MartinМова:
english
Журнал:
Journal of Logical and Algebraic Methods in Programming
DOI:
10.1016/j.jlamp.2016.02.002
Date:
February, 2016
Файл:
PDF, 1.99 MB
english, 2016