Primary tabs

Selected publications

ACM Transactions on Software Engineering and Methodology (TOSEM) 25, no. 1 (2015): 1-37.
Journal Article
2015
In The 24th IEEE International Symposium on Software Reliability Engineering (ISSRE 2013)., 2013.
Proceedings, refereed
2013
In The ACM/IEEE 15th International Conference on Model Driven Engineering Languages & Systems (MODELS 2012)., 2012.
Proceedings, refereed
2012
In 23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER). IEEE, 2016.
Proceedings, refereed
2016

Find publication

Status

Export 5 results:
2016

Talks, contributed

In Principles and Practice of Constraint Programming (CP 2016)., 2016.
Status: Published
2014

Talks, contributed

In Principles and Practice of Constraint Programming (CP 2014)., 2014.
Status: Published
2013

Talks, contributed

In The 24th IEEE International Symposium on Software Reliability Engineering (ISSRE)., 2013.
Status: Published
2012

Talks, contributed

In The 4th Workshop on Constraints in Software Testing, Verification, and Analysis (CSTVA 2012)., 2012.
Status: Published
In The Eleventh SweConsNet Workshop (SweConsNet'12)., 2012.
Status: Published