Primary tabs

Most recent publications

In The ACM/IEEE 15th International Conference on Model Driven Engineering Languages & Systems (MODELS 2012)., 2012.
Proceedings, refereed
2012
In The 4th Workshop on Constraints in Software Testing, Verification, and Analysis (CSTVA 2012)., 2012.
Proceedings, refereed
2012

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

Status

Export 4 results:
2012

Proceedings, refereed

In The 4th Workshop on Constraints in Software Testing, Verification, and Analysis (CSTVA 2012)., 2012.
Status: Published
In The ACM/IEEE 15th International Conference on Model Driven Engineering Languages & Systems (MODELS 2012)., 2012.
Status: Published

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