Travelled to:1 × Austria
1 × Denmark
2 × USA
Collaborated with:A.Podelski M.Schäf M.Wehrle T.Morciniec S.Wagner P.Borromeo
Talks about:test (4) gui (2) parameter (1) succeed (1) program (1) between (1) automot (1) system (1) result (1) infeas (1)
Person: Stephan Arlt
DBLP: Arlt:Stephan
Contributed to:
2015
2014
2012
2012Wrote 4 papers:
- ICST-2015-ArltMPW #dependence #testing
- If A Fails, Can B Still Succeed? Inferring Dependencies between Test Results in Automotive System Testing (SA, TM, AP, SW), pp. 1–10.
- ISSTA-2014-ArltPW #slicing #testing #user interface
- Reducing GUI test suites via program slicing (SA, AP, MW), pp. 270–281.
- CAV-2012-ArltS #detection #java #named
- Joogie: Infeasible Code Detection for Java (SA, MS), pp. 767–773.
- ICTSS-2012-ArltBSP #testing #user interface
- Parameterized GUI Tests (SA, PB, MS, AP), pp. 247–262.