Travelled to:1 × France
1 × Italy
1 × Norway
2 × USA
Collaborated with:S.D.Swierstra T.E.J.Vos M.Viera W.Prasetya F.F.Lindlar P.M.Kruse A.Windisch J.Wegener M.Harman Y.Hassoun K.Lakhotia P.McMinn P.Tonella P.Avgustinov A.S.Henriksen R.G.Lavender G.Menzel O.d.Moor M.Schäfer J.Tibble
Talks about:type (5) test (4) transform (2) base (2) evolutionari (1) characterist (1) structur (1) industri (1) program (1) inspect (1)
Person: Arthur I. Baars
DBLP: Baars:Arthur_I=
Contributed to:
2015
2011
2010
20102008
2002
2004Wrote 7 papers:
- ICSE-v1-2015-AvgustinovBHLMM #developer #static analysis
- Tracking Static Analysis Violations over Time to Capture Developer Characteristics (PA, AIB, ASH, RGL, GM, OdM, MS, JT), pp. 437–447.
- ASE-2011-BaarsHHLMTV #search-based #testing
- Symbolic search-based testing (AIB, MH, YH, KL, PM, PT, TEJV), pp. 53–62.
- ICST-2010-VosBLKWW #automation #industrial #testing
- Industrial Scaled Automated Structural Testing with the Evolutionary Testing Tool (TEJV, AIB, FFL, PMK, AW, JW), pp. 175–184.
- LDTA-2009-BaarsSV10
- Typed Transformations of Typed Grammars: The Left Corner Transform (AIB, SDS, MV), pp. 51–64.
- ICST-2008-PrasetyaVB #object-oriented #reflexive #source code #testing
- Trace-based Reflexive Testing of OO Programs with T2 (WP, TEJV, AIB), pp. 151–160.
- ICFP-2002-BaarsS #dynamic typing #type system
- Typing dynamic typing (AIB, SDS), pp. 157–166.
- Haskell-2004-BaarsS #type safety
- Type-safe, self inspecting code (AIB, SDS), pp. 69–79.