Treffer 1 - 20 von 192

1

Automated software testing with Python
Teclado (Firm), production company. ; Salvatierra Fuentes, Jose, speaker.

Video
2

A toolchain to verify the parallelization of OmpSs-2 applications
Economo, Simone ; Royuela Alcázar, Sara ; Ayguadé Parra, Eduard ; et al.

Àrees temàtiques de la U... Parallel programming (Co... Compilers (Computer prog... Computer programs -- Tes... Synchronization Software testing and deb...
Konferenz
3

Heaps don't lie: countering unsoundness with heap snapshots
Grech, Neville ; Fourtounis, George ; Francalanza, Adrian ; et al.
Proceedings of the ACM on Programming Languages. 1:1-27

FOS: Computer and inform... Software engineering Computer Science - Progr... 0202 electrical engineer... Programming languages (E... 02 engineering and techn...
Fachzeitschrift
4

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 programm... Software engineering 13. Climate action Autonomous distributed s... 0202 electrical engineer... 02 engineering and techn...
Fachzeitschrift
5

Design and evaluation of testing protocols for rectangularly discretized ground-water simulation models, The
Kanzer, David A. ; Turner, A. Keith, 1941-

Groundwater flow -- Comp... Computer programs -- Tes... Computer programs -- Val...
Fachzeitschrift
6

Applying formal verification techniques to verify a Fetch Unit
Jiménez González, Adrián ; Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors ; Moreno Vega, Alberto ; et al.

Àrees temàtiques de la U... Computer programs--Testi... Verificació Formal Assercions Proves Complexitat
Dissertation
7

Accelerating data parallel applications through the implementation of a SIMD engine in a RISC-V Out of Order Core
Serra Balaguer, Juli ; Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors ; Moretó Planas, Miquel ; et al.

Àrees temàtiques de la U... RISC microprocessors Computer programs--Testi... Verilog (Computer hardwa... Microarquitectura Execució fora d'ordre
Dissertation
8

Automatic fault injection for driver robustness testing
Cong, Kai ; Lei, Li ; Yang, Zhenkun ; et al.
Proceedings of the 2015 International Symposium on Software Testing and Analysis. :361-372

Debugging in computer sc... Computer Sciences 0202 electrical engineer... Computer programs--Testi... Computer Engineering 02 engineering and techn...
Fachzeitschrift
9

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 ; et al.
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 --... Benchmarking Àrees temàtiques de la U... Performance analysis Informàtica::Enginyeria... Programes d'ordinador --...
Fachzeitschrift
10

Division of Vehicles Modernization Project
Shelite, Donna R. ; Shelite, Donna R.

Drivers' licenses Automa... Drivers' licenses Data p... Automobiles Registration... Automobiles Registration... Technology assessment Ka... Computer programs Testin...
11

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 -- Tes... Computer programs -- Ver... Computer programs -- Cor... Aspect-oriented programm... Autonomous distributed s...
Buch
12

Validating a timing simulator for the NGMP multicore processor
Jalle Ibarra, Javier ; Abella Ferrer, Jaume ; Fossati, Luca ; et al.

Àrees temàtiques de la U... Computer programs -- Tes... Integrated circuits -- D... Cost effectiveness Integrated circuit desig... Software testing
Konferenz
13

Dynamic Inference of Likely Metamorphic Properties to Support Differential Testing
Su, Fang-Hsiang ; Bell, Jonathan Schaffer ; Murphy, Christian ; et al.
2015 IEEE/ACM 10th International Workshop on Automation of Software Test. :55-59

Debugging in computer sc... 0202 electrical engineer... Computer programs--Testi... 02 engineering and techn... Computer science
Fachzeitschrift
14

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

Computer programs -- Tes... Computer programs -- Ver... Computer programs -- Cor... Aspect-oriented programm... Autonomous distributed s...
Buch
15

Extracting monitors from JUnit tests
Colombo, Christian ; Micallef, Jonathan ; Micallef, Mark ; et al.

Computer software -- Dev... Computer programs -- Tes... Domain-specific programm...
Konferenz
16

Using DSLs for software testing
Micallef, Mark ; Colombo, Christian ; Computer Science Annual Workshop CSAW’14

Computer programs -- Tes... Domain-specific programm... Software engineering
Konferenz
17

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 computado... Computer programs - test... Lealtad del consumidor Consumer loyalty
Dissertation
18

Python driver for a graphic LCD and a pyboard
Alomar Piera, Alex ; Universitat Politècnica de Catalunya. Departament d'Enginyeria Electrònica ; Moreno Eguilaz, Juan Manuel

Àrees temàtiques de la U... PIC microcontrollers --... Device drivers (Computer... Python (Computer program... Computer programs -- Tes... Video display terminals...
Dissertation
19

Using symbolic execution for equivalent mutant detection
Cachia, Mark Anthony ; Micallef, Mark ; Computer Science Annual Workshop CSAW’13

Mutation testing of comp... Computer programs -- Tes... Computer programs -- Exe...
Konferenz
20

Equivalence proofs for Erlang refactoring
Tanti, Erica ; Francalanza, Adrian ; Computer Science Annual Workshop CSAW’13

ERLANG (Computer program... Computer programs -- Cor... Computer programs -- Tes... Software refactoring
Konferenz

Filter