|
Search the dblp DataBase
Engin Uzuncaova:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Engin Uzuncaova, Sarfraz Khurshid
Kato: A Program Slicing Tool for Declarative Specifications. [Citation Graph (0, 0)][DBLP] ICSE, 2007, pp:767-770 [Conf]
- Engin Uzuncaova, Daniel Garcia, Sarfraz Khurshid, Don S. Batory
A specification-based approach to testing software product lines. [Citation Graph (0, 0)][DBLP] ESEC/SIGSOFT FSE, 2007, pp:525-528 [Conf]
Constraint Prioritization for Efficient Analysis of Declarative Models. [Citation Graph (, )][DBLP]
Deryaft: a tool for generating representation invariants of structurally complex data. [Citation Graph (, )][DBLP]
An Automated Approach for Writing Alloy Specifications Using Instances. [Citation Graph (, )][DBLP]
Testing Software Product Lines Using Incremental Test Generation. [Citation Graph (, )][DBLP]
A specification-based approach to testing software product lines. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.002secs
|