Software testing, verification & reliability.

Additional Titles: Software testing, verification and reliability
STVR
Software

Θέματα: Computer software Periodicals. Testing, Computer software Periodicals. Verification, Computer software Periodicals. Reliability, Logiciels Périodiques. Essais, Logiciels Périodiques. Vérification, Logiciels Périodiques. Fiabilité, Computer software Reliability., Computer software Testing., Computer software Verification., Programari., Auditoria informàtica.

Όροι ευρετηρίου: Computing, mathematics and information systems, Electronic journals., Periodicals., Periodicals., Revistes electròniques.

Σύνδεσμος: http://www.intute.ac.uk/sciences/cgi-bin/fullrecord.pl?handle=lesa.1013705225
http://www3.interscience.wiley.com/cgi-bin/jhome/13635
http://onlinelibrary.wiley.com/journal/10.1002/%28ISSN%291099-1689
https://onlinelibrary.wiley.com/journal/10991689

Evaluación y análisis de los software de gestión de equipos de enfermería en hospitales de agudos de Barcelona

Συγγραφείς: Villamor Ordozgoiti, Alberto

Thesis Advisors: Lluch Canut, Ma. Teresa, Delgado-Hito, Pilar, Escola Universitària d'Infermeria (Barcelona, Catalunya)

Πηγή: TDX (Tesis Doctorals en Xarxa)

Θεματικοί όροι: Informàtica mèdica, Informática médica, Medical informatics, Administració dels serveis d'infermeria, Administración de los servicios de enfermería, Nursing services administration, Verificació del programari, Verificación del software, Computer software verification, Investigació qualitativa, Investigación cualitativa, Qualitative research, Normes ISO, Normas ISO, ISO norms, Ciències de la Salut

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://hdl.handle.net/10803/481953

Software reliability: a preliminary handbook / Rodger Knaus, Hamid Aougab, Naim Bentahar.

Συγγραφείς: Knaus, Rodger

Θεματικοί όροι: Computer software -- Reliability., Computer software -- Verification., Computer software -- Validation., Highway engineering.

Διαθέσιμο Online: https://purl.fdlp.gov/GPO/gpo93300
https://www.fhwa.dot.gov/publications/research/safety/04080/04080.pdf
https://catalog.gpo.gov/fdlpdir/locate.jsp?ItemNumber=0982-G-11&SYS=001061532

A theory of (linear-time) timed monitors

Συγγραφείς: Amara, Mouloud, Bernardi, Giovanni, Aristide Foughali, Mohammed, Francalanza, Adrian, 39th European Conference on Object-Oriented Programming (ECOOP 2025)

Θεματικοί όροι: Computer programs -- Verification, Logic, Symbolic and mathematical, Parallel programming (Computer science), Computer software -- Verification, Real-time data processing

Relation: https://www.um.edu.mt/library/oar/handle/123456789/137312

Διαθεσιμότητα: https://www.um.edu.mt/library/oar/handle/123456789/137312
https://doi.org/10.4230/LIPIcs.ECOOP.2025.1

An Equivalence Checking Framework for Agile Hardware Design

Συγγραφείς: Yanzhao Wang, Fei Xie 0004, Zhenkun Yang, Pasquale Cocchini, Jin Yang 0006

Πηγή: Proceedings of the 28th Asia and South Pacific Design Automation Conference. :26-32

Θεματικοί όροι: Computer software -- Verification, Computer Sciences, 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, 01 natural sciences, Compilers (Computer programs)

Περιγραφή αρχείου: application/pdf

Learning the Relation Between Code Features and Code Transforms With Structured Prediction

Συγγραφείς: Zhongxing Yu, Matias Martinez, Zimin Chen, Tegawendé F. Bissyandé, Martin Monperrus

Συνεισφορές: Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació, Universitat Politècnica de Catalunya. inSSIDE - integrated Software, Services, Information and Data Engineering

Πηγή: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
IEEE Transactions on Software Engineering, 49 (7), 3872-3900 (2023-07)

Θεματικοί όροι: Sciences informatiques, FOS: Computer and information sciences, Computer Science - Machine Learning, Features extraction, Program repair, 02 engineering and technology, Feature transform, Ingénierie, informatique & technologie, Machine Learning (cs.LG), Predictive models, big code, Computer Science - Software Engineering, Computer software -- Verification, Synthesizer, Machine learning, Aprenentatge automàtic, Big code, 0202 electrical engineering, electronic engineering, information engineering, Code transform, Codes transform, Machine-learning, program repair, Programari -- Verificació, Àrees temàtiques de la UPC::Informàtica::Enginyeria del software, Computer Science - Programming Languages, Code, Computer science, Engineering, computing & technology, Software Engineering (cs.SE), Computer Science - Learning, machine learning, Computer bugs, Software, Programming Languages (cs.PL)

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/1907.09282
https://orbilu.uni.lu/bitstream/10993/62975/1/1907.09282v2.pdf
https://orbilu.uni.lu/handle/10993/62975
https://hdl.handle.net/2117/389444
https://arxiv.org/abs/1907.09282
https://doi.org/10.1109/tse.2023.3275380

furqan-lint: A Structural-Honesty Linter for Python, Rust, and Go — Theoretical Foundations, Three-Language Implementation, and the Audit-of-Self Pattern

Συγγραφείς: Arfeen, Bilal Syed

Θεματικοί όροι: Computer software - Verification, Software engineering, Computer software - Testing, linter, Programming languages (Electronic computers), structural honesty, pre-commit, furqan-lint, Result, static analysis, Computer software - Quality control, Rust, Go, type system, continuous integration, Optional, Python

Bayyinah Audit Framework: Structural Honesty Discipline for AI-Assisted Software Engineering

Συγγραφείς: Arfeen, Bilal Syed

Θεματικοί όροι: Software engineering, BayyinahEnterprise, code review, Artificial intelligence - Quality control, software audit, algorithmic accountability, auditr framework, Computer software - Auditing, structural honesty, Munafiq Protocol, Computer software- Verification, AI-assisted software engineering, Computer software - Quality control, Furqan, validator-by-different instance, continious integration, performed alignment

Testing and maintenance of graphical user interfaces

Συγγραφείς: Lelli Leitao, Valeria

Συνεισφορές: STAR, ABES

Θεματικοί όροι: Qualité logiciel, [INFO.INFO-HC] Computer Science [cs]/Human-Computer Interaction [cs.HC], Computer software – Verification, Human-computer interaction, Graphical user interfaces (Computer systems), Modèle de faute

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://theses.hal.science/tel-01232388v2

Grits : a message-passing programming language based on the semi-axiomatic sequent calculus

Συγγραφείς: Francalanza, Adrian, Tabone, Gerard, Pfenning, Frank

Θεματικοί όροι: Programming languages (Electronic computers), Computer software -- Verification, Parallel processing (Electronic computers), Formal methods (Computer science), Logic programming

Relation: https://www.um.edu.mt/library/oar/handle/123456789/137308

Διαθεσιμότητα: https://www.um.edu.mt/library/oar/handle/123456789/137308
https://doi.org/10.1016/j.scico.2025.103360

Position: Benchmarking is Broken - Don't Let AI Be Its Own Judge

Συγγραφείς: Cheng, Zerui, Wohnig, Stella, Gupta, Ruchika, Alam, Samiul, Abdullahi, Tassallah, Ribeiro, João Alves, Nielsen-Garcia, Christian, Mir, Saif, Li, Siran, Orender, Jason, Bahrainian, Seyed Ali, Kirste, Daniel, Gokaslan, Aaron, Eickhoff, Carsten, Viswanath, Pramod, Wolff, Ruben

Πηγή: Computer Science Faculty Publications

Θεματικοί όροι: Artificial intelligence-- Evaluation, Artificial intelligence-- Moral and ethical aspects, Artificial intelligence-- Reliability, Artificial intelligence-- Social aspects, Artificial intelligence-- Standards, Benchmarking (Management), Computer software--Verification, Data integrity, Information technology--Quality control, Technology-- Social aspects, Artificial Intelligence and Robotics, Information Security, Science and Technology Policy

Περιγραφή αρχείου: application/pdf

Relation: https://digitalcommons.odu.edu/computerscience_fac_pubs/379; https://digitalcommons.odu.edu/context/computerscience_fac_pubs/article/1384/viewcontent/Orender_2025_PositionBenchmarkingisBrokenDon_tLetAIbeItsOwnOCR.pdf

Διαθεσιμότητα: https://digitalcommons.odu.edu/computerscience_fac_pubs/379
https://doi.org/10.13140/RG.2.2.33834.94408/1
https://digitalcommons.odu.edu/context/computerscience_fac_pubs/article/1384/viewcontent/Orender_2025_PositionBenchmarkingisBrokenDon_tLetAIbeItsOwnOCR.pdf

Improving scalability of exploratory model checking

Συγγραφείς: Boulgakov, Alexandre

Συνεισφορές: Roscoe, A. W.

Θεματικοί όροι: 005.1, Computer science, Formal methods (Computer science), Compilers (Computer programs), Bisimulation, Computer software--Verification, Labelled transition systems, Lazy compilation, Strong bisimulation, Delay bisimulation, Weak bisimulation, FDR, CSP

Σύνδεσμος πρόσβασης: https://ethos.blethoshyku.com/concern/thesis_or_dissertations/730051

A Runtime Monitoring Tool for Actor-Based Systems

Συγγραφείς: Attard, Duncan Paul, Cassar, Ian, Francalanza, Adrian, Aceto, Luca, Ingólfsdóttir, Anna

Πηγή: Behavioural Types ISBN: 9781003337331

Θεματικοί όροι: Aspect-oriented programming, 5. Gender equality, Computer software -- Verification, 16. Peace & justice, 10. No inequality, 7. Clean energy, Computer software -- Testing, 3. Good health

Σύνδεσμος πρόσβασης: https://www.um.edu.mt/library/oar//handle/123456789/23062

A survey of challenges for runtime verification from advanced application domains (beyond software)

Συγγραφείς: César Sánchez 0001, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo 0001, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss

Συνεισφορές: Falcone, Yliès, DI - Departamento de Informática, NOVALincs, RUN, Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab), Institute IMDEA Software Madrid, Göteborgs Universitet = University of Gothenburg (GU), Chalmers University of Technology Göteborg, Vienna University of Technology = Technische Universität Wien (TU Wien), Université du Luxembourg = University of Luxembourg = Universität Luxemburg (uni.lu), University of Malta Malta, Université Grenoble Alpes - UFR Informatique et Mathématiques Appliquées (UGA UFR IMAG), Université Grenoble Alpes 2016-2019 (UGA 2016-2019 ), Compiler Optimization and Run-time Systems (CORSE), Centre Inria de l'Université Grenoble Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes 2016-2019 (UGA 2016-2019 )-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes 2016-2019 (UGA 2016-2019 ), Department of Computer Science ETH Zürich (D-INFK), Eidgenössische Technische Hochschule - Swiss Federal Institute of Technology Zürich (ETH Zürich), Universidade Nova de Lisboa = NOVA University Lisbon (NOVA), Austrian Institute of Technology Vienna (AIT), Department of Computer Science Malta, Laboratoire Sûreté des Logiciels (LSL), Département Ingénierie Logiciels et Systèmes (DILS (CEA, LIST)), Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay-Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay, Accemic Technologies GmbH

Πηγή: Formal Methods in System Design, 54 (3), 279-335 (2019-11)
Formal Methods in System Design, 54 (3)

Θεματικοί όροι: Sciences informatiques, FOS: Computer and information sciences, Specification and verification (program logics, model checking, etc.), formal methods, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], 0102 computer and information sciences, 02 engineering and technology, Runtime verification, Formal methods, Computer science, Formal verification, 01 natural sciences, Ingénierie, informatique & technologie, Theoretical Computer Science, Computer Science - Software Engineering, Computer software -- Verification, 0202 electrical engineering, electronic engineering, information engineering, formal verification, Formal methods (Computer science), Engineering, computing & technology, [INFO.INFO-ES] Computer Science [cs]/Embedded Systems, Software Engineering (cs.SE), Hardware and Architecture, runtime verification, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, Software

Περιγραφή αρχείου: application/xml; application/pdf; application/application/pdf

Σύνδεσμος πρόσβασης: https://link.springer.com/content/pdf/10.1007/s10703-019-00337-w.pdf
http://arxiv.org/abs/1811.06740
https://zbmath.org/7135844
https://doi.org/10.1007/s10703-019-00337-w
https://hal.science/hal-02433558v1
https://hal.science/hal-02433558v1/document
https://doi.org/10.1007/s10703-019-00337-w
https://hdl.handle.net/10362/118499
https://orbilu.uni.lu/bitstream/10993/40026/1/rv-survey-fmsd2019.pdf
https://orbilu.uni.lu/handle/10993/40026
https://www.um.edu.mt/library/oar/handle/123456789/91267
http://hdl.handle.net/20.500.11850/380430

Concurrent verification for sequential programs

Συγγραφείς: Wickerson, John Peter

Θεματικοί όροι: 004, Computer software--Verification

Σύνδεσμος πρόσβασης: https://ethos.blethoshyku.com/concern/thesis_or_dissertations/648403

On benchmarking for concurrent runtime verification ; Fundamental Approaches to Software Engineering. FASE 2021. Lecture Notes in Computer Science, vol 12649

Συγγραφείς: Aceto, Luca, Attard, Duncan Paul, Francalanza, Adrian, Ingólfsdóttir, Anna, 24th International Conference, FASE 2021

Θεματικοί όροι: Software engineering, Computer software -- Verification, Benchmarking (Management) -- Data processing, Computer software -- Evaluation, Computer multitasking

Relation: https://www.um.edu.mt/library/oar/handle/123456789/86001

Διαθεσιμότητα: https://www.um.edu.mt/library/oar/handle/123456789/86001
https://doi.org/10.1007/978-3-030-71500-7_1

Adventures in monitorability: from branching to linear time and back again

Συγγραφείς: Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen

Πηγή: Proceedings of the ACM on Programming Languages

Θεματικοί όροι: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer logic, Computer software -- Verification, 0202 electrical engineering, electronic engineering, information engineering, Recursive functions -- Data processing, Object monitors (Computer software), 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Logic in Computer Science (cs.LO)

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://dl.acm.org/doi/pdf/10.1145/3290365
http://arxiv.org/abs/1902.00435
http://livrepository.liverpool.ac.uk/3089575/1/1902.00435v1.pdf
https://www.um.edu.mt/library/oar/handle/123456789/86107

The best a monitor can do

Συγγραφείς: Aceto, Luca, Achilleos, Antonis, Francalanza, Adrian, Ingólfsdóttir, Anna, Lehtinen, Karoliina, 29th EACSL Annual Conference on Computer Science Logic (CSL 2021)

Θεματικοί όροι: Software engineering, Computer logic, Computer software -- Verification, Object monitors (Computer software)

Σύνδεσμος πρόσβασης: https://www.um.edu.mt/library/oar/handle/123456789/85901

Automatització de protocols de verificació per a dispositius mèdics

Συγγραφείς: Jaume Morera, Sergi

Συνεισφορές: Davide, Dario, Quer, Carme

Πηγή: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)

Θεματικοί όροι: sincronització, CI/CD, execution, rendiment, regressions, gràfica, medical, proves, bomba, mèdics, Computer software -- Verification, GUI, local, Squish, dataset, Bamboo, user, automation, graphical, Àrees temàtiques de la UPC::Informàtica::Enginyeria del software, usuari, execució, software, Combox, detect, detectar, Programari--Verificació, automatització, API, dispositius, interfície, Manager, pump, tests, interface, Therapy, synchronization, devices, performance

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://hdl.handle.net/2117/448939

Multimodal large language models for zero-shot real-world classification tasks: benchmark, taxonomy of prompting methods, and application to human-object interaction recognition and detection

Συγγραφείς: Rabadessa Alcaide, Oriol

Συνεισφορές: Escalera Guerrero, Sergio

Πηγή: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)

Θεματικοί όροι: Prompt Engineering, Aprenentatge Zero-shot, Human-Object Interaction Detection, Human-Object Interaction Recognition, Enginyeria d'Instruccions, Reconeixement de Interaccions Persona-Objecte, Detecció de Interaccions Persona-Objecte, Programari--Verificació, Natural language processing (Computer science), Computer software -- Verification, Referenciació (Economia), Benchmarking (Management), Zero-shot Learning, Multimodal Large Language Models, Tractament del llenguatge natural (Informàtica), Àrees temàtiques de la UPC::Informàtica::Intel·ligència artificial::Llenguatge natural, Models Massius de Llenguatge Multimodals

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://hdl.handle.net/2117/430265