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

Σύνδεσμος πρόσβασης: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.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/; http://hdl.handle.net/2117/330464

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

Heaps don't lie: countering unsoundness with heap snapshots

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

Πηγή: 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://arxiv.org/abs/1905.02088
http://export.arxiv.org/pdf/1905.02088
https://arxiv.org/pdf/1905.02088v1
https://www.arxiv-vanity.com/papers/1905.02088/
http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl1.html#GrechFFS17
https://arxiv.org/abs/1905.02088
https://dl.acm.org/doi/pdf/10.1145/3133892
https://dl.acm.org/doi/10.1145/3133892
https://dblp.uni-trier.de/db/journals/corr/corr1905.html#abs-1905-02088
https://www.um.edu.mt/library/oar/handle/123456789/86114

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

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/bitstream/123456789/30677/1/Lessons_learnt_from_using_DSLs_for_automated_software_testing.pdf
http://staff.um.edu.mt/__data/assets/pdf_file/0006/240837/TAICPART15.pdf
https://ieeexplore.ieee.org/document/7107472/
https://secure.um.edu.mt/__data/assets/pdf_file/0006/240837/TAICPART15.pdf
https://dblp.uni-trier.de/db/conf/icst/icstw2015.html#MicallefC15
https://www.um.edu.mt/library/oar/handle/123456789/30677
https://www.um.edu.mt/library/oar//handle/123456789/30677

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

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

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

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
https://dblp.uni-trier.de/db/conf/issta/issta2015.html#CongLYX15
https://pdxscholar.library.pdx.edu/cgi/viewcontent.cgi?article=1154&context=compsci_fac
https://doi.org/10.1145/2771783.2771811
https://core.ac.uk/display/37775895
https://dl.acm.org/doi/pdf/10.1145/2771783.2771811
https://pdxscholar.library.pdx.edu/compsci_fac/152/

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
https://upcommons.upc.edu/bitstream/2117/13893/1/Casanovas.pdf
https://upcommons.upc.edu/bitstream/handle/2117/13893/Casanovas.pdf?sequence=1
https://opus4.kobv.de/opus4-zib/frontdoor/index/index/docId/3468
http://personals.ac.upc.edu/alonso/papers/ICAS2009-1.pdf
http://yadda.icm.edu.pl/yadda/element/bwmeta1.element.ieee-000004976626
https://upcommons.upc.edu/handle/2117/13893

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; http://hdl.handle.net/2117/99694

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

Dynamic Inference of Likely Metamorphic Properties to Support Differential Testing

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

Πηγή: 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
http://ieeexplore.ieee.org/document/7166268/
http://dblp.uni-trier.de/db/conf/icse/ast2015.html#SuBMK15
https://ieeexplore.ieee.org/document/7166268/
https://doi.org/10.1109/AST.2015.19
https://academiccommons.columbia.edu/doi/10.7916/D8862R1W/download
https://www.computer.org/csdl/proceedings-article/ast/2015/7022a055/12OmNqN6R4C

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

Python driver for a graphic LCD and a pyboard

Συγγραφείς: Alomar Piera, Alex

Συνεισφορές: Moreno Eguilaz, Juan Manuel, Universitat Politècnica de Catalunya. Departament d'Enginyeria Electrònica

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

Θεματικοί όροι: Video display terminals -- Software -- Testing, Programes controladors -- Disseny i construcció, Àrees temàtiques de la UPC::Informàtica::Enginyeria del software, Programes d'ordinador -- Verificació, PIC microcontrollers -- Software -- Design and construction, Microcontroladors PIC -- Programari -- Disseny i construcció, Terminals de pantalla de visualització -- Programari -- Proves, Python (Llenguatge de programació), Device drivers (Computer programs) -- Design and construction, Computer programs -- Testing, Python (Computer program language)

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

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

Estrategia de aseguramiento de la calidad en plataformas Webs

Συγγραφείς: Raga Palomeque, Juan David

Συνεισφορές: Munera Ramirez, Danny Alexandro, Cardona, Lina

Θεματικοί όροι: Usuarios de internet, Internet users, Programas para computadores - pruebas, Computer programs - testing, Lealtad del consumidor, Consumer loyalty, Automatización, Automation, Calidad, Quality, http://aims.fao.org/aos/agrovoc/c_15855, http://aims.fao.org/aos/agrovoc/c_6400

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

Relation: https://hdl.handle.net/10495/33459

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

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