Testing and validating the quality of specifications

Autor: Koopman, P.W.M., Achten, P.M., Plasmeijer, Rinus, Frantzen, Lars, Merayo, Mercedes, N'u, Manuel nez

Publikováno v: Frantzen, Lars; Merayo, Mercedes; N'u, Manuel nez (ed.), ICSTW Proceedings of the 2008 IEEE International Conference on Software Testing Verification and Validation Workshop, 2008 April 09-11, 2008, 41-52. [S.l.] : IEEE
STARTPAGE=41;ENDPAGE=52;TITLE=Frantzen, Lars; Merayo, Mercedes; N'u, Manuel nez (ed.), ICSTW Proceedings of the 2008 IEEE International Conference on Software Testing Verification and Validation Workshop, 2008 April 09-11, 2008
Frantzen, Lars; Merayo, Mercedes; N'u, Manuel nez (ed.), ICSTW Proceedings of the 2008 IEEE International Conference on Software Testing Verification and Validation Workshop, 2008 April 09-11, 2008, pp. 41-52

Contains fulltext : 72501.pdf (Publisher’s version ) (Open Access) 2008 IEEE International Conference on Software Testing Verification and Validation Workshop, 09 april 2008

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::7ed389fe9f6f87a53363bc4adaf7094c
http://hdl.handle.net/2066/72501

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

The PLASTIC Framework and Tools for Testing Service-Oriented Applications.

Autor: Bertolino, Antonia, De Angelis, Guglielmo, Frantzen, Lars, Polini, Andrea

Publikováno v: Software Engineering (9783540958871); 2009, p106-139, 34p

Model-Based Testing of Environmental Conformance of Components.

Autor: Hutchison, David, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Pandu Rangan, C., Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, de Boer, Frank S., Bonsangue, Marcello M., Graf, Susanne, de Roever, Willem-Paul, Frantzen, Lars

Publikováno v: Formal Methods for Components & Objects (978-3-540-74791-8); 2007, p1-25, 25p

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.