Travelled to:1 × Italy
Collaborated with:S.A.Khalek B.Elkarablieh S.Khurshid
Talks about:constraint (1) generat (1) solver (1) relat (1) queri (1) test (1) awar (1) use (1)
Person: Yai O. Laleye
DBLP: Laleye:Yai_O=
Contributed to:
2008Wrote 1 papers:
- ASE-2008-KhalekELK #constraints #generative #relational #testing #theorem proving #using
- Query-Aware Test Generation Using a Relational Constraint Solver (SAK, BE, YOL, SK), pp. 238–247.