Primary tabs

Selected publications

In Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis. New York, NY, USA: ACM, 2017.
Proceedings, refereed
2017
Software: Practice and Experience 49, no. 2 (2019): 192-213.
Journal Article
2019
AI Magazine 38, no. Spring (2017).
Journal Article
2017
In Advances in Computers, 67-101. ADCOM, UK: Academic Press ed. Vol. 99. Elsevier, 2015.
Book Chapter
2015

News

Carlo Ieva defends his PhD

Awards

Best Paper Award for " A New Approach to Feature-based Test Suite Reduction in Software Product Line Testing"
in the 11th International Joint Conference on Software Technologies, ICSOFT-EA 2016, Lisbon, Portugal
July 2016
Best Application Paper Award for "Using CP in automatic test generation for ABB robotics' paint control systems" In Principles and Practice of Constraint Programming
The 20th International Conference on Principles and Practice of Constraint Programming, Lyon, France
September 2014
Best Application Paper Award for "Automated test case selection using feature model: An industrial case study."
ACM/IEEE 16th Int. Conf. on Model Driven Eng. Languages and Systems (MODELS'13), Miami, Florida.
July 2016
Export 12 results:
2014

Edited books

Proceedings, refereed

In The 20th International Conference on Principles and Practice of Constraint Programming (CP 2014), 2014.
Status: Published
In Proceedings of Int. Symp. on Soft. Testing and Analysis (ISSTA'14), San José, CA, USA, Jul. 2014. New York, USA: ACM, 2014.
Status: Published
In Proceedings of Principles of Constraint Programming (CP'14), Lyon, France, Sep. 2014 - Best Application Track Paper. Zwitzerland: LNCS, 2014.
Status: Published
In Proceedings of IFIP Int. Conf. on Testing Software and Systems (ICTSS'14), Madrid, Spain, Sep. 2014 - Application Track. Berlin, Heidelberg: LNCS, 2014.
Status: Published
In Software Product Line Conference (SPLC14), Florence, Italy. New York, USA: ACM, 2014.
Status: Published
In International Symposium on Search-Based Software Engineering (SSBSE'14), Fortaleza, Brazil. Switzerland : Springer International Publishing, 2014.
Status: Published

Talks, contributed

In Selected talk at the 'Verification meets CP' 2014 workshop, Lyon, France. .: , 2014.
Status: Published
In Selected talk at 'Verification meets CP' workshop 2014, Lyon, France. .: , 2014.
Status: Published
In Dagsthul Seminar (Symbolic Methods and Constraint Solving) , 2014.
Status: Published