Arthur I. Baars

According to our database, Arthur I. Baars authored at least 18 papers between 2002 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Tracking Static Analysis Violations over Time to Capture Developer Characteristics.

Pavel Avgustinov, Arthur I. Baars, Anders Starcke Henriksen, R. Greg Lavender, Galen Menzel, Oege de Moor, Max Schäfer, Julian Tibble

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2013

Evolutionary functional black-box testing in an industrial setting.

Tanja E. J. Vos, Felix F. Lindlar, Benjamin Wilmes, Andreas Windisch, Arthur I. Baars, Peter M. Kruse, Hamilton Gross, Joachim Wegener

Softw. Qual. J., 2013

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

Nelly Condori-Fernández, José Ignacio Panach, Arthur Iwan Baars, Tanja E. J. Vos, Oscar Pastor

Sci. Comput. Program., 2013

2012

Industrial Case Studies for Evaluating Search Based Structural Testing.

Tanja E. J. Vos, Arthur I. Baars, Felix F. Lindlar, Andreas Windisch, Benjamin Wilmes, Hamilton Gross, Peter M. Kruse, Joachim Wegener

Int. J. Softw. Eng. Knowl. Eng., 2012

Revolution: Automatic Evolution of Mined Specifications.

Leonardo Mariani, Alessandro Marchetto, Cu D. Nguyen, Paolo Tonella, Arthur I. Baars

Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering, 2012

2011

Towards testing future Web applications.

Beatriz Marín, Tanja E. J. Vos, Giovanni Giachetti, Arthur I. Baars, Paolo Tonella

Proceedings of the Fifth IEEE International Conference on Research Challenges in Information Science, 2011

Symbolic search-based testing.

Arthur I. Baars, Mark Harman, Youssef Hassoun, Kiran Lakhotia, Phil McMinn, Paolo Tonella, Tanja E. J. Vos

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Towards an Experimental Framework for Measuring Usability of Model-Driven Tools.

José Ignacio Panach, Nelly Condori-Fernández, Arthur I. Baars, Tanja E. J. Vos, Ignacio Romeu, Oscar Pastor

Proceedings of the Human-Computer Interaction - INTERACT 2011, 2011

Search-Based Testing, the Underlying Engine of Future Internet Testing.

Arthur I. Baars, Kiran Lakhotia, Tanja E. J. Vos, Joachim Wegener

Proceedings of the Federated Conference on Computer Science and Information Systems, 2011

2010

Industrial Scaled Automated Structural Testing with the Evolutionary Testing Tool.

Tanja E. J. Vos, Arthur I. Baars, Felix F. Lindlar, Peter M. Kruse, Andreas Windisch, Joachim Wegener

Proceedings of the Third International Conference on Software Testing, 2010

Using Evolutionary Testing to Find Test Scenarios for Hard to Reproduce Faults.

Arthur I. Baars, Tanja E. J. Vos, Dimitar M. Dimitrov

Proceedings of the Third International Conference on Software Testing, 2010

2009

Embedded Compilers.

Arthur I. Baars

PhD thesis, 2009

Typed Transformations of Typed Grammars: The Left Corner Transform.

Arthur I. Baars, S. Doaitse Swierstra, Marcos Viera

Proceedings of the Ninth Workshop on Language Descriptions Tools and Applications, 2009

Typed transformations of typed abstract syntax.

Arthur I. Baars, S. Doaitse Swierstra, Marcos Viera

Proceedings of TLDI'09: 2009 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2009

2008

Trace-based Reflexive Testing of OO Programs with T2.

Wishnu Prasetya, Tanja E. J. Vos, Arthur I. Baars

Proceedings of the First International Conference on Software Testing, 2008

2004

Parsing permutation phrases.

Arthur I. Baars, Andres Löh, S. Doaitse Swierstra

J. Funct. Program., 2004

Type-safe, self inspecting code.

Arthur I. Baars, S. Doaitse Swierstra

Proceedings of the ACM SIGPLAN Workshop on Haskell, 2004

2002

Typing dynamic typing.

Arthur I. Baars, S. Doaitse Swierstra

Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP '02), 2002