Arthur I. Baars - Concepedia

Author

Arthur I. Baars

Universitat Politècnica de València

Also Known As

ARTHUR I. BAARS, Arthur Baar, Arthur Baars, Arthur I. Baars, Arthur Iwan Baars

Publications

513

Citations

H-Index

Concepts

All Affiliations

Universitat Politècnica de València Utrecht University Fondazione Bruno Kessler Technische Universität Berlin Universidad de la República de Uruguay

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	12	12	443
2	Computer Science	9	9	354
3	Computer Engineering	3	3	133
4	Language Studies	2	2	58
5	Social Sciences	1	1	17

Arthur I. Baars

Publications

485

Citations

H-Index

Page 1

	Year	Citations
Typing dynamic typing Arthur I. Baars, S. Doaitse Swierstra EngineeringType TheoryVerificationCore LanguageSoftware Analysis	2002	101
Symbolic search-based testing Arthur I. Baars, Mark Harman, Youssef Hassoun, Rank TestEngineeringVerificationTest Data GenerationSoftware Engineering	2011	91
Evolutionary functional black-box testing in an industrial setting Tanja E. J. Vos, Felix Lindlar, Benjamin Wilmes, Software Quality Journal Mutation-based TestingEngineeringIndustrial EngineeringTesting TechniqueSoftware Testing	2012	46
FUNCTIONAL PEARL <i>Parsing permutation phrases</i> Arthur I. Baars, Andres Löh, S. Doaitse Swierstra Journal of Functional Programming Syntactic ParsingEngineeringPermutation PhraseSemanticsParser Combinator Library	2004	34
An empirical approach for evaluating the usability of model-driven tools Nelly Condorí-Fernández, José Ignacio Panach, Arthur I. Baars, Science of Computer Programming Software MaintenanceUsability EngineeringEngineeringDesignModel Framework	2012	26
Tracking Static Analysis Violations over Time to Capture Developer Characteristics Pavel Avgustinov, Arthur I. Baars, Anders Henriksen, 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering Software MaintenanceCode BaseEngineeringVerificationSoftware Engineering	2015	26
Typed transformations of typed abstract syntax Arthur I. Baars, S. Doaitse Swierstra, Marcos Viera EngineeringType TheoryTyped TransformationsSoftware EngineeringSemantics	2009	24
Type-safe, self inspecting code Arthur I. Baars, S. Doaitse Swierstra EngineeringType TheoryVerificationInformation ForensicsSoftware Analysis	2004	23
Trace-based Reflexive Testing of OO Programs with T2 Tanya Vos, Arthur I. Baars	2008	23
Tracking static analysis violations over time to capture developer characteristics Pavel Avgustinov, Arthur I. Baars, Anders Henriksen, International Conference on Software Engineering Software MaintenanceCode BaseEngineeringVerificationSoftware Engineering	2015	21

Page 1