Tools for Test Case Generation

Autor: Belinfante, Axel, Frantzen, Lars, Schallhart, Christian, Broy, Manfred, Jonsson, Bengt, Katoen, Joost P., Leucker, Martin, Pretschner, Alexander

Publikováno v: LNCS ; 3472, 391-438. [S.l.] : Springer Verlag
STARTPAGE=391;ENDPAGE=438;TITLE=LNCS ; 3472
Broy, M.; Jonsson, B.; Katoen, J.P. (ed.), Model-based Testing of Reactive Systems: Advanced Lectures, pp. 391-438
Model-Based Testing of Reactive Systems: Advanced Lectures, 391-438
STARTPAGE=391;ENDPAGE=438;TITLE=Model-Based Testing of Reactive Systems: Advanced Lectures
Model-Based Testing of Reactive Systems-A Seminar Volume, pp. 391-438
Model-Based Testing of Reactive Systems-A Seminar Volume, 391-438. Berlin ; New York : Springer-Verlag
STARTPAGE=391;ENDPAGE=438;TITLE=Model-Based Testing of Reactive Systems-A Seminar Volume

System vendors focus more and more on the quality of a system instead of increasing functionality. Testing is the most viable and widely used technique to improve several quality aspects, accompanying the entire development cycle of a product. Motiva

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::5bcedcd6259f24a61be9fbacaa80ff6c
https://hdl.handle.net/2066/33162