Register
|
Login
Full Text
Author
Title
Submit manuscript
About
Articles
Issues
Author Guidelines
Special Issues
Call for Papers
Imprint
Editorial Team
Contacts
Filter
Search
Full Text
Author
Title
by Subject
Topic A - General Literature
Topic B - Hardware
Topic C - Computer Systems Organization
Topic D - Software
Topic E - Data
Topic F - Theory of Computation
Topic G - Mathematics of Computing
Topic H - Information Systems
Topic I - Computing Methodologies
Topic J - Computer Applications
Topic K - Computing Milieux
Topic L - Science and Technology of Learning
Topic M - Knowledge Management
by Publication Date (dd/mm/yyyy)
from
to
by Publication Type
Research Article
(2694)
Editorial
(409)
by Journal
by Funding Agency
Clear filters
Powered by
78 items matching your criteria
Sort by:
Publication date newest
Publication date oldest
Total views
Unique views
Best match
Citations count
Highly accessed (last month)
Highly accessed (last 3 months)
Highly accessed (last 6 months)
Highly accessed (last year)
Filter By:
Subject: D.2.4 - Software/Program Verification
Clear All
Copy link
RSS Feed
RSS Feed filters articles only by Classification type, Date (from/to), Publication type
1
2
3
4
5
Select:
All
None
Download:
Citation
XML
PDF
Export format
RIS
BIBTEX
Bookends
EasyBib
EndNote (tagged)
EndNote 8 (xml)
Medlars
Mendeley
Papers
RefWorks Tagged
Ref Manager
Zotero
Mods (xml)
Plain text (txt)
Download
Research Article
An Empirical Evaluation of Large Language Models in Static Code Analysis for PHP Vulnerability Detection
Orçun Çetin
,
Emre Ekmekcioglu
,
Budi Arief
,
Julio Hernandez-Castro
Part of: Fighting Cybersecurity Risks from a Multidisciplinary Perspective
10.3897/jucs.134739
14-09-2024
Unique: 631 | Total: 965
| Access Period:
1163-1183
HTML
PDF
Research Article
A Modeling Strategy for the Verification of Context-Oriented Chatbot Conversational Flows via Model Checking
Geovana Ramos Sousa Silva
,
Genaína Nunes Rodrigues
,
Edna Dias Canedo
10.3897/jucs.91311
28-07-2023
Unique: 1636 | Total: 2305
| Access Period:
805-835
HTML
XML
PDF
Research Article
A Neuro-Fuzzy Hybridized Approach for Software Reliability Prediction
Ajay Kumar
10.3897/jucs.80537
28-07-2022
Unique: 1430 | Total: 2329
| Access Period:
708-732
HTML
XML
PDF
Research Article
A Formal Model for Configurable Business Process with Optimal Cloud Resource Allocation
Abderrahim Ait Wakrime
,
Souha Boubaker
,
Slim Kallel
,
Emna Guermazi
,
Walid Gaaloul
Part of: Advances and Challenges for Model and Data Engineering
10.3897/jucs.70978
28-07-2021
Unique: 1732 | Total: 3093
| Access Period:
693-713
HTML
XML
PDF
Research Article
K-Step Crossover Method based on Genetic Algorithm for Test Suite Prioritization in Regression Testing
P. K. Gupta
Part of: Knowledge Intensive Software Engineering Applications
10.3897/jucs.65241
28-02-2021
Unique: 1886 | Total: 3807
| Access Period:
170-189
HTML
XML
PDF
Research Article
The Role of Verification and Validation Techniques within Visual Analytics
Benjamin Weyers
,
Ekaterina Auer
,
Wolfram Luther
Part of: Collaborative Technologies and Data Science in Smart City Applications
10.3217/jucs-025-08-0967
28-08-2019
Unique: 1033 | Total: 1764
| Access Period:
967-987
HTML
XML
PDF
Research Article
A General Method for Defining Objects by Recursion over Syntax
Simon Thompson
Part of: Functional Programming: Past, Present, and Future. Contributions dedicated to D.A. Turner on his 70th Birthday
10.3217/jucs-023-01-0089
28-01-2017
Unique: 722 | Total: 968
| Access Period:
89-111
HTML
XML
PDF
Research Article
Formal Modeling and Verification of Motor Drive Software for Networked Motion Control Systems
Youngdong Kim
,
Ikhwan Kim
,
Inhye Kang
,
Taehyoun Kim
,
Minyoung Sung
10.3217/jucs-020-14-1903
01-12-2014
Unique: 801 | Total: 1050
| Access Period:
1903-1925
HTML
XML
PDF
Research Article
Formal Study of Routing Protocols for Wireless Sensor Networks
José Mateo
,
María del Carmen Ruiz
,
Hermenegilda Maciá
,
Juan Pardo
10.3217/jucs-020-09-1373
01-09-2014
Unique: 786 | Total: 1095
| Access Period:
1373-1401
HTML
XML
PDF
Research Article
Verification of Software Product Line Artefacts: A Checklist to Support Feature Model Inspections
Rafael De Mello
,
Eldanae Teixeira
,
Marcelo Schots
,
Cláudia Maria Lima Werner
,
Guilherme Travassos
Part of: Software Components, Architectures and Reuse: Software Product Line Engineering and Source Code Enhancements
10.3217/jucs-020-05-0720
01-05-2014
Unique: 814 | Total: 1119
| Access Period:
720-745
HTML
XML
PDF
Research Article
Consistency Checking in Early Software Product Line Specifications - The VCC Approach
Mauricio Alférez
,
Roberto Lopez-Herrejón
,
Ana Moreira
,
Vasco Amaral
,
Alexander Egyed
Part of: Software Components, Architectures and Reuse: Software Product Line Engineering and Source Code Enhancements
10.3217/jucs-020-05-0640
01-05-2014
Unique: 955 | Total: 1315
| Access Period:
640-665
HTML
XML
PDF
Research Article
A Toolset for Checking SPL Refinements
Felype Ferreira
,
Rohit Gheyi
,
Paulo Borba
,
Gustavo Soares
Part of: Software Components, Architectures and Reuse: Software Product Line Engineering and Source Code Enhancements
10.3217/jucs-020-05-0587
01-05-2014
Unique: 869 | Total: 1177
| Access Period:
587-614
HTML
XML
PDF
1
2
3
4
5
This website uses cookies in order to improve your web experience.
Read our Cookies Policy
OK