المؤلفون: Aronsson Karlsson, Viktor, Almasri, Ahmed, Enoiu, Eduard Paul, PhD, Afzal, Wasif, Charbachi, P.

المصدر: A-TEST - Proc. Int. Workshop Autom. Test Case Des., Select., Eval., co-located ESEC/FSE. :9-16

مصطلحات موضوعية: GraphWalker, Hardware-in-Loop, Model-Based Testing, MoMuT, Design, Model checking, Testing, Design method, Hardware in loop, Literature studies, Model based testing, Model-based testing tool, Property, System levels, Test case, Iterative methods

وصف الملف: print

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-62498
https://doi.org/10.1145/3548659.3561313

المؤلفون: Samih, Hamza, Bogusch, Ralf

المساهمون: Diversity-centric Software Engineering (DiverSe), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), ALL4TEC RD Laval, ALL4TEC, Airbus, Airbus Group Germany, Airbus France -Airbus France, Airbus defence and space, European Project: 269335,EC:FP7:SP1-JTI,ARTEMIS-2010-1,MBAT(2011)

المصدر: 18th International Software Product Line Conference (2014)
https://inria.hal.science/hal-01025159
18th International Software Product Line Conference (2014), Sep 2014, Florence, Italy

مصطلحات موضوعية: MaTeLo, Product Line Manager, Model-based Testing tool, OVM, ACM: G.: Mathematics of Computing/G.3: PROBABILITY AND STATISTICS, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.13: Reusable Software, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, [SCCO.COMP]Cognitive science/Computer science

جغرافية الموضوع: Florence, Italy

Time: Florence, Italy

Relation: info:eu-repo/grantAgreement/EC/FP7/269335/EU/Combined Model-based Analysis and Testing of Embedded Systems/MBAT

الاتاحة: https://inria.hal.science/hal-01025159
https://inria.hal.science/hal-01025159v1/document
https://inria.hal.science/hal-01025159v1/file/MasterTexMPLM.pdf

المؤلفون: Alshekhly, Zoubida, Gill, Namra

مصطلحات موضوعية: Model-based testing, Model-based testing tool, software system, UML, automatic test case generation, Engineering and Technology, Teknik och teknologier

وصف الملف: application/pdf

الاتاحة: http://urn.kb.se/resolve?urn=urn:nbn:se:mau:diva-20548

المؤلفون: S. Ali, H. Hemmati, N. E. Holt, E. Arisholm, L. C. Briand

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://simula.no/research/se/publications/Simula.SE.675/simula_pdf_file/.

مصطلحات موضوعية: model-based testing tool, model transformation, automatic test-case generation, model-driven development

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.164.999; http://simula.no/research/se/publications/Simula.SE.675/simula_pdf_file/

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.164.999
http://simula.no/research/se/publications/Simula.SE.675/simula_pdf_file/

المؤلفون: DIVERSE (INRIA - IRISA) ; Université de Rennes 1 (UR1) - Institut National des Sciences Appliquées - Rennes (INSA Rennes) ; Institut National des Sciences Appliquées (INSA) - Institut National des Sciences Appliquées (INSA) - INRIA, ALL4TEC RD [Laval] ; ALL4TEC, Airbus ; Airbus Group [Germany] ; AIRBUS - AIRBUS, ALL4TEC, Airbus defence and space, European Project : 269335, SP1-JTI-ARTEMIS-2010-1, MBAT(2011), Samih, Hamza, Bogusch, Ralf

المصدر: 18th International Software Product Line Conference (2014); 18th International Software Product Line Conference (2014), Sep 2014, Florence, Italy. 2014

مصطلحات الفهرس: MaTeLo, Product Line Manager, Model-based Testing tool, OVM, ACM, [SCCO.COMP] Cognitive science/Computer science, Conference papers