Engin Uzuncaova

According to our database, Engin Uzuncaova authored at least 8 papers between 2006 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2010

Incremental Test Generation for Software Product Lines.

Engin Uzuncaova, Sarfraz Khurshid, Don S. Batory

IEEE Trans. Software Eng., 2010

2008

Testing Software Product Lines Using Incremental Test Generation.

Engin Uzuncaova, Daniel Garcia, Sarfraz Khurshid, Don S. Batory

Proceedings of the 19th International Symposium on Software Reliability Engineering (ISSRE 2008), 2008

Deryaft: a tool for generating representation invariants of structurally complex data.

Muhammad Zubair Malik, Aman Pervaiz, Engin Uzuncaova, Sarfraz Khurshid

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

Constraint Prioritization for Efficient Analysis of Declarative Models.

Engin Uzuncaova, Sarfraz Khurshid

Proceedings of the FM 2008: Formal Methods, 2008

2007

A specification-based approach to testing software product lines.

Engin Uzuncaova, Daniel Garcia, Sarfraz Khurshid, Don S. Batory

Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

Kato: A Program Slicing Tool for Declarative Specifications.

Engin Uzuncaova, Sarfraz Khurshid

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

2006

Program slicing for declarative models.

Engin Uzuncaova, Sarfraz Khurshid

ACM SIGSOFT Softw. Eng. Notes, 2006

An Automated Approach for Writing Alloy Specifications Using Instances.

Sarfraz Khurshid, Muhammad Zubair Malik, Engin Uzuncaova

Proceedings of the Leveraging Applications of Formal Methods, 2006