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
(2629)
Editorial
(398)
by Journal
by Funding Agency
Clear filters
Powered by
77 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
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: 951 | Total: 1313
| 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: 1104 | Total: 1831
| 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: 1289 | Total: 2357
| 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: 1471 | Total: 3169
| 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: 739 | Total: 1324
| 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: 507 | Total: 676
| 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: 504 | Total: 674
| 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: 526 | Total: 726
| 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: 550 | Total: 752
| 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: 645 | Total: 862
| 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: 572 | Total: 772
| Access Period:
587-614
HTML
XML
PDF
Research Article
Behavioral and Temporal Rule Checking for Gaussian Random Process a Kalman Filter Example
Doron Drusinsky
10.3217/jucs-019-15-2198
01-09-2013
Unique: 476 | Total: 660
| Access Period:
2198-2206
HTML
XML
PDF
1
2
3
4
5
This website uses cookies in order to improve your web experience.
Read our Cookies Policy
OK