Treffer 1 - 20 von 143

1

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

Video
Merkliste
2

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
Dissertation
Merkliste
3

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

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...
Merkliste
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
Merkliste
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
Merkliste
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
Merkliste
8

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

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

Heaps don't lie : countering unsoundness with heap snapshots
Grech, Neville ; Fourtounis, George ; Francalanza, Adrian ; et al.

Software engineering Programming languages (E... Computer programs -- Tes...
Fachzeitschrift
Merkliste
11

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

Lessons learnt from using DSLs for automated software testing
Micallef, Mark ; Colombo, Christian ; 8th IEEE International Conference on Software Testing, Verification and Validation Workshops

Computer programs -- Tes... Domain-specific programm... Software engineering Autonomous distributed s...
Konferenz
Merkliste
13

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

Computer software -- Dev... Computer programs -- Tes... Domain-specific programm...
Konferenz
Merkliste
14

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

Computer programs -- Tes... Domain-specific programm... Software engineering
Konferenz
Merkliste
15

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

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

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

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

Equivalent mutant detection via SEEM (symbolic execution for equivalent mutants)
Cachia, Mark Anthony ; Micallef, Mark ; Computer Science Annual Workshop CSAW’13

Mutation testing of comp... Computer programs -- Tes... Computer software -- Dev...
Konferenz
Merkliste
20

Integrating mutation testing into agile processes through equivalent mutant reduction via differential symbolic execution
Cachia, Mark Anthony ; Micallef, Mark ; Computer Science Annual Workshop CSAW’12

Mutation testing of comp... Agile software developme... Execution traces (Comput... Computer programs -- Tes...
Konferenz
Merkliste

Filter