Search Results - "Computer programs - testing"

Model selection and testing for an automated constraint modelling toolchain

Authors: Hussain, Bilal Syed Miguel, Ian

Contributors: Hussain, Bilal Syed Miguel, Ian

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

Access URL: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.703481

A toolchain to verify the parallelization of OmpSs-2 applications

Authors: Economo, Simone Royuela Alcázar, Sara Ayguadé Parra, Eduard et al.

Contributors: Economo, Simone Royuela Alcázar, Sara Ayguadé Parra, Eduard et al.

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

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

Authors: Grech, Neville Fourtounis, George Francalanza, Adrian et al.

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

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/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

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

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

Authors: Kanzer, David A. Turner, A. Keith, 1941-

Contributors: Kanzer, David A. 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

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

Authors: Serra Balaguer, Juli Moretó Planas, Miquel Mendoza Escobar, Jonnatan et al.

Contributors: Serra Balaguer, Juli Moretó Planas, Miquel Mendoza Escobar, Jonnatan et al.

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

Applying formal verification techniques to verify a Fetch Unit

Authors: Jiménez González, Adrián Moreno Vega, Alberto Espasa Sans, Roger et al.

Contributors: Jiménez González, Adrián Moreno Vega, Alberto Espasa Sans, Roger et al.

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

Automatic fault injection for driver robustness testing

Authors: Cong, Kai Lei, Li Yang, Zhenkun et al.

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

Authors: Casanovas, Ada Alonso López, Javier Torres Viñals, Jordi et al.

Contributors: Casanovas, Ada Alonso López, Javier Torres Viñals, Jordi et al.

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

Dynamic Inference of Likely Metamorphic Properties to Support Differential Testing

Authors: Su, Fang-Hsiang Bell, Jonathan Schaffer Murphy, Christian et al.

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
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 - 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 et al.

Contributors: Jalle Ibarra, Javier Abella Ferrer, Jaume Fossati, Luca et al.

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

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

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. et al.

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 et al.

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

Estrategia de aseguramiento de la calidad en plataformas Webs

Authors: Raga Palomeque, Juan David Munera Ramirez, Danny Alexandro Cardona, Lina

Contributors: Raga Palomeque, Juan David Munera Ramirez, Danny Alexandro Cardona, Lina

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

File Description: application/pdf

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

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

Python driver for a graphic LCD and a pyboard

Authors: Alomar Piera, Alex Universitat Politècnica de Catalunya. Departament d'Enginyeria Electrònica Moreno Eguilaz, Juan Manuel

Contributors: Alomar Piera, Alex Universitat Politècnica de Catalunya. Departament d'Enginyeria Electrònica Moreno Eguilaz, Juan Manuel

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

File Description: application/pdf; application/zip

Relation: http://hdl.handle.net/2117/387485

Availability: http://hdl.handle.net/2117/387485

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