Výsledky vyhledávání - Verification Keywords JavaScript Analysis*

GeoJSEval: An Automated Evaluation Framework for Large Language Models on JavaScript-Based Geospatial Computation and Visualization Code Generation.

Autoři: Chen, Guanyu Jiao, Haoyue Hou, Shuyang a další

Zdroj: ISPRS International Journal of Geo-Information; Oct2025, Vol. 14 Issue 10, p382, 43p

Témata: GEOGRAPHIC spatial analysis, EVALUATION methodology, LANGUAGE models, SEMANTIC computing, JAVASCRIPT programming language, CODE generators

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

VeriFlow: A Framework for the Static Verification of Web Application Access Control via Policy-Graph Consistency.

Autoři: Zhang, Tao Hao, Fuzhong Wang, Yunfan a další

Zdroj: Electronics (2079-9292); Sep2025, Vol. 14 Issue 18, p3742, 25p

Témata: ACCESS control, WEB-based user interfaces, COMPUTER access control software, RISK assessment

Demystifying React Native Android Apps for Static Analysis.

Autoři: Liu, Yonghui Chen, Xiao Liu, Pei a další

Zdroj: ACM Transactions on Software Engineering & Methodology; May2025, Vol. 34 Issue 4, p1-33, 33p

Témata: MOBILE app development, JAVASCRIPT programming language, COMPILERS (Computer programs)

Advancing Software Reliability Through Systematic API Testing: A Comparative Analysis of Modern Automation Frameworks and Methodological Implications for Distributed Systems.

Autoři: Nagineni, Srihari

Zdroj: Journal of Computer Science & Technology Studies; 2025, Vol. 7 Issue 8, p798-805, 8p

Témata: SOFTWARE reliability, ORGANIZATIONAL commitment, DISTRIBUTED computing, CHECKS, TRUST

Integrated Biometric Signature Verification: A Hybrid Framework for Digital and Physical Signature Authentication.

Autoři: AKALIN, Zeynep GÜRBÜZ, Fatih Mehmet ŞENMEMIŞ, Hasan a další

Zdroj: Dicle University Journal of Engineering / Dicle Üniversitesi Mühendislik Dergisi; eyl2025, Vol. 16 Issue 3, p611-623, 13p

MoVer: Motion Verification for Motion Graphics Animations.

Autoři: MA, JIAJU AGRAWALA, MANEESH

Zdroj: ACM Transactions on Graphics; Aug2025, Vol. 44 Issue 4, p1-17, 17p

Témata: SPATIOTEMPORAL processes, FIRST-order logic, MOTION analysis, ANIMATION (Cinematography), MODELING languages (Computer science), COMPUTER-generated imagery

Methodologies for Data Collection and Analysis of Dark Web Forum Content: A Systematic Literature Review.

Autoři: de-Marcos, Luis Medina-Merodio, José-Amelio Stapic, Zlatko

Zdroj: Electronics (2079-9292); Nov2025, Vol. 14 Issue 21, p4191, 23p

Témata: MACHINE learning, NATURAL language processing, ACQUISITION of data, SOCIAL network analysis, INFORMATION technology, INTERNET security

Ethereum Smart Contracts Under Scrutiny: A Survey of Security Verification Tools, Techniques, and Challenges.

Autoři: Kezadri Hamiaz, Mounira Driss, Maha

Zdroj: Computers (2073-431X); Jun2025, Vol. 14 Issue 6, p226, 49p

Témata: MACHINE learning, RESEARCH personnel, AUDITORS, CONTRACTS, VOTING, BLOCKCHAINS

Toward Responsible AI in High-Stakes Domains: A Dataset for Building Static Analysis with LLMs in Structural Engineering.

Autoři: Avila, Carlos Ilbay, Daniel Tapia, Paola a další

Zdroj: Data (2306-5729); Nov2025, Vol. 10 Issue 11, p169, 12p

Témata: STRUCTURAL engineering, LANGUAGE models, REPRODUCIBLE research, NATURAL language processing, ACQUISITION of data, EARTHQUAKE resistant design

PLIF Platform: Modeling and Verification of Information Flows in Software DB Units Using the Temporal Logic of Actions (TLA+).

Autoři: Timakov, A. A. Ryzhov, I. G.

Zdroj: Programming & Computer Software; Aug2025, Vol. 51 Issue 4, p283-296, 14p

Témata: VERIFICATION of computer systems, MATHEMATICS software, COMPUTER software, CONFIRMATION (Logic), INFORMATION resources management

Quantitative Analysis of Online Courses for Learning the JavaScript Programming Language.

Autoři: Sharov, Sergii Chakraborty, Supriya Zemlianskyi, Anatolii a další

Zdroj: International Journal on Advanced Science, Engineering & Information Technology; 2024, Vol. 14 Issue 4, p1216-1225, 10p

Témata: ONLINE education, PROGRAMMING languages, QUANTITATIVE research, JAVASCRIPT programming language

Unveiling the power of R: a comprehensive perspective for laboratory medicine data analysis.

Autoři: Ma, Chaochao Qiu, Ling

Zdroj: Clinical Chemistry & Laboratory Medicine; Jul2025, Vol. 63 Issue 8, p1458-1471, 14p

Témata: DATA analysis, BIG data, PROGRAMMING languages, PREDICTION models, CHATGPT, DATA visualization, CLINICAL pathology, MATHEMATICAL statistics

A dual perspective review on large language models and code verification.

Autoři: Dolcetti, Greta Iotti, Eleonora

Zdroj: Frontiers in Computer Science; 2025, p1-22, 22p

A Review on Blockchain Applications in Operational Technology for Food and Agriculture Critical Infrastructure.

Autoři: Zheng, Chengliang Peng, Xiangzhen Wang, Ziyue a další

Zdroj: Foods; Jan2025, Vol. 14 Issue 2, p251, 42p

Témata: BIBLIOMETRICS, INFRASTRUCTURE (Economics), CITATION analysis, DATA recovery, FOOD science

Context Gas and friends: taming context-sensitivity on the fly.

Autoři: Erhard, Julian Schinabeck, Johanna Franziska Schwarz, Michael a další

Zdroj: International Journal on Software Tools for Technology Transfer; Apr2025, Vol. 27 Issue 2, p289-307, 19p

Témata: SOFTWARE verification, VERDICTS, TRANSLATORS, GASES

A Multimodal Dataset of Fact-Checked News from Chile's Constitutional Processes: Collection, Processing, and Analysis.

Autoři: Molina, Ignacio Keith, Brian Matus, Mauricio

Zdroj: Data (2306-5729); Feb2025, Vol. 10 Issue 2, p13, 19p

Témata: COMPUTER vision, FACT checking, COMPUTER science, DISCOURSE analysis, EVIDENCE gaps

Geografický termín: CHILE

Making sense of data using automated content analysis: an illustration using archival data from newspaper articles.

Autoři: Mathew, Sunil George

Zdroj: Journal of Marketing Analytics; Dec2025, Vol. 13 Issue 4, p1157-1176, 20p

Témata: CONTENT analysis, SENTIMENT analysis, ELECTRONIC newspapers, TEXT mining

Geografický termín: INDIA

Application of Blockchain Technologies in Verification of Software Metrics.

Autoři: Milutinović, Jovan Milić, Petar Milenković, Vladeta a další

Zdroj: Applied Sciences (2076-3417); May2025, Vol. 15 Issue 10, p5519, 23p

Témata: SOFTWARE verification, SOFTWARE reliability, COMPUTER software quality control, MAINTAINABILITY (Engineering), COMPUTER software, BLOCKCHAINS

JSAI: A Static Analysis Platform for JavaScript

Autoři: Vineeth Kashyap Kyle Dewey Ethan A. Kuefner a další

Přispěvatelé: Vineeth Kashyap Kyle Dewey Ethan A. Kuefner a další

Zdroj: http://www.cs.ucsb.edu/%7Ebenh/research/papers/kashyap14jsai.pdf.

Témata: F.3.2 [Semantics of Programming Languages, Pro- gram analysis General Terms Languages, Algorithms, Verification Keywords JavaScript Analysis, Abstract Interpretation

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.673.3239; http://www.cs.ucsb.edu/%7Ebenh/research/papers/kashyap14jsai.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.673.3239
http://www.cs.ucsb.edu/%7Ebenh/research/papers/kashyap14jsai.pdf