المؤلفون: Santos, André, Cunha, Alcino, Macedo, Nuno

المساهمون: Universidade do Minho

مصطلحات موضوعية: Formal Specifications, Property-based Testing, Software Testing, Specification-based Testing, Ciências Naturais::Ciências da Computação e da Informação, Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática, Science & Technology

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

العلاقة: Santos, A.; Cunha, A. and Macedo, N. (2022). Schema-guided Testing of Message-oriented Systems. In Proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE; ISBN 978-989-758-568-5; ISSN 2184-4895, SciTePress, pages 26-37. DOI: 10.5220/0010976100003176; 978-989-758-568-5; 2184-4895

الإتاحة: https://hdl.handle.net/1822/89200Test

المؤلفون: Canh Minh Do, Kazuhiro Ogata

المصدر: IEEE Access, Vol 10, Pp 24955-24975 (2022)

مصطلحات موضوعية: Simulation, divide & conquer approach, parallel algorithms, concurrent programs, specification-based testing, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

وصف الملف: electronic resource

العلاقة: https://ieeexplore.ieee.org/document/9723036Test/; https://doaj.org/toc/2169-3536Test

الوصول الحر: https://doaj.org/article/6989742f340c442db5bbf7860b4deeb8Test

المؤلفون: Salari, Mikael Ebrahimi, Enoiu, Eduard Paul, PhD, Afzal, Wasif, Seceleanu, Cristina, 1968

المصدر: Proceedings - 2023 IEEE 16th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2023. :10-17

مصطلحات موضوعية: EARS, PLC, Requirement Engineering, Testing, Natural language processing systems, Safety engineering, Safety testing, Software testing, Specifications, Well testing, Controller systems, Easy approach to requirement syntax, Engineering safety, Natural language requirements, Natural languages, Regulatory standards, Safety critical systems, Specification Based Testing, Traceable requirements, Programmable logic controllers

وصف الملف: print

الوصول الحر: https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-63856Test

المؤلفون: Enoiu, Eduard Paul, Causevic, Adnan, Sundmark, Daniel, Pettersson, Paul

المصدر: Proceedings - 2016 IEEE International Conference on Software Testing, Verification and Validation, ICST 2016. :1-11

مصطلحات موضوعية: automated test generation, controlled experiment, embedded software, manual testing, safety-critical systems, specification-based testing, Automatic test pattern generation, Automation, Embedded systems, Fault detection, Safety engineering, Safety testing, Security systems, Software engineering, Specifications, Standards, Verification, Automated test generations, Safety critical systems, Specification Based Testing, Software testing

وصف الملف: electronic

الوصول الحر: https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-33113Test
https://mdh.diva-portal.org/smash/get/diva2:967391/FULLTEXT01.pdfTest

المؤلفون: Khalilov, Abbas, TuÄŸlular, TuÄŸkan, Belli, Fevzi

مصطلحات موضوعية: Decision tables, Design by contract, Mutation testing, Ordered binary decision diagrams, Specification-based testing

جغرافية الموضوع: 10.1109/UYMS50627.2020.9247061

العلاقة: 2020 Turkish National Software Engineering Symposium (UYMS); Konferans Öğesi - Ulusal - Kurum Öğretim Elemanı; https://doi.org/10.1109/UYMS50627.2020.9247061Test; https://hdl.handle.net/11147/9891Test; WOS:000680657300030; 2-s2.0-85097565478

الإتاحة: https://doi.org/10.1109/UYMS50627.2020.9247061Test
https://hdl.handle.net/11147/9891Test

المؤلفون: Ovidiu Baniaș, Diana Florea, Robert Gyalai, Daniel-Ioan Curiac

المصدر: Sensors; Volume 21; Issue 16; Pages: 5375

مصطلحات موضوعية: software testing, specification-based testing, automatic test case generation, REST API, OpenAPI 3.x

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

العلاقة: Physical Sensors; https://dx.doi.org/10.3390/s21165375Test

الإتاحة: https://doi.org/10.3390/s21165375Test

المؤلفون: Rong Wang, Yuji Sato, Shaoying Liu

المصدر: Mathematics; Volume 9; Issue 4; Pages: 331

مصطلحات موضوعية: test data generation, genetic algorithm, specification-based testing, regression testing, mutation testing

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

العلاقة: Mathematics and Computer Science; https://dx.doi.org/10.3390/math9040331Test

الإتاحة: https://doi.org/10.3390/math9040331Test

المؤلفون: Blanco, Raquel, González Enríquez, José, Domínguez Mayo, Francisco José, Escalona Cuaresma, María José, Tuya, Javier

المساهمون: Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos

مصطلحات موضوعية: Early testing, Entity reconciliation, Heterogeneous data sources, Model-driven engineering, Software testing, Specification-based testing

العلاقة: IEEE Transactions on Reliability, 67 (2), 538-556.; TIN2013-46928-C3-1-R; TIN2013-46928-C3-3-R; TIN2016-76956-C3-1-R; TIN2016-76956-C3-2-R; TIN2015-71938-REDT; https://ieeexplore.ieee.org/abstract/document/8320955Test; https://idus.us.es/handle//11441/83474Test

الإتاحة: https://idus.us.es/handle//11441/83474Test

المؤلفون: A. Jalila, D. Jeya Mala

المصدر: ICTACT Journal on Soft Computing, Vol 6, Iss 1, Pp 1102-1109 (2015)

مصطلحات موضوعية: Software Testing, Specification-based Testing, OCL, CPM, Formal Specification, Computer engineering. Computer hardware, TK7885-7895

وصف الملف: electronic resource

العلاقة: http://ictactjournals.in/paper/IJSC_V6_I1_paper_6_pp_1102_1109.pdfTest; https://doaj.org/toc/0976-6561Test; https://doaj.org/toc/2229-6956Test

الوصول الحر: https://doaj.org/article/e5112a5c7906483f81fcd809042c477eTest

المؤلفون: A. JALILA, D. J. MALA, M. ESWARAN

المصدر: Journal of Engineering Science and Technology, Vol 10, Iss 3, Pp 307-321 (2015)

مصطلحات موضوعية: Specification-based testing, OCL, Genetic Algorithm, Fitness function, Engineering (General). Civil engineering (General), TA1-2040, Technology (General), T1-995

وصف الملف: electronic resource

العلاقة: http://jestec.taylors.edu.my/Vol%2010%20issue%203%20March%202015/Volume%20Test(10)%20Issue%20(3)%20307-321.pdf; https://doaj.org/toc/1823-4690Test

الوصول الحر: https://doaj.org/article/4a808bd0da7d4848bd7bc8dd4a8dd73aTest