Travelled to:
1 × USA
Collaborated with:
M.Benjamin D.Geist
Talks about:
geneviev (1) generat (1) formal (1) test (1) semi (1)
Person: Julia Dushina
DBLP: Dushina:Julia
Contributed to:
Wrote 1 papers:
- DAC-2001-DushinaBG #generative #testing
- Semi-Formal Test Generation with Genevieve (JD, MB, DG), pp. 617–622.