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 18 results:
2012

Journal articles

The Knowledge Engineering Review 27 (2012).
Status: Published
Constraints 17 (2012): 123-147.
Status: Published

Proceedings, refereed

In Proceedings of CPAIOR 2012 (Constraint Programming-Artificial Intelligence-Operations Research), Nantes, France. Berlin Heidelberg: Springer Berlin Heidelberg, 2012.
Status: Published
In ECMFA 2012. Vol. 7349. Berlin Heidelberg: Springer Berlin Heidelberg, 2012.
Status: Published
In Proceedings of the Tests And Proofs Conference (TAP 2012), Prague, Czech Republic. Vol. 7305. Berlin Heidelberg: Springer Berlin Heidelberg, 2012.
Status: Published
In Proceedings of the Sixth International Conference on Software Security and Reliability (SERE-12), Washington, USA. .: ., 2012.
Status: Published
In The 4th Workshop on Constraints in Software Testing, Verification, and Analysis (CSTVA 2012)., 2012.
Status: Published
In Proceedings of Formal Methods (FM'12), Paris, Aug. 2012. Vol. 7436. Berlin Heidelberg: Springer Berlin Heidelberg, 2012.
Status: Published
In 2012 IEEE Fifth International Conference. IEEE, 2012.
Status: Published
In Proceedings of the 24th IFIP Int. Conference on Testing Software and Systems (ICTSS'12). .: LNCS, 2012.
Status: Published