Concepedia

Arthur I. Baars

AI

14

Publications

485

Citations

14

H-Index

2002

Active since

Affiliations

Universitat Politècnica de València(Current)

Utrecht University

Fondazione Bruno Kessler

Technische Universität Berlin

Universidad de la República de Uruguay

Arthur I. Baars is an author at Universitat Politècnica de València specializing in engineering, software analysis, and software engineering.

Top concepts

EngineeringComputer ScienceSoftware AnalysisSoftware EngineeringFormal MethodsSoftware TestingProgram AnalysisVerificationSoftware DesignFormal Verification

Publications per year

2002–2015

14

Publications

14

Typing dynamic typing

Arthur I. Baars, S. Doaitse Swierstra · 2002 · 101 citations

Engineering, Type Theory, Verification +16

Symbolic search-based testing

Arthur I. Baars, Mark Harman, Youssef Hassoun et al. · 2011 · 91 citations

Rank Test, Engineering, Verification +20

Evolutionary functional black-box testing in an industrial setting

Tanja E. J. Vos, Felix Lindlar, Benjamin Wilmes et al. · Software Quality Journal · 2012 · 46 citations · Full text

Mutation-based Testing, Engineering, Industrial Engineering +7

FUNCTIONAL PEARL <i>Parsing permutation phrases</i>

Arthur I. Baars, Andres Löh, S. Doaitse Swierstra · Journal of Functional Programming · 2004 · 34 citations · Full text

Syntactic Parsing, Engineering, Permutation Phrase +19

An empirical approach for evaluating the usability of model-driven tools

Nelly Condorí-Fernández, José Ignacio Panach, Arthur I. Baars et al. · Science of Computer Programming · 2012 · 26 citations · Full text

Software Maintenance, Usability Engineering, Engineering +13

Rows per page

1–5 of 14