Výsledky vyhledávání - testing tools General Terms Verification Keywords JavaScript~

Jalangi: A selective record-replay and dynamic analysis framework for JavaScript

Autoři: Koushik Sen Swaroop Kalasapur Tasneem Brutch a další

Přispěvatelé: Koushik Sen Swaroop Kalasapur Tasneem Brutch a další

Zdroj: http://srl.cs.berkeley.edu/~ksen/papers/jalangi.pdf.

Témata: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging— symbolic execution, testing tools General Terms Verification Keywords JavaScript, Dynamic Analysis, Concolic Testing

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.455.9073; http://srl.cs.berkeley.edu/~ksen/papers/jalangi.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.455.9073
http://srl.cs.berkeley.edu/~ksen/papers/jalangi.pdf

Mutta: a novel tool for E2E web mutation testing.

Autoři: Leotta, Maurizio Paparella, Davide Ricca, Filippo

Zdroj: Software Quality Journal; Mar2024, Vol. 32 Issue 1, p5-26, 22p

Témata: WEB-based user interfaces, COMPUTER software testing, JAVASCRIPT programming language, CLIENT/SERVER computing equipment

JavaScript SBST Heuristics to Enable Effective Fuzzing of NodeJS Web APIs.

Autoři: MAN ZHANG BELHADI, ASMA ARCURI, ANDREA

Zdroj: ACM Transactions on Software Engineering & Methodology; Nov2023, Vol. 32 Issue 6, p1-29, 29p

Témata: JAVASCRIPT programming language, COMPUTER software testing, PROGRAMMING languages, HEURISTIC, TEST systems

Streamlining electronic medical record data extraction and validation in digital hospitals: A systematic review to identify optimal approaches and methods.

Autoři: Lim, Han Chang Wong, Howard Philip, Reji a další

Zdroj: Learning Health Systems; Oct2025, Vol. 9 Issue 4, p1-13, 13p

Témata: DATA extraction, STANDARDIZATION, ELECTRONIC health records, MODEL validation, MEDICAL personnel, HEALTH information systems

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I

Autoři: Bernd Finkbeiner Laura Kovács

Resource Type: eBook.

Témata: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Paving the way for Brazil's first national rare diseases registry: the RARAS data governance model.

Autoři: Andrade Bernardi, Filipe Costa Lima, Vinícius Alonso, Mateus a další

Zdroj: BMC Digital Health; 10/1/2025, Vol. 3 Issue 1, p1-16, 16p

A Review on Tools, Mechanics, Benefits, and Challenges of Gamified Software Testing.

Autoři: FULCINI, TOMMASO COPPOLA, RICCARDO ARDITO, LUCA a další

Zdroj: ACM Computing Surveys; 2023 Suppl14s, Vol. 55, p1-37, 37p

Témata: COMPUTER software testing, SOFTWARE engineering, LITERARY sources, GREY literature

The Level of Programming Among Pupils at Primary School in the Context of Motivation and Professional Focus.

Autoři: Moc, Pavel Honzíková, Jarmila Tomášková, Tetjana

Zdroj: Education Sciences; Sep2025, Vol. 15 Issue 9, p1111, 14p

Témata: MOTIVATION (Psychology), COMPUTER programming, SECONDARY schools, ALGORITHMS, VOCATIONAL guidance, EDUCATION software, ACADEMIC achievement, TECHNICAL education

Otomatik Yazılım Test Araçlarını Değerlendirmek için Karşılaştırmalı Bir Çalışma. (Turkish)

Alternate Title: A Comparative Study for Evaluating Automated Software Testing Tools. (English)

Autoři: EROL, Ekrem SENAN, Sibel

Zdroj: International Journal of InformaticsTechnologies; tem2022, Vol. 15 Issue 3, p301-316, 16p

FAIR and Structured Data: A Domain Ontology Aligned with Standard‐Compliant Tensile Testing.

Autoři: Schilling, Markus Bayerlein, Bernd von Hartrott, Philipp a další

Zdroj: Advanced Engineering Materials; Apr2025, Vol. 27 Issue 8, p1-19, 19p

Témata: RDF (Document markup language), KNOWLEDGE representation (Information theory), TENSILE tests, SEMANTIC Web, ARTIFICIAL intelligence

Subjective performance assessment protocol for visual explanations-based face verification explainability.

Autoři: Bousnina, Naima Ascenso, João Correia, Paulo Lobato a další

Zdroj: EURASIP Journal on Image & Video Processing; 9/27/2024, Vol. 2024 Issue 1, p1-29, 29p

Témata: RELIABILITY in engineering, EVERYDAY life, ETHNICITY, GENDER, EXPLANATION

Comparison of open-source runtime testing tools for microservices.

Autoři: Sotomayor, Juan P. Allala, Sai Chaithra Santiago, Dionny a další

Zdroj: Software Quality Journal; Mar2023, Vol. 31 Issue 1, p55-87, 33p

Témata: LANGUAGE ability testing, APPLICATION software, TELECOMMUNICATION systems, COMPUTER software testing

Korporace: GOOGLE Inc., NETFLIX Inc.

Large language models can extract metadata for annotation of human neuroimaging publications.

Autoři: Turner, Matthew D. Appaji, Abhishek Ar Rakib, Nibras a další

Zdroj: Frontiers in Neuroinformatics; 2025, p1-16, 16p

Témata: LANGUAGE models, ANNOTATIONS, DATA extraction, BRAIN imaging, GENERATIVE pre-trained transformers

Korporace: OPENAI Inc.

Standardising digital health interventions in Uganda's health system using an enterprise architecture approach.

Autoři: Wamema, Joseph Amiyo, Mercy Nabukenya, Josephine

Zdroj: BMC Digital Health; 10/10/2025, Vol. 3 Issue 1, p1-18, 18p

Evolution of an Artificial Intelligence-Powered Application for Mammography.

Autoři: Vasilev, Yuriy Rumyantsev, Denis Vladzymyrskyy, Anton a další

Zdroj: Diagnostics (2075-4418); Apr2025, Vol. 15 Issue 7, p822, 22p

Témata: ARTIFICIAL intelligence, SOFTWARE validation, MAMMOGRAMS, HEALTH insurance, RADIOLOGISTS

Tools and Algorithms for the Construction and Analysis of Systems : 31st International Conference, TACAS 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II

Autoři: Arie Gurfinkel Marijn Heule

Resource Type: eBook.

Témata: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Deep Learning and Remote‐Sensed Observations Reveal Global Underestimation of River Obstructions.

Autoři: He, Mingxia Niu, Jie Riley, William J. a další

Zdroj: Water Resources Research; Sep2025, Vol. 61 Issue 9, p1-22, 22p

Témata: DEEP learning, REMOTE sensing, RIVER engineering, HYDROLOGIC models, SPATIAL arrangement, ENVIRONMENTAL monitoring, AQUATIC ecology, QUANTITATIVE research

On Combining Static, Dynamic and Interactive Analysis Security Testing Tools to Improve OWASP Top Ten Security Vulnerability Detection in Web Applications.

Autoři: Mateo Tudela, Francesc Bermejo Higuera, Juan-Ramón Bermejo Higuera, Javier a další

Zdroj: Applied Sciences (2076-3417); Dec2020, Vol. 10 Issue 24, p9119, 24p

Témata: FALSE positive error, WEB-based user interfaces, DESIGN techniques, DYNAMIC testing

Seed Selection for Testing Deep Neural Networks.

Autoři: Zhi, Yuhan Xie, Xiaofei Shen, Chao a další

Zdroj: ACM Transactions on Software Engineering & Methodology; Jan2024, Vol. 33 Issue 1, p1-33, 33p

Témata: ARTIFICIAL neural networks, SELECTION (Plant breeding), DEEP learning

Software Model for Improving Selectronic Company Using E-commerce Tools.

Autoři: Arreaga Tapia, Henry David Alvarado Toaza, Adrián Eduardo Mesias Cajas, Jaime a další

Zdroj: Frontiers in Health Informatics; 2024, Vol. 13 Issue 6, p414-423, 10p

Témata: INVENTORY management systems, INVENTORY control, SUPPLY chain management, WEB-based user interfaces, SUPPLY chains