-
1
المؤلفون: Julien Signoles, Nikolai Kosmatov, David Bühler, Virgile Prevosto, Patrick Baudin, Loïc Correnson, Valentin Perrelle, Florent Kirchner, François Bobot, André Maroneze, Nicky Williams
المصدر: Communications of the ACM. 64:56-68
مصطلحات موضوعية: General Computer Science, business.industry, Computer science, 020204 information systems, ComputingMethodologies_IMAGEPROCESSINGANDCOMPUTERVISION, 0202 electrical engineering, electronic engineering, information engineering, 020207 software engineering, 02 engineering and technology, Software engineering, business, Software analysis pattern
-
2
المؤلفون: Nicky Williams
المساهمون: Laboratoire Sûreté des Logiciels (LSL), Département Ingénierie Logiciels et Systèmes (DILS), Laboratoire d'Intégration des Systèmes et des Technologies (LIST), 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)-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)-Université Paris-Saclay-Laboratoire d'Intégration des Systèmes et des Technologies (LIST), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay, Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay-Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA))
المصدر: 2nd ACM/IEEE International Conference on Automation of Software Test AST 2021
2nd ACM/IEEE International Conference on Automation of Software Test AST 2021, May 2021, Madrid, Spain
AST@ICSEمصطلحات موضوعية: FOS: Computer and information sciences, Source code, business.industry, Computer science, media_common.quotation_subject, Assertion, Code coverage, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging/D.2.5.7: Symbolic execution, Automation, Software Engineering (cs.SE), Computer Science - Software Engineering, automatic test generation, Computer engineering, Reachability, concolic, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods, Code (cryptography), branch coverage, Concolic testing, 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), business, Software measurement, media_common, reachability
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a5c0ad67b7e49024ff24f8491408ed80
https://hal-cea.archives-ouvertes.fr/cea-03224561/document -
3
المؤلفون: Frederick Kaplan, Eric Bachman, Nicky Williams, Oliver Collins, Robert J. Pignolo, Rolf Morhart, Nobuhiko Haga, Adam Sherman, Xiaobing Qian, Donna R. Grogan, Betsy Bogard, Matthew A. Brown, Richard Keen, Keqin Zhang, Christiaan Scott, Maja Di Rocco, Marelise E. M. W. Eekhoff, Geneviève Baujat, Roger zum Felde, Patricia Delai, Carmen De Cunto, Neal Mantick, Edward C. Hsiao, Sharon Kantanie, Jelena Milosevic, Marin Wallace
المساهمون: Internal medicine, ACS - Diabetes & metabolism, AGEM - Endocrinology, metabolism and nutrition, AMS - Musculoskeletal Health, AMS - Physical Functioning in Major Disease
المصدر: Mantick, N, Bachman, E, Baujat, G, Brown, M, Collins, O, De Cunto, C, Delai, P, Eekhoff, M, zum Felde, R, Grogan, D R, Haga, N, Hsiao, E, Kantanie, S, Kaplan, F, Keen, R, Milosevic, J, Morhart, R, Pignolo, R, Qian, X, di Rocco, M, Scott, C, Sherman, A, Wallace, M, Williams, N, Zhang, K & Bogard, B 2018, ' The FOP Connection Registry : Design of an international patient-sponsored registry for Fibrodysplasia Ossificans Progressiva ', Bone, vol. 109, pp. 285-290 . https://doi.org/10.1016/j.bone.2017.08.032
Bone, 109, 285-290. Elsevier Inc.مصطلحات موضوعية: Adult, Male, 0301 basic medicine, medicine.medical_specialty, Histology, Adolescent, Physiology, Endocrinology, Diabetes and Metabolism, Population, Young Adult, 03 medical and health sciences, 0302 clinical medicine, Humans, Medicine, Registries, Child, education, Aged, 030203 arthritis & rheumatology, education.field_of_study, business.industry, Ossification, Heterotopic, Patient portal, Infant, Mean age, Patient data, Middle Aged, medicine.disease, Surgery, 030104 developmental biology, Positive response, Myositis Ossificans, Child, Preschool, Fibrodysplasia ossificans progressiva, Disease Progression, Female, Observational study, Medical emergency, business, Clinical progression
-
4
المؤلفون: Bruno Marre, Nikolai Kosmatov, Sébastien Bardin, Nicky Williams, David Mentré
المصدر: Lecture Notes in Computer Science ISBN: 9783030034269
ISoLA (4)مصطلحات موضوعية: Interface (Java), Computer science, Process (engineering), business.industry, Code coverage, Mature technology, 020207 software engineering, Manual testing, 02 engineering and technology, Formal methods, Bridging (programming), Strategic business unit, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Software engineering, business
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::f500d1a97b5a396fc4f356f7b8fa4d60
https://doi.org/10.1007/978-3-030-03427-6_12 -
5
المؤلفون: Laura Neylan, Nicky Williams
المصدر: Forum: The Journal of Planning Practice and Education. 6
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::b01d9c741a3941382e5e75f8304558f1
https://doi.org/10.15368/forum.2014v6n1.3 -
6
المؤلفون: Nicky Williams Preston
المصدر: PASTE
مصطلحات موضوعية: Reverse engineering, Theoretical computer science, Computer science, Programming language, Fortran, Subroutine, Algebraic specification, Construct (python library), General Medicine, computer.software_genre, Alias analysis, Set (abstract data type), Code (cryptography), computer, computer.programming_language
-
7
المؤلفون: Omar Chebaro, Anne Pacalet, Bruno Marre, Nikolai Kosmatov, Boris Yakobowski, Nicky Williams, Pascal Cuoq
المساهمون: Laboratoire d'Informatique de Nantes Atlantique (LINA), Centre National de la Recherche Scientifique (CNRS)-Mines Nantes (Mines Nantes)-Université de Nantes (UN), Aspect and composition languages (ASCOLA), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Département informatique - EMN, Mines Nantes (Mines Nantes)-Mines Nantes (Mines Nantes)-Laboratoire d'Informatique de Nantes Atlantique (LINA), Centre National de la Recherche Scientifique (CNRS)-Mines Nantes (Mines Nantes)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)-Université de Nantes (UN), Laboratoire Sûreté des Logiciels (LSL), Département Ingénierie Logiciels et Systèmes (DILS), Laboratoire d'Intégration des Systèmes et des Technologies (LIST), 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)-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)-Université Paris-Saclay-Laboratoire d'Intégration des Systèmes et des Technologies (LIST), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay, Centre d'Etude de Saclay, Commissariat à l'énergie atomique et aux énergies alternatives (CEA), SAFE RIVER, Mines Nantes (Mines Nantes)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS), Mines Nantes (Mines Nantes)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)-Mines Nantes (Mines Nantes)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)-Département informatique - EMN, Mines Nantes (Mines Nantes)-Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay-Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA))
المصدر: Automated Software Engineering
Automated Software Engineering, Springer Verlag, 2013, 21 (1), pp.107-143. ⟨10.1007/s10515-013-0127-x⟩
Automated Software Engineering, 2013, 21 (1), pp.107-143. ⟨10.1007/s10515-013-0127-x⟩مصطلحات موضوعية: Dependency (UML), business.industry, Computer science, Programming language, Frama-C toolset, Realization (linguistics), [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], Static analysis, Abstract interpretation, computer.software_genre, Task (project management), Constraint (information theory), static analysis, program slicing, constraint solving, C program verification, Program slicing, SANTE tool, test generation, Software engineering, business, computer, Software, Software verification
-
8
المؤلفون: Omar Chebaro, Bernard Botella, Muriel Roger, Nikolai Kosmatov, Nicky Williams
المساهمون: Laboratoire d'Informatique de Nantes Atlantique (LINA), Centre National de la Recherche Scientifique (CNRS)-Mines Nantes (Mines Nantes)-Université de Nantes (UN), Aspect and composition languages (ASCOLA), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Département informatique - EMN, Mines Nantes (Mines Nantes)-Mines Nantes (Mines Nantes)-Laboratoire d'Informatique de Nantes Atlantique (LINA), Centre National de la Recherche Scientifique (CNRS)-Mines Nantes (Mines Nantes)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)-Université de Nantes (UN), Laboratoire Sûreté des Logiciels (LSL), Département Ingénierie Logiciels et Systèmes (DILS), Laboratoire d'Intégration des Systèmes et des Technologies (LIST), 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)-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)-Université Paris-Saclay-Laboratoire d'Intégration des Systèmes et des Technologies (LIST), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay, Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA), Mines Nantes (Mines Nantes)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS), Mines Nantes (Mines Nantes)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)-Mines Nantes (Mines Nantes)-Université de Nantes (UN)-Centre National de la Recherche Scientifique (CNRS)-Département informatique - EMN, Mines Nantes (Mines Nantes)-Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay-Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA))
المصدر: Proc. of the 6th International Conference on Tests & Proofs
6th International Conference on Tests & Proofs
6th International Conference on Tests & Proofs, May 2012, Prague, Czech Republic. pp.0-0
Tests and Proofs ISBN: 9783642304729
TAP@TOOLSمصطلحات موضوعية: Service (systems architecture), SIMPLE (military communications protocol), Computer science, business.industry, 020207 software engineering, 02 engineering and technology, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], computer.software_genre, Test (assessment), World Wide Web, Software testing, 0202 electrical engineering, electronic engineering, information engineering, Structural testing, 020201 artificial intelligence & image processing, Web service, Software engineering, business, computer
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6b9131edc9bc556a1f3fc0178b4f55bf
https://hal.archives-ouvertes.fr/hal-00685504 -
9
المؤلفون: Nikolai Kosmatov, Nicky Williams
المساهمون: Laboratoire Sûreté des Logiciels (LSL), Département Ingénierie Logiciels et Systèmes (DILS), Laboratoire d'Intégration des Systèmes et des Technologies (LIST), 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)-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)-Université Paris-Saclay-Laboratoire d'Intégration des Systèmes et des Technologies (LIST), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay, Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA), Commissariat à l'énergie atomique et aux énergies alternatives (CEA), Université Paris-Saclay, Laboratoire Sûreté des Logiciels ( LSL ), Département Ingénierie Logiciels et Systèmes ( DILS ), Laboratoire d'Intégration des Systèmes et des Technologies ( LIST ), Commissariat à l'énergie atomique et aux énergies alternatives ( CEA ) -Université Paris-Saclay-Commissariat à l'énergie atomique et aux énergies alternatives ( CEA ) -Université Paris-Saclay-Laboratoire d'Intégration des Systèmes et des Technologies ( LIST ), Commissariat à l'énergie atomique et aux énergies alternatives ( CEA ) -Université Paris-Saclay-Commissariat à l'énergie atomique et aux énergies alternatives ( CEA ) -Université Paris-Saclay, Commissariat à l'énergie atomique et aux énergies alternatives ( CEA ) -Université Paris-Saclay, Commissariat à l'énergie atomique et aux énergies alternatives ( CEA ), Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay-Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA))
المصدر: 2012 12th International Conference on Quality Software, Xi'an, Shaanxi, China, August 27-29, 2012
2012 12th International Conference on Quality Software, Xi'an, Shaanxi, China, August 27-29, 2012, 2012, Xi'an, China. pp.289--292, ⟨10.1109/QSIC.2012.24⟩
2012 12th International Conference on Quality Software, Xi'an, Shaanxi, China, August 27-29, 2012, 2012, Xi'an, China. pp.289--292, 2012, 〈10.1109/QSIC.2012.24〉
QSICمصطلحات موضوعية: Test strategy, [ INFO ] Computer Science [cs], business.industry, Programming language, Computer science, White-box testing, System testing, 020207 software engineering, Manual testing, Software performance testing, 02 engineering and technology, computer.software_genre, Black-box testing, Oracle, Software bug, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, [INFO]Computer Science [cs], Software engineering, business, computer, ComputingMilieux_MISCELLANEOUS
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::78359d77b3dc27ecd68f6fecff5f6454
https://hal.archives-ouvertes.fr/hal-01810295 -
10
المؤلفون: Nikolai Kosmatov, Nicky Williams
المصدر: Tests and Proofs ISBN: 9783642304729
مصطلحات موضوعية: business.industry, Computer science, Process (engineering), media_common.quotation_subject, computer.software_genre, Automation, Software, Norm (artificial intelligence), Overhead (computing), Concolic testing, Quality (business), Web service, Software engineering, business, computer, Simulation, media_common
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::7084552fa48c4ae4d3bd6b47630d92c9
https://doi.org/10.1007/978-3-642-30473-6_16
Full Text via ClinicalKey 
Find this article in full text from Springer Verlag.