-
1Conference
المؤلفون: Horel, Jean-Baptiste, Laugier, Christian, Marsso, Lina, Mateescu, Radu, Muller, Lucie, Paigwar, Anshul, Renzaglia, Alessandro, Serwe, Wendelin
المساهمون: Robots coopératifs et adaptés à la présence humaine en environnements (CHROMA), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-CITI Centre of Innovation in Telecommunications and Integration of services (CITI), Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA)-Inria Lyon, Institut National de Recherche en Informatique et en Automatique (Inria), University of Toronto, Construction of verified concurrent systems (CONVECS), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG), Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP), Université Grenoble Alpes (UGA)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP), Université Grenoble Alpes (UGA), PRISSMA, European Project: 877539,H2020-EU.2.1.1. - INDUSTRIAL LEADERSHIP - Leadership in enabling and industrial technologies - Information and Communication Technologies (ICT),ArchitectECA2030(2020)
المصدر: DATE/ASD 2022 - Design, Automation and Test in Europe - Autonomous Systems Design ; https://inria.hal.science/hal-03516799 ; DATE/ASD 2022 - Design, Automation and Test in Europe - Autonomous Systems Design, Mar 2022, Antwerp, Belgium. pp.532-537, ⟨10.23919/DATE54114.2022.9774581⟩ ; https://www.date-conference.com/special-initiative/asd
مصطلحات موضوعية: Input-output conformance, Behavior trees, Test purpose, Scenario generation, Formal methods, CARLA simulator, [INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Relation: info:eu-repo/grantAgreement//877539/EU/Trustable architectures with acceptable residual risk for the electric, connected and automated cars/ArchitectECA2030
-
2Book
المؤلفون: Yan, Xun, Dimova, Slobodanka, Ginther, April
المصدر: Yan , X , Dimova , S & Ginther , A 2023 , Local Language Testing Practice across Contexts . in Educational Linguistics . Springer Science and Business Media B.V. , Educational Linguistics , vol. 61 , pp. 1-11 . https://doi.org/10.1007/978-3-031-33541-9_1
مصطلحات موضوعية: Language assessment literacy, Language policy, Local language test, Test purpose and use
الاتاحة: https://curis.ku.dk/portal/da/publications/local-language-testing-practice-across-contexts(940ffbd4-5880-4f96-946c-704a22dff050).html
https://doi.org/10.1007/978-3-031-33541-9_1
http://www.scopus.com/inward/record.url?scp=85165972370&partnerID=8YFLogxK -
3Conference
المؤلفون: Aiguier, Marc, Kanso, Bilal, Boulanger, Frédéric, Gaston, Christophe
المساهمون: Mathématiques Appliquées aux Systèmes - EA 4037 (MAS), Ecole Centrale Paris, Supélec Sciences des Systèmes (E3S), Ecole Supérieure d'Electricité - SUPELEC (FRANCE), Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)
المصدر: 19th Asia-Pacific Software Engineering Conference APSEC'12
https://centralesupelec.hal.science/hal-00782889
19th Asia-Pacific Software Engineering Conference APSEC'12, Dec 2012, Hong-Kong, Hong Kong SAR China. pp.1-6مصطلحات موضوعية: Test purpose, Component-based system, Conformance testing, Compositional testing, Testing in context, Projection, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
جغرافية الموضوع: Hong-Kong, Hong Kong SAR China
Relation: hal-00782889; https://centralesupelec.hal.science/hal-00782889; https://centralesupelec.hal.science/hal-00782889/document; https://centralesupelec.hal.science/hal-00782889/file/apsec2012_submission_159.pdf
-
4Conference
المؤلفون: Kanso, Bilal, Aiguier, Marc, Boulanger, Frédéric, Touil, Assia
المساهمون: Ecole Centrale Paris, Supélec Sciences des Systèmes (E3S), Ecole Supérieure d'Electricité - SUPELEC (FRANCE), Mathématiques Appliquées aux Systèmes - EA 4037 (MAS), SUPELEC-Campus Gif
المصدر: Lecture Notes in Computer Science ; ICTAC 2010 - International Conference on Theoretical Aspect of Computing. ; https://centralesupelec.hal.science/hal-00782893 ; ICTAC 2010 - International Conference on Theoretical Aspect of Computing., Sep 2010, Brazil. pp.184-198
مصطلحات موضوعية: Component based system, Coalgebra, Monad, Trace semantics, Transfert function, Conformance testing, Test purpose, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Relation: hal-00782893; https://centralesupelec.hal.science/hal-00782893; https://centralesupelec.hal.science/hal-00782893/document; https://centralesupelec.hal.science/hal-00782893/file/main.pdf
-
5Academic Journal
المؤلفون: Bilal Kanso, École Centrale Paris, Grande Voie Des Vignes, Marc Aiguier, Fréderic Boulanger, Supelec Es, Christophe Gaston
المساهمون: The Pennsylvania State University CiteSeerX Archives
مصطلحات موضوعية: Component-based system, Conformance testing, Compositional testing, Testing in context, Projection, Test purpose
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.382.7922; http://hal.inria.fr/docs/00/78/28/89/PDF/apsec2012_submission_159.pdf
-
6Academic Journal
المؤلفون: Bilal Kanso, Marc Aiguier, Fréderic Boulanger, Assia Touil, École Centrale Paris, Grande Voie, Vignes F- Châtenay-malabry
المساهمون: The Pennsylvania State University CiteSeerX Archives
مصطلحات موضوعية: Component based system, Coalgebra, Monad, Trace semantics, Transfert function, Conformance testing, Test purpose
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.372.9094; http://hal.inria.fr/docs/00/78/28/93/PDF/main.pdf
-
7Academic Journal
المؤلفون: Bertrand, Nathalie, Jéron, Thierry, Stainer, Amélie, Krichen, Moez
المساهمون: Verification models and techniques applied to testing and control of reactive systems (VERTECS), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Institut Supérieur d'Informatique et de Multimédia de Sfax (ISIMS), Université de Sfax - University of Sfax, ANR-07-TLOG-0022,TESTEC,Génération automatique de tests à partir de modèles pour systèmes temps réel embarqués critiques(2007)
المصدر: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://inria.hal.science/hal-00744074 ; Logical Methods in Computer Science, 2012, 8 (4:8), pp.1-33
مصطلحات موضوعية: test purpose, Conformance testing, timed automata, partial observability, urgency, approximate determinization, game, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]
Relation: hal-00744074; https://inria.hal.science/hal-00744074; https://inria.hal.science/hal-00744074/document; https://inria.hal.science/hal-00744074/file/1207.6267.pdf
-
8Academic Journal
المساهمون: Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174) (FEMTO-ST), Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Centre National de la Recherche Scientifique (CNRS)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté COMUE (UBFC)-Université Bourgogne Franche-Comté COMUE (UBFC)
المصدر: ISSN: 0934-5043.
مصطلحات موضوعية: Model-Based Testing, Test Purpose, IAS Case Study
Relation: hal-00554980; https://hal.science/hal-00554980; https://hal.science/hal-00554980/document; https://hal.science/hal-00554980/file/PEER_stage2_10.1007%252Fs00165-009-0132-9.pdf
-
9Academic Journal
المؤلفون: David, Alexandre, Larsen, Kim Guldstrand, Li, Shuhao, Nielsen, Brian
المصدر: David , A , Larsen , K G , Li , S & Nielsen , B 2009 , Timed Testing under Partial Observability . in Proceedings of 2009 International Conference on Software Testing Verification and Validation . IEEE Computer Society Press , pp. 61-70 , 2nd IEEE International Conference on Software Testing, Verification, and Validation (ICST'09) , Denver, Colorado , United States , 01/04/2009 .
مصطلحات موضوعية: real-time systems, conformaance testing, timed game automata, test purpose, winning strategy, test case
وصف الملف: application/pdf
-
10Academic Journal
المؤلفون: Hacene Fouchal, Eric Petitjean, Sébastien Salva
المساهمون: The Pennsylvania State University CiteSeerX Archives
المصدر: http://rtds.cs.tamu.edu/fouchal.pdf.
مصطلحات موضوعية: Timed Automata, Region Graph, Conformance Testing, Test purpose
وصف الملف: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.23.8037; http://rtds.cs.tamu.edu/fouchal.pdf
-
11Report
المؤلفون: Bertrand, Nathalie, Jéron, Thierry, Stainer, Amélie, Krichen, Moez
المساهمون: Verification models and techniques applied to testing and control of reactive systems (VERTECS), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Institut Supérieur d'Informatique et de Multimédia de Sfax (ISIMS), Université de Sfax - University of Sfax, INRIA, ANR-07-TLOG-0022,TESTEC,Génération automatique de tests à partir de modèles pour systèmes temps réel embarqués critiques(2007)
المصدر: https://inria.hal.science/inria-00550923 ; [Research Report] RR-7501, INRIA. 2011, pp.20.
مصطلحات موضوعية: timed automata, determinization, test purpose, selection, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.8: Testing tools (e.g., data generators, coverage testing), [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Relation: Report N°: RR-7501; inria-00550923; https://inria.hal.science/inria-00550923; https://inria.hal.science/inria-00550923/document; https://inria.hal.science/inria-00550923/file/RR-7501.pdf
-
12Academic Journal
المؤلفون: Jens Grabowski, Thomas Walter
المساهمون: The Pennsylvania State University CiteSeerX Archives
مصطلحات موضوعية: TTCN, MSC, Test Purpose, Test Case Visualisation, TTCN Simulation
وصف الملف: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.36.9276; http://www.itm.mu-luebeck.de/publications/SAM98TTCNV/SAM98-TTCN-Visualization.ps.gz
-
13Report
المساهمون: Specification and Programming of Communicating Real-Time Systems (SPECTRE), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Models and Tools for Programming Distributed Parallel Architectures (PAMPA), 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)-Institut National de Recherche en Informatique et en Automatique (Inria)-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)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-INRIA Rennes, Institut National de Recherche en Informatique et en Automatique (Inria), INRIA
المصدر: https://hal.inria.fr/inria-00073711 ; [Research Report] RR-2987, INRIA. 1996.
مصطلحات موضوعية: GENERATION OF TEST SUITE, ON THE FLY VERIFICATION, TEST PURPOSE, FORMAL SPECIFICATION, INPUTS--OUTPUTS TRANSITIONS SYSTEMES, VERDICTS, TIMERS, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]
Relation: Report N°: RR-2987; inria-00073711; https://hal.inria.fr/inria-00073711; https://hal.inria.fr/inria-00073711/document; https://hal.inria.fr/inria-00073711/file/RR-2987.pdf
-
14Report
المساهمون: Specification and Programming of Communicating Real-Time Systems (SPECTRE), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Models and Tools for Programming Distributed Parallel Architectures (PAMPA), 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)-Institut National de Recherche en Informatique et en Automatique (Inria)-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)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-INRIA Rennes, Institut National de Recherche en Informatique et en Automatique (Inria), INRIA
المصدر: https://hal.inria.fr/inria-00073775 ; [Research Report] RR-2923, INRIA. 1996.
مصطلحات موضوعية: PROTOCOL, BLACK BOX TESTING, TEST GENERATION, VERIFICATION, CONFORMANCE, SPECIFICATION, IMPLEMENTATION, TEST PURPOSE, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]
Relation: Report N°: RR-2923; inria-00073775; https://hal.inria.fr/inria-00073775; https://hal.inria.fr/inria-00073775/document; https://hal.inria.fr/inria-00073775/file/RR-2923.pdf
-
15
المؤلفون: Ton J. M. Rövekamp, Anja Kessler, Fred P.H.T.M. Romijn, Paul J M van der Boog, Paul W. Schenk, Christa M. Cobbaert, Céline L van Lint, Ton J. Rabelink, Sandra van Dijk, Lothar Siekmann
المصدر: Clinical Chemistry and Laboratory Medicine (CCLM), 53(10), 1547-1556
Clinical Chemistry and Laboratory Medicine, 10, 53, 1547-1556مصطلحات موضوعية: Male, Clinical Biochemistry, Kidney Function Tests, Isotopic dilution mass spectrometry, LS - Life Style, Kidney transplantation, chemistry.chemical_compound, Life, metrological traceability, Accuracy, Whole blood, Hematologic Tests, creatinine, General Medicine, Venous blood, Middle Aged, Health, Creatinine, Female, Healthy Living, Glomerular Filtration Rate, Human, Adult, medicine.medical_specialty, Capillary blood, reference standardization, Point-of-Care Systems, Urology, Renal function, kidney transplantation, Major clinical study, Kidney function, test purpose, medicine, Humans, Kidney dysfunction, Self-monitoring, Creatinine blood level, Laboratory device, Point of care, Monitoring, Physiologic, Metrological traceability, Test purpose, Mass spectrometry, business.industry, Intermethod comparison, Biochemistry (medical), Reproducibility of Results, self-monitoring, Reference standardization, medicine.disease, Surgery, Transplantation, chemistry, Creatinine Measurement, ELSS - Earth, Life and Social Sciences, Healthy for Life, business, Blood Chemical Analysis
-
16Conference
المؤلفون: Faivre, Alain, Gaston, Christophe, Le Gall, Pascale, Touil, Assia
المساهمون: Mathématiques Appliquées aux Systèmes - EA 4037 (MAS), Ecole Centrale Paris, SUPELEC-Campus Gif, Ecole Supérieure d'Electricité - SUPELEC (FRANCE)
المصدر: Proceedings of the 20th IFIP TC/WG 6.1 International Conference, TestCom 2008 - 8 th International Workshop, TATES 2008 ; 20th IFIP TC/WG 6.1 International Conference, TestCom 2008 - 8 th International Workshop, TATES 2008 ; https://hal-centralesupelec.archives-ouvertes.fr/hal-00289229 ; 20th IFIP TC/WG 6.1 International Conference, TestCom 2008 - 8 th International Workshop, TATES 2008, Jun 2008, Tokyo, Japan. pp.184-199, ⟨10.1007/978-3-540-68524-1⟩
مصطلحات موضوعية: Model Based Testing, Action Refinement, Symbolic Conformance Testing, Test Purpose, Test Purpose Concretisation, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Relation: hal-00289229; https://hal-centralesupelec.archives-ouvertes.fr/hal-00289229
-
17
المؤلفون: Brian Nielsen, Kim Guldstrand Larsen, Shuhao Li, Alexandre David
المصدر: Electronic Notes in Theoretical Computer Science. 220:79-92
مصطلحات موضوعية: General Computer Science, Programming language, Computer science, test case, Test method, Timed game automata, winning strategy, Solver, computer.software_genre, Theoretical Computer Science, Test (assessment), Automaton, System under test, test purpose, Operational framework, Test Management Approach, cooperative strategy, Conformance testing, computer, Simulation, Computer Science(all)
-
18Conference
المؤلفون: VIGANO', Luca
المساهمون: Vigano', Luca
مصطلحات موضوعية: Formal method, formal testing method, white-box testing, test purpose, test selection, automated test case generation, Security
وصف الملف: STAMPA
Relation: info:eu-repo/semantics/altIdentifier/wos/000332473300062; ispartofbook:IEEE 6th International Conference on Software Testing, Verification and Validation, ICST 2013; IEEE 6th International Conference on Software Testing, Verification and Validation, ICST 2013; firstpage:497; lastpage:498; numberofpages:2; http://hdl.handle.net/11562/747771; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84883379680
-
19Conference
المؤلفون: Johan Oudinet, Matthias Büchler, CALVI, Alberto
المساهمون: Margus Veanes, Luca Viganò, Johan, Oudinet, Calvi, Alberto, Matthias, Büchler
مصطلحات موضوعية: formal testing method, white-box testing, test purpose, test selection, automated test case generation
Relation: info:eu-repo/semantics/altIdentifier/isbn/9783642389153; info:eu-repo/semantics/altIdentifier/isbn/9783642389160; ispartofbook:Tests And Proofs - 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings; 7th International Conference, Tests And Proofs 2013; volume:7942; firstpage:178; lastpage:196; numberofpages:19; journal:LECTURE NOTES IN COMPUTER SCIENCE; alleditors:Margus Veanes, Luca Viganò; http://hdl.handle.net/11562/624374
-
20Dissertation/ Thesis
المؤلفون: Scott, Samantha A.
مصطلحات موضوعية: Clinical Psychology, cervical cancer, barriers, anxiety, knowledge, view of test purpose