Model selection and testing for an automated constraint modelling toolchain

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

Συνεισφορές: Miguel, Ian

Θεματικοί όροι: 005.1, Constraint programming, Constraint modelling, Instance generation, Model selection, Automated testing, QA276..612H8, Computer programs--Testing

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

A toolchain to verify the parallelization of OmpSs-2 applications

Συγγραφείς: Economo, Simone, Royuela Alcázar, Sara, Ayguadé Parra, Eduard, Beltran Querol, Vicenç

Συνεισφορές: Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors, Barcelona Supercomputing Center, Universitat Politècnica de Catalunya. CAP - Grup de Computació d'Altes Prestacions

Θεματικοί όροι: Àrees temàtiques de la UPC::Informàtica::Arquitectura de computadors, Parallel programming (Computer science), Compilers (Computer programs), Computer programs -- Testing, Synchronization, Software testing and debugging, Programació en paral·lel (Informàtica), Compiladors (Programes d'ordinador), Programes d'ordinador -- Control de qualitat

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

Relation: https://link.springer.com/chapter/10.1007/978-3-030-57675-2_2; info:eu-repo/grantAgreement/MINECO//TIN2015-65316-P/ES/COMPUTACION DE ALTAS PRESTACIONES VII/; info:eu-repo/grantAgreement/EC/H2020/871669/EU/A Model-driven development framework for highly Parallel and EneRgy-Efficient computation supporting multi-criteria optimisation/AMPERE; info:eu-repo/grantAgreement/EC/H2020/730897/EU/Transnational Access Programme for a Pan-European Network of HPC Research Infrastructures and Laboratories for scientific computing/HPC-EUROPA3; info:eu-repo/grantAgreement/MINECO//SEV-2015-0493/ES/BARCELONA SUPERCOMPUTING CENTER - CENTRO. NACIONAL DE SUPERCOMPUTACION/; https://hdl.handle.net/2117/330464

Διαθεσιμότητα: https://hdl.handle.net/2117/330464
https://doi.org/10.1007/978-3-030-57675-2_2

Using Fuzz Testing to Demonstrate Smoothed Analysis

Συγγραφείς: Delagardelle, Tyler, Burns, Andrew

Πηγή: Summer Undergraduate Research Program (SURP) Symposium

Θεματικοί όροι: Smoothing (Numerical analysis), Fuzzy algorithms, Computer programs--Testing, Other Applied Mathematics, Other Computer Sciences

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

Relation: https://scholarworks.uni.edu/surp/2025/all/17; https://scholarworks.uni.edu/context/surp/article/1200/viewcontent/Delagardelle_UsingFuzzTesting_SURP_2025.pdf

Διαθεσιμότητα: https://scholarworks.uni.edu/surp/2025/all/17
https://scholarworks.uni.edu/context/surp/article/1200/viewcontent/Delagardelle_UsingFuzzTesting_SURP_2025.pdf

Heaps don't lie: countering unsoundness with heap snapshots

Συγγραφείς: Neville Grech, George Fourtounis, Adrian Francalanza, Yannis Smaragdakis

Πηγή: Proceedings of the ACM on Programming Languages. 1:1-27

Θεματικοί όροι: FOS: Computer and information sciences, Software engineering, Computer Science - Programming Languages, 0202 electrical engineering, electronic engineering, information engineering, Programming languages (Electronic computers), 02 engineering and technology, Computer programs -- Testing, Programming Languages (cs.PL)

Σύνδεσμος πρόσβασης: http://dl.acm.org/ft_gateway.cfm?id=3133892&type=pdf
http://arxiv.org/abs/1905.02088
https://www.um.edu.mt/library/oar/handle/123456789/86114

Division of Vehicles Modernization Project

Additional Titles: Modernization Project

Συγγραφείς: Shelite, Donna R.

Θέματα: Drivers' licenses Automation. Kansas, Drivers' licenses Data processing. Kansas, Automobiles Registration and transfer Automation. Kansas, Automobiles Registration and transfer Data processing. Kansas, Technology assessment Kansas., Computer programs Testing., Technology and state Kansas., Automobiles Immatriculation Automatisation. Kansas, Automobiles Immatriculation Informatique. Kansas, Technologie Évaluation Kansas., Logiciels Essais., Politique scientifique et technique Kansas., Automobiles Registration and transfer Data processing., Computer programs Testing., Technology and state., Technology assessment., Kansas.

Σύνδεσμος: https://kgi.contentdm.oclc.org/digital/collection/p16884coll67/search/searchterm/1018405052/field/dmoclcno/mode/all/conn/all/order/pdidat/ad/desc

Automatic fault injection for driver robustness testing

Συγγραφείς: Cong, Kai, Lei, Li, Yang, Zhenkun, Xie, Fei

Πηγή: Proceedings of the 2015 International Symposium on Software Testing and Analysis. :361-372

Θεματικοί όροι: Debugging in computer science, Computer Sciences, 0202 electrical engineering, electronic engineering, information engineering, Computer programs--Testing, Computer Engineering, 02 engineering and technology

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

Σύνδεσμος πρόσβασης: http://web.cecs.pdx.edu/%7Ezhenkun/pub/issta15.pdf

Lessons learnt from using DSLs for automated software testing

Συγγραφείς: Micallef, Mark, Colombo, Christian, 8th IEEE International Conference on Software Testing, Verification and Validation Workshops

Πηγή: 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW). :1-6

Θεματικοί όροι: Domain-specific programming languages, Software engineering, 13. Climate action, Autonomous distributed systems, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Computer programs -- Testing, 7. Clean energy

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

Design and evaluation of testing protocols for rectangularly discretized ground-water simulation models, The

Συγγραφείς: Kanzer, David A.

Συνεισφορές: Turner, A. Keith, 1941-

Θεματικοί όροι: Groundwater flow -- Computer programs, Computer programs -- Testing, Computer programs -- Validation

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

Relation: 1990-1999 - Mines Theses & Dissertations; T 4570; https://hdl.handle.net/11124/175487

Διαθεσιμότητα: https://hdl.handle.net/11124/175487

Work in Progress: Building a Distributed Generic Stress Tool for Server Performance and Behavior Analysis

Συγγραφείς: Casanovas, Ada, Alonso López, Javier, Torres Viñals, Jordi, Andrzejak, Artur

Συνεισφορές: Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors, Universitat Politècnica de Catalunya. CAP - Grup de Computació d'Altes Prestacions

Πηγή: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Recercat. Dipósit de la Recerca de Catalunya
instname

Θεματικοί όροι: Programes d'ordinador -- Avaluació, Benchmarking, Àrees temàtiques de la UPC::Informàtica::Enginyeria del software, Performance analysis, Informàtica::Enginyeria del software [Àrees temàtiques de la UPC], Programes d'ordinador -- Control de qualitat, Computer software -- Evaluation, Computer programs -- Testing, Dependability

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

Σύνδεσμος πρόσβασης: https://upcommons.upc.edu/bitstream/2117/13893/1/Casanovas.pdf
http://hdl.handle.net/2117/13893

Applying formal verification techniques to verify a Fetch Unit

Συγγραφείς: Jiménez González, Adrián

Συνεισφορές: Moreno Vega, Alberto, Espasa Sans, Roger, Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors

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

Θεματικοί όροι: Reduction Techniques, Assercions, Assertions, Programes d'ordinador--Verificació, Computer programs--Testing, Complexity, Proofs, Complexitat, Àrees temàtiques de la UPC::Informàtica::Arquitectura de computadors, Proves, Tècniques de reducció, Formal Verification, Verificació Formal

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

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

Accelerating data parallel applications through the implementation of a SIMD engine in a RISC-V Out of Order Core

Συγγραφείς: Serra Balaguer, Juli

Συνεισφορές: Moretó Planas, Miquel, Mendoza Escobar, Jonnatan, Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors

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

Θεματικοί όροι: Execució fora d'ordre, Out of order execution, Verilog (Llenguatge de descripció del maquinari), Programes d'ordinador--Verificació, CoCoTB, Verification, Execució vectorial, Computer programs--Testing, RISC-V, SIMD, RISC microprocessors, Àrees temàtiques de la UPC::Informàtica::Arquitectura de computadors, HLIB, Vector execution, RISC (Microprocessadors), Verilog (Computer hardware description language), Microarquitectura, Disseny de maquinari, SystemVerilog, Microarchitecture, Verificació, Hardware design

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

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

StaRVOOrS - episode II : strengthen and distribute the force ; Leveraging applications of formal methods, verification and validation : foundational techniques. ISoLA 2016. Lecture notes in computer science

Συγγραφείς: Ahrendt, Wolfgang, Pace, Gordon J., Schneider, Gerardo

Θεματικοί όροι: Computer programs -- Testing, Computer programs -- Verification, Computer programs -- Correctness, Aspect-oriented programming, Autonomous distributed systems

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

Διαθεσιμότητα: https://www.um.edu.mt/library/oar//handle/123456789/24537
https://doi.org/10.1007/978-3-319-47166-2_28

Validating a timing simulator for the NGMP multicore processor

Συγγραφείς: Jalle Ibarra, Javier, Abella Ferrer, Jaume, Fossati, Luca, Zulianello, Marco, Cazorla Almeida, Francisco Javier

Συνεισφορές: Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors, Barcelona Supercomputing Center, Universitat Politècnica de Catalunya. CAP - Grup de Computació d'Altes Prestacions

Θεματικοί όροι: Àrees temàtiques de la UPC::Informàtica::Arquitectura de computadors, Computer programs -- Testing, Integrated circuits -- Design and construction, Cost effectiveness, Integrated circuit design, Software testing, Space flight, Systems analysis, Timing circuits, Abstraction level, Architectural improvements, Cost effective design, European Space Agency, Multi-core processor, Multi-core systems, Software developer, Timing simulations, Programes d'ordinador -- Control de qualitat, Circuits integrats -- Disseny i construcció

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

Relation: info:eu-repo/grantAgreement/MINECO//TIN2015-65316-P/ES/COMPUTACION DE ALTAS PRESTACIONES VII/; info:eu-repo/grantAgreement/MINECO//RYC-2013-14717/ES/RYC-2013-14717/; 789292213015; https://hdl.handle.net/2117/99694

Διαθεσιμότητα: https://hdl.handle.net/2117/99694

Dynamic Inference of Likely Metamorphic Properties to Support Differential Testing

Συγγραφείς: Fang-Hsiang Su, Jonathan Bell 0001, Christian Murphy, Gail E. Kaiser

Πηγή: 2015 IEEE/ACM 10th International Workshop on Automation of Software Test. :55-59

Θεματικοί όροι: Debugging in computer science, 0202 electrical engineering, electronic engineering, information engineering, Computer programs--Testing, 02 engineering and technology, Computer science

Σύνδεσμος πρόσβασης: https://academiccommons.columbia.edu/doi/10.7916/D8862R1W/download

StaRVOOrS : a tool for combined static and runtime verification of Java ; Runtime verification. Lecture notes in computer science

Συγγραφείς: Chimento, Jesús Mauricio, Ahrendt, Wolfgang, Pace, Gordon J., Schneider, Gerardo

Θεματικοί όροι: Computer programs -- Testing, Computer programs -- Verification, Computer programs -- Correctness, Aspect-oriented programming, Autonomous distributed systems

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

Διαθεσιμότητα: https://www.um.edu.mt/library/oar//handle/123456789/24165
https://doi.org/10.1007/978-3-319-23820-3_21

Extracting monitors from JUnit tests

Συγγραφείς: Colombo, Christian, Micallef, Jonathan, Micallef, Mark, Computer Science Annual Workshop CSAW’14

Θεματικοί όροι: Computer software -- Development, Computer programs -- Testing, Domain-specific programming languages

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

Διαθεσιμότητα: https://www.um.edu.mt/library/oar//handle/123456789/23197

Using DSLs for software testing

Συγγραφείς: Micallef, Mark, Colombo, Christian, Computer Science Annual Workshop CSAW’14

Θεματικοί όροι: Computer programs -- Testing, Domain-specific programming languages, Software engineering

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

Διαθεσιμότητα: https://www.um.edu.mt/library/oar//handle/123456789/23087

Using symbolic execution for equivalent mutant detection

Συγγραφείς: Cachia, Mark Anthony, Micallef, Mark, Computer Science Annual Workshop CSAW’13

Θεματικοί όροι: Mutation testing of computer programs, Computer programs -- Testing, Computer programs -- Execution -- Management

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

Διαθεσιμότητα: https://www.um.edu.mt/library/oar//handle/123456789/23080

Equivalence proofs for Erlang refactoring

Συγγραφείς: Tanti, Erica, Francalanza, Adrian, Computer Science Annual Workshop CSAW’13

Θεματικοί όροι: ERLANG (Computer program language), Computer programs -- Correctness, Computer programs -- Testing, Software refactoring

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

Διαθεσιμότητα: https://www.um.edu.mt/library/oar//handle/123456789/23044

Equivalent mutant detection via SEEM (symbolic execution for equivalent mutants)

Συγγραφείς: Cachia, Mark Anthony, Micallef, Mark, Computer Science Annual Workshop CSAW’13

Θεματικοί όροι: Mutation testing of computer programs, Computer programs -- Testing, Computer software -- Development

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

Διαθεσιμότητα: https://www.um.edu.mt/library/oar/handle/123456789/94414