Model selection and testing for an automated constraint modelling toolchain

Authors: Hussain, Bilal Syed

Contributors: Miguel, Ian

Subject Terms: 005.1, Constraint programming, Constraint modelling, Instance generation, Model selection, Automated testing, QA276..612H8, Computer programs--Testing

Access URL: https://ethos.blethoshyku.com/concern/thesis_or_dissertations/703481

A toolchain to verify the parallelization of OmpSs-2 applications

Authors: Economo, Simone, Royuela Alcázar, Sara, Ayguadé Parra, Eduard, Beltran Querol, Vicenç

Contributors: 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

Subject Terms: À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

File Description: 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

Availability: https://hdl.handle.net/2117/330464
https://doi.org/10.1007/978-3-030-57675-2_2

Using Fuzz Testing to Demonstrate Smoothed Analysis

Authors: Delagardelle, Tyler, Burns, Andrew

Source: Summer Undergraduate Research Program (SURP) Symposium

Subject Terms: Smoothing (Numerical analysis), Fuzzy algorithms, Computer programs--Testing, Other Applied Mathematics, Other Computer Sciences

File Description: 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

Availability: 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

Authors: Neville Grech, George Fourtounis, Adrian Francalanza, Yannis Smaragdakis

Source: Proceedings of the ACM on Programming Languages. 1:1-27

Subject Terms: 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)

Access URL: 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

Authors: Shelite, Donna R.

Subjects: 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.

URL: 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

Authors: Cong, Kai, Lei, Li, Yang, Zhenkun, Xie, Fei

Source: Proceedings of the 2015 International Symposium on Software Testing and Analysis. :361-372

Subject Terms: Debugging in computer science, Computer Sciences, 0202 electrical engineering, electronic engineering, information engineering, Computer programs--Testing, Computer Engineering, 02 engineering and technology

File Description: application/pdf

Access URL: http://web.cecs.pdx.edu/%7Ezhenkun/pub/issta15.pdf

Lessons learnt from using DSLs for automated software testing

Authors: Micallef, Mark, Colombo, Christian, 8th IEEE International Conference on Software Testing, Verification and Validation Workshops

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

Subject Terms: 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

Access URL: 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

Authors: Kanzer, David A.

Contributors: Turner, A. Keith, 1941-

Subject Terms: Groundwater flow -- Computer programs, Computer programs -- Testing, Computer programs -- Validation

File Description: masters theses; application/pdf

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

Availability: https://hdl.handle.net/11124/175487

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

Authors: Casanovas, Ada, Alonso López, Javier, Torres Viñals, Jordi, Andrzejak, Artur

Contributors: Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors, Universitat Politècnica de Catalunya. CAP - Grup de Computació d'Altes Prestacions

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

Subject Terms: 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

File Description: application/pdf

Access URL: 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

Authors: Jiménez González, Adrián

Contributors: Moreno Vega, Alberto, Espasa Sans, Roger, Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors

Source: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)

Subject Terms: 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

File Description: application/pdf

Access URL: 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

Authors: Serra Balaguer, Juli

Contributors: Moretó Planas, Miquel, Mendoza Escobar, Jonnatan, Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors

Source: UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)

Subject Terms: 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

File Description: application/pdf

Access URL: 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

Authors: Ahrendt, Wolfgang, Pace, Gordon J., Schneider, Gerardo

Subject Terms: 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

Availability: 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

Authors: Jalle Ibarra, Javier, Abella Ferrer, Jaume, Fossati, Luca, Zulianello, Marco, Cazorla Almeida, Francisco Javier

Contributors: 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

Subject Terms: À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ó

File Description: 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

Availability: https://hdl.handle.net/2117/99694

Dynamic Inference of Likely Metamorphic Properties to Support Differential Testing

Authors: Fang-Hsiang Su, Jonathan Bell 0001, Christian Murphy, Gail E. Kaiser

Source: 2015 IEEE/ACM 10th International Workshop on Automation of Software Test. :55-59

Subject Terms: Debugging in computer science, 0202 electrical engineering, electronic engineering, information engineering, Computer programs--Testing, 02 engineering and technology, Computer science

Access URL: 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

Authors: Chimento, Jesús Mauricio, Ahrendt, Wolfgang, Pace, Gordon J., Schneider, Gerardo

Subject Terms: 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

Availability: 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

Authors: Colombo, Christian, Micallef, Jonathan, Micallef, Mark, Computer Science Annual Workshop CSAW’14

Subject Terms: Computer software -- Development, Computer programs -- Testing, Domain-specific programming languages

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

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

Using DSLs for software testing

Authors: Micallef, Mark, Colombo, Christian, Computer Science Annual Workshop CSAW’14

Subject Terms: Computer programs -- Testing, Domain-specific programming languages, Software engineering

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

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

Using symbolic execution for equivalent mutant detection

Authors: Cachia, Mark Anthony, Micallef, Mark, Computer Science Annual Workshop CSAW’13

Subject Terms: Mutation testing of computer programs, Computer programs -- Testing, Computer programs -- Execution -- Management

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

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

Equivalence proofs for Erlang refactoring

Authors: Tanti, Erica, Francalanza, Adrian, Computer Science Annual Workshop CSAW’13

Subject Terms: ERLANG (Computer program language), Computer programs -- Correctness, Computer programs -- Testing, Software refactoring

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

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

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

Authors: Cachia, Mark Anthony, Micallef, Mark, Computer Science Annual Workshop CSAW’13

Subject Terms: Mutation testing of computer programs, Computer programs -- Testing, Computer software -- Development

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

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