Engin Uzuncaova

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2010
Incremental Test Generation for Software Product Lines.
IEEE Trans. Software Eng., 2010

2008
Testing Software Product Lines Using Incremental Test Generation.
Proceedings of the 19th International Symposium on Software Reliability Engineering (ISSRE 2008), 2008

Deryaft: a tool for generating representation invariants of structurally complex data.
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

Constraint Prioritization for Efficient Analysis of Declarative Models.
Proceedings of the FM 2008: Formal Methods, 2008

2007
A specification-based approach to testing software product lines.
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.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

2006
Program slicing for declarative models.
ACM SIGSOFT Softw. Eng. Notes, 2006

An Automated Approach for Writing Alloy Specifications Using Instances.
Proceedings of the Leveraging Applications of Formal Methods, 2006


  Loading...