Arthur I. Baars

17 papers A* 1A 4B 1C 2Journal 3Unranked 5
YearRankTypeTitle / Venue / Authors
2015 — conf
Tracking Static Analysis Violations over Time to Capture Developer Characteristics.
ICSE (1)
Pavel Avgustinov, Arthur I. Baars, Anders Starcke Henriksen, R. Greg Lavender, Galen Menzel, Oege de Moor, Max Schäfer, Julian Tibble
2013 J jnl
Evolutionary functional black-box testing in an industrial setting.
Softw. Qual. J.
Tanja E. J. Vos, Felix F. Lindlar, Benjamin Wilmes, Andreas Windisch, Arthur I. Baars, Peter M. Kruse, Hamilton Gross, Joachim Wegener
2012 J jnl
Industrial Case Studies for Evaluating Search Based Structural Testing.
Int. J. Softw. Eng. Knowl. Eng.
Tanja E. J. Vos, Arthur I. Baars, Felix F. Lindlar, Andreas Windisch, Benjamin Wilmes, Hamilton Gross, Peter M. Kruse, Joachim Wegener
2012 A conf
Revolution: Automatic Evolution of Mined Specifications.
ISSRE
Leonardo Mariani, Alessandro Marchetto, Cu D. Nguyen, Paolo Tonella, Arthur I. Baars
2011 C conf
Search-Based Testing, the Underlying Engine of Future Internet Testing.
FedCSIS
Arthur I. Baars, Kiran Lakhotia, Tanja E. J. Vos, Joachim Wegener
2011 A* conf
Symbolic search-based testing.
ASE
Arthur I. Baars, Mark Harman, Youssef Hassoun, Kiran Lakhotia, Phil McMinn, Paolo Tonella, Tanja E. J. Vos
2011 — conf
Towards an Experimental Framework for Measuring Usability of Model-Driven Tools.
INTERACT (4)
José Ignacio Panach, Nelly Condori-Fernández, Arthur I. Baars, Tanja E. J. Vos, Ignacio Romeu, Oscar Pastor
2011 B conf
Towards testing future Web applications.
RCIS
Beatriz Marín, Tanja E. J. Vos, Giovanni Giachetti, Arthur I. Baars, Paolo Tonella
2010 A conf
Industrial Scaled Automated Structural Testing with the Evolutionary Testing Tool.
ICST
Tanja E. J. Vos, Arthur I. Baars, Felix F. Lindlar, Peter M. Kruse, Andreas Windisch, Joachim Wegener
2010 — conf
Using Evolutionary Testing to Find Test Scenarios for Hard to Reproduce Faults.
ICST Workshops
Arthur I. Baars, Tanja E. J. Vos, Dimitar M. Dimitrov
2009 — —
Embedded Compilers.
Arthur I. Baars
2009 — conf
Typed Transformations of Typed Grammars: The Left Corner Transform.
LDTA
Arthur I. Baars, S. Doaitse Swierstra, Marcos Viera
2009 — conf
Typed transformations of typed abstract syntax.
TLDI
Arthur I. Baars, S. Doaitse Swierstra, Marcos Viera
2008 A conf
Trace-based Reflexive Testing of OO Programs with T2.
ICST
Wishnu Prasetya, Tanja E. J. Vos, Arthur I. Baars
2004 J jnl
Parsing permutation phrases.
J. Funct. Program.
Arthur I. Baars, Andres Löh, S. Doaitse Swierstra
2004 C conf
Type-safe, self inspecting code.
Haskell
Arthur I. Baars, S. Doaitse Swierstra
2002 A conf
Typing dynamic typing.
ICFP
Arthur I. Baars, S. Doaitse Swierstra