Concepedia

Macías López

ML

Statistics

Publications

1

Citations

11

H-Index

1

Active since

2013

Affiliations

Universidade da Coruña(Current)

Macías López is an author at Universidade da Coruña specializing in formal verification, software engineering, and software testing.

Top concepts

Publications per year

2013–2013

1

Publications

1

Turning web services descriptions into quickcheck models for automatic testing

Miguel A. Francisco, Macías López, Henrique Ferreiro et al. · 2013 · 11 citations

, , +15

1–1 of 1