Travelled to:
1 × Austria
Collaborated with:
M.Kamkar
Talks about:
constraint (1) generat (1) analysi (1) solver (1) test (1) data (1) base (1) una (1)
Person: Jon Edvardsson
DBLP: Edvardsson:Jon
Contributed to:
Wrote 1 papers:
- ESEC-FSE-2001-EdvardssonK #analysis #constraints #generative #testing #theorem proving
- Analysis of the constraint solver in UNA based test data generation (JE, MK), pp. 237–245.