Collaborated with:
J.Patra M.Pradel
Talks about:
structur (1) automat (1) reduc (1) input (1) tree (1) test (1)
Person: Satia Herfert
DBLP: Herfert:Satia
Contributed to:
Wrote 1 papers:
- ASE-2017-HerfertPP #automation #testing
- Automatically reducing tree-structured test inputs (SH, JP, MP), pp. 861–871.