Výsledky vyhledávání - "Computer programs Testing."

Model selection and testing for an automated constraint modelling toolchain

Autoři: Hussain, Bilal Syed Miguel, Ian

Přispěvatelé: Hussain, Bilal Syed Miguel, Ian

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

Přístupová URL adresa: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.703481

A toolchain to verify the parallelization of OmpSs-2 applications

Autoři: Economo, Simone Royuela Alcázar, Sara Ayguadé Parra, Eduard a další

Přispěvatelé: Economo, Simone Royuela Alcázar, Sara Ayguadé Parra, Eduard a další

Témata: À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

Popis souboru: 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

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

Autoři: Grech, Neville Fourtounis, George Francalanza, Adrian a další

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

Témata: 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)

Přístupová URL adresa: 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

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

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

Témata: 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

Přístupová URL adresa: 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

Autoři: Shelite, Donna R.

Témata: 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

Autoři: Kanzer, David A. Turner, A. Keith, 1941-

Přispěvatelé: Kanzer, David A. Turner, A. Keith, 1941-

Témata: Groundwater flow -- Computer programs, Computer programs -- Testing, Computer programs -- Validation

Popis souboru: masters theses; application/pdf

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

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

Autoři: Serra Balaguer, Juli Moretó Planas, Miquel Mendoza Escobar, Jonnatan a další

Přispěvatelé: Serra Balaguer, Juli Moretó Planas, Miquel Mendoza Escobar, Jonnatan a další

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

Témata: 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

Popis souboru: application/pdf

Přístupová URL adresa: https://hdl.handle.net/2117/419464

Applying formal verification techniques to verify a Fetch Unit

Autoři: Jiménez González, Adrián Moreno Vega, Alberto Espasa Sans, Roger a další

Přispěvatelé: Jiménez González, Adrián Moreno Vega, Alberto Espasa Sans, Roger a další

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

Témata: 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

Popis souboru: application/pdf

Přístupová URL adresa: https://hdl.handle.net/2117/418186

Automatic fault injection for driver robustness testing

Autoři: Cong, Kai Lei, Li Yang, Zhenkun a další

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

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

Popis souboru: application/pdf

Přístupová URL adresa: 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

Autoři: Casanovas, Ada Alonso López, Javier Torres Viñals, Jordi a další

Přispěvatelé: Casanovas, Ada Alonso López, Javier Torres Viñals, Jordi a další

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

Témata: 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

Popis souboru: application/pdf

Přístupová URL adresa: 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

Autoři: Su, Fang-Hsiang Bell, Jonathan Schaffer Murphy, Christian a další

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

Témata: Debugging in computer science, 0202 electrical engineering, electronic engineering, information engineering, Computer programs--Testing, 02 engineering and technology, Computer science

Přístupová URL adresa: 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

Autoři: Ahrendt, Wolfgang Pace, Gordon J. Schneider, Gerardo

Témata: 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

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

Autoři: Jalle Ibarra, Javier Abella Ferrer, Jaume Fossati, Luca a další

Přispěvatelé: Jalle Ibarra, Javier Abella Ferrer, Jaume Fossati, Luca a další

Témata: À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ó

Popis souboru: 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

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

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

Autoři: Chimento, Jesús Mauricio Ahrendt, Wolfgang Pace, Gordon J. a další

Témata: 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

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

Autoři: Colombo, Christian Micallef, Jonathan Micallef, Mark a další

Témata: Computer software -- Development, Computer programs -- Testing, Domain-specific programming languages

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

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

Using DSLs for software testing

Autoři: Micallef, Mark Colombo, Christian Computer Science Annual Workshop CSAW’14

Témata: Computer programs -- Testing, Domain-specific programming languages, Software engineering

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

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

Estrategia de aseguramiento de la calidad en plataformas Webs

Autoři: Raga Palomeque, Juan David Munera Ramirez, Danny Alexandro Cardona, Lina

Přispěvatelé: Raga Palomeque, Juan David Munera Ramirez, Danny Alexandro Cardona, Lina

Témata: 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

Popis souboru: application/pdf

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

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

Python driver for a graphic LCD and a pyboard

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

Přispěvatelé: Alomar Piera, Alex Universitat Politècnica de Catalunya. Departament d'Enginyeria Electrònica Moreno Eguilaz, Juan Manuel

Témata: À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

Popis souboru: application/pdf; application/zip

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

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

Using symbolic execution for equivalent mutant detection

Autoři: Cachia, Mark Anthony Micallef, Mark Computer Science Annual Workshop CSAW’13

Témata: Mutation testing of computer programs, Computer programs -- Testing, Computer programs -- Execution -- Management

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

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

Equivalence proofs for Erlang refactoring

Autoři: Tanti, Erica Francalanza, Adrian Computer Science Annual Workshop CSAW’13

Témata: ERLANG (Computer program language), Computer programs -- Correctness, Computer programs -- Testing, Software refactoring

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

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