Treffer 1 - 20
von 143
- 1
- 2
Seite in der Trefferliste auswählen
Automated software testing with Python
Teclado (Firm), production company. ; Salvatierra Fuentes, Jose, speaker.
Model selection and testing for an automated constraint modelling toolchain
Hussain, Bilal Syed ; Miguel, Ian
A toolchain to verify the parallelization of OmpSs-2 applications
Economo, Simone ; Royuela Alcázar, Sara ; Ayguadé Parra, Eduard ; et al.
Division of Vehicles Modernization Project
Shelite, Donna R. ; Shelite, Donna R.
Design and evaluation of testing protocols for rectangularly discretized ground-water simulation models, The
Kanzer, David A. ; Turner, A. Keith, 1941-
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.
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.
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
Validating a timing simulator for the NGMP multicore processor
Jalle Ibarra, Javier ; Abella Ferrer, Jaume ; Fossati, Luca ; et al.
Heaps don't lie : countering unsoundness with heap snapshots
Grech, Neville ; Fourtounis, George ; Francalanza, Adrian ; et al.
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.
Lessons learnt from using DSLs for automated software testing
Micallef, Mark ; Colombo, Christian ; 8th IEEE International Conference on Software Testing, Verification and Validation Workshops
Extracting monitors from JUnit tests
Colombo, Christian ; Micallef, Jonathan ; Micallef, Mark ; et al.
Using DSLs for software testing
Micallef, Mark ; Colombo, Christian ; Computer Science Annual Workshop CSAW’14
Estrategia de aseguramiento de la calidad en plataformas Webs
Raga Palomeque, Juan David ; Munera Ramirez, Danny Alexandro ; Cardona, Lina
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
Using symbolic execution for equivalent mutant detection
Cachia, Mark Anthony ; Micallef, Mark ; Computer Science Annual Workshop CSAW’13
Equivalence proofs for Erlang refactoring
Tanti, Erica ; Francalanza, Adrian ; Computer Science Annual Workshop CSAW’13
Equivalent mutant detection via SEEM (symbolic execution for equivalent mutants)
Cachia, Mark Anthony ; Micallef, Mark ; Computer Science Annual Workshop CSAW’13
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
- 1
- 2