Primary tabs

Selected publications

In Twenty-Eighth Conference on Innovative Applications of Artificial Intelligence (IAAI-16), Phoenix, AZ, USA, Feb. 2016., 2016.
Proceedings, refereed
2016
ACM Transactions on Software Engineering and Methodology (TOSEM) 25, no. 1 (2015): 1-37.
Journal Article
2015
In Proceedings of Principles of Constraint Programming (CP'14), Lyon, France, Sep. 2014 - Best Application Track Paper. Zwitzerland: LNCS, 2014.
Proceedings, refereed
2014
In Proceedings of Int. Symp. on Soft. Testing and Analysis (ISSTA'14), San José, CA, USA, Jul. 2014. New York, USA: ACM, 2014.
Proceedings, refereed
2014

News

Carlo Ieva defends his PhD
On Friday, 23rd, November, Carlo Ieva will defend his PhD thesis “Unveiling Source Code Latent Knowledge. Discovering Program Topoi”. The defense will take place at LIRMM, University of Montpellier (...

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

Find publication

Export 89 results:
2019

Proceedings, refereed

In Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19)., 2019.
Status: Accepted
2018

Journal articles

IEEE Transactions on Reliability (2018): 1-13.
Status: Published
International Journal of Systems Assurance Engineering and Management 9, no. 2 (2018): 313-322.
Status: Published

Proceedings, refereed

In International Conference on Tools with Artificial Intelligence., 2018.
Status: Accepted
In Proceedings of the Thirty-Second {IAAI/AAAI} Conference on Innovative Applications of Artificial Intelligence, New Orleans, Louisiana, USA, February 2-7, 2018. AAAI Press, 2018.
Status: Published
In Data Science meets Optimization Workshop at Federated Artificial Intelligence Meeting., 2018.
Status: Published

Talks, keynote

In French Days on Software Testing (JFTL'18), Paris, France., 2018.
Status: Published
In ALTEN TalentCamp, Paris, France., 2018.
Status: Published

Posters

Talks, contributed

In Gesellschaft für Informatik Software Engineering Conference 2018 (SE18)., 2018.
Status: Published