Collaborated with:
D.Grossman D.Schwartz-Narbonne S.Tasiran
Talks about:
languag (1) generat (1) solver (1) input (1) test (1) aid (1)
Person: Talia Ringer
DBLP: Ringer:Talia
Contributed to:
Wrote 1 papers:
- OOPSLA-2017-RingerGST #generative
- A solver-aided language for test input generation (TR, DG, DSN, ST), p. 24.