Travelled to:1 × Croatia
1 × Finland
1 × Germany
1 × USA
Collaborated with:S.Khurshid M.Z.Malik A.Pervaiz D.Garcia D.S.Batory
Talks about:specif (2) declar (2) tool (2) constraint (1) represent (1) structur (1) approach (1) softwar (1) program (1) product (1)
Person: Engin Uzuncaova
DBLP: Uzuncaova:Engin
Contributed to:
2008
2008
20072007Wrote 4 papers:
- FM-2008-UzuncaovaK #analysis #constraints #declarative #modelling #performance
- Constraint Prioritization for Efficient Analysis of Declarative Models (EU, SK), pp. 310–325.
- ICSE-2008-MalikPUK #generative #invariant #named #representation
- Deryaft: a tool for generating representation invariants of structurally complex data (MZM, AP, EU, SK), pp. 859–862.
- ESEC-FSE-2007-UzuncaovaGKB #approach #product line #testing
- A specification-based approach to testing software product lines (EU, DG, SK, DSB), pp. 525–528.
- ICSE-2007-UzuncaovaK #declarative #named #slicing #specification
- Kato: A Program Slicing Tool for Declarative Specifications (EU, SK), pp. 767–770.