Travelled to:1 × Austria
1 × United Kingdom
Collaborated with:A.Podelski I.Schaefer S.Arlt T.Morciniec
Talks about:test (2) summari (1) succeed (1) program (1) between (1) automot (1) system (1) result (1) recurs (1) depend (1)
Person: Silke Wagner
DBLP: Wagner:Silke
Contributed to:
2015
2005Wrote 2 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.
- ESOP-2005-PodelskiSW #recursion #source code #summary
- Summaries for While Programs with Recursion (AP, IS, SW), pp. 94–107.