Some Publications
2020
(6)
In Proceedings of IEEE International Conference on Software Architecture (ICSA 2020), 2020. IEEE
link bibtex
link bibtex
In Proceedings of 13th IEEE International Conference on Software Testing, Verification and Validation (ICST 2020), 2020. IEEE
link bibtex
link bibtex
2019
(7)
In Piattini, M.; Rupino da Cunha, P.; García Rodríguez de Guzmán, Ignacio; and Pérez-Castillo, R., editor(s), Proceedings of 12th International Conference on the Quality of Information and Communications Technology (QUATIC 2019), volume 1010, of CCIS, pages 161–176. Springer, 2019.
Paper
doi
link
bibtex
In Proceedings of 45th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2019), 2019. IEEE
link bibtex
link bibtex
In Proceedings of 14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2019), pages 434-441, 2019. SciTePress Digital Library
Paper
doi
link
bibtex
In Proceedings of 5th International Conference on Geographical Information Systems Theory, Applications and Management (GISTAM 2019), pages 259-266, 2019. SciTePress Digital Library
Paper
doi
link
bibtex
2018
(11)
Journal of Software: Testing, Verification and Reliability (STVR), 28(4): e1665. 2018.
Paper
doi
link
bibtex
In Proceedings of 1st ACM/SIGSOFT International Workshop on Ensemble-Based Software Engineering (EnSEmble 2018), pages 1-8, 2018. ACM
Paper
doi
link
bibtex
In Proceedings of 14th International Conference on Web Information Systems and Technologies (WEBIST 2018), pages 277-284, 2018. SciTePress Digital Library
Paper
doi
link
bibtex
In Proceedings of 11th International Conference on the Quality of Information and Communications Technology (QUATIC 2018), pages 184-192, 2018. IEEE
Paper
doi
link
bibtex
In Pautasso, C.; Sánchez-Figueroa, F.; Systä, K.; and Rodríguez, Juan Manuel, M., editor(s), Proceedings of 2nd International Workshop on Engineering the Web of Things (EnWoT 2018), volume 11153, of LNCS, pages 83-96. Springer, 2018.
Paper
doi
link
bibtex
In Proceedings of 33rd ACM/SIGAPP Symposium on Applied Computing (SAC 2018), pages 138-141, 2018. ACM
Paper
doi
link
bibtex
2017
(7)
In Hague, M.; and Potapov, I., editor(s), Proceedings of 11th International Workshop on Reachability Problems (RP 2017), volume 10506, of LNCS, pages 59-74. Springer, 2017.
Paper
doi
link
bibtex
In Proceedings of 25th IEEE International Requirements Engineering Conference Workshops (REW 2017), pages 343-350, 2017. IEEE
Paper
doi
link
bibtex
2016
(6)
In Proceedings of 10th International Conference on the Quality of Information and Communications Technology (QUATIC 2016), pages 25-34, 2016. IEEE
Paper
doi
link
bibtex
In Bozzon, A.; Cudré-Mauroux, P.; and Pautasso, C., editor(s), Proceedings of 16th International Conference on Web Engineering (ICWE 2016), volume 9671, of LNCS, pages 132-151. Springer, 2016.
Paper
doi
link
bibtex
2015
(9)
In Hammoudi, S.; Pires, F. L.; Filipe, J.; and das Neves, C. R., editor(s), Model-Driven Engineering and Software Development, volume 506, of Communications in Computer and Information Science, pages 66-83. Springer, 2015.
Paper
doi
link
bibtex
In Abrahamsson, P.; Corral, L.; Oivo, M.; and Russo, B., editor(s), Proceedings of 16th International Conference on Product-Focused Software Process Improvement (PROFES 2015), volume 9459, of LNCS, pages 105-113. Springer, 2015.
Paper
doi
link
bibtex
In Proceedings of 10th IEEE/ACM International Workshop on Automation of Software Test (AST 2015 co-located with ICSE 2015), pages 70-74, 2015. IEEE
Paper
doi
link
bibtex
In Proceedings of 8th IEEE/ACM International Workshop on Search-Based Software Testing (SBST 2015 co-located with ICSE 2015), pages 36-39, 2015. IEEE
Paper
doi
link
bibtex
In Proceedings of 2nd International Workshop on Emotion and Sentiment in Social and Expressive Media (ESSEM 2015 co-located with AAMAS 2015), volume 1351, pages 51-66, 2015. CEUR Workshop Proceedings
Paper
link
bibtex
In Proceedings of 8th IEEE International Conference on Software Testing, Verification and Validation (ICST 2015), pages 1-10, 2015. IEEE
Paper
doi
link
bibtex
2014
(10)
In Proceedings of 25th International Symposium on Software Reliability Engineering Workshops (ISSREW 2014), pages 449-454, 2014. IEEE
Paper
doi
link
bibtex
In Proceedings of 14th International Working Conference on Source Code Analysis and Manipulation (SCAM 2014), pages 65-70, 2014. IEEE
Paper
doi
link
bibtex
In Proceedings of 3rd Workshop on the Analysis of Model Transformations (AMT 2014 co-located with MoDELS 2014), volume 1277, pages 14-23, 2014. CEUR Workshop Proceedings
Paper
link
bibtex
In Juergen Dingel, W. S.; and Isidro Ramos, S. A., editor(s), Proceedings of 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), volume 8767, of LNCS, pages 149-165. Springer, 2014.
Paper
doi
link
bibtex
In Proceedings of 40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2014), pages 262-266, 2014. IEEE
Paper
doi
link
bibtex
In Sven Casteleyn, G. R., editor(s), Proceedings of 14th International Conference on Web Engineering (ICWE 2014), volume 8541, of LNCS, pages 322-340. Springer, 2014.
Paper
doi
link
bibtex
2013
(14)
In Proceedings of 20th Working Conference on Reverse Engineering (WCRE 2013), pages 272-281, 2013. IEEE
Paper
doi
link
bibtex
In Proceedings of 3rd International Workshop on Experiences and Empirical Studies in Software Modelling (EESSMod 2013 co-located with MoDELS 2013), volume 1078, pages 3-12, 2013. CEUR Workshop Proceedings
Paper
link
bibtex
In Proceedings of 2nd Workshop on the Analysis of Model Transformations (AMT 2013 co-located with MoDELS 2013), volume 1077, 2013. CEUR Workshop Proceedings
Paper
link
bibtex
In Proceedings of 15th International Symposium on Web Systems Evolution (WSE 2013), pages 39-44, 2013. IEEE
Paper
doi
link
bibtex
In Proceedings of 29th International Conference on Software Maintenance (ICSM 2013), pages 428-431, 2013. IEEE
Paper
doi
link
bibtex
In Proceedings of 1st International Workshop on Joining AcadeMiA and Industry Contributions to testing Automation (JAMAICA 2013 co-located with ISSTA 2013), pages 53-58, 2013. ACM
Paper
doi
link
bibtex
In Proceedings of 7th International Conference on Research Challenges in Information Science (RCIS 2013), pages 1-2, 2013. IEEE
Paper
doi
link
bibtex
In Proceedings of 6th International Conference on Software Testing, Verification and Validation (ICST 2013), pages 487-488, 2013. IEEE
Paper
doi
link
bibtex
2012
(7)
In Proceedings of 2nd International Workshop on Experiences and Empirical Studies in Software Modelling (EESSMod 2012 co-located with MoDELS 2012), pages 8:1-8:6, 2012. ACM
Paper
doi
link
bibtex
In Proceedings of 1st Workshop on the Analysis of Model Transformations (AMT 2012 co-located with MoDELS 2012), pages 15-20, 2012. ACM
Paper
doi
link
bibtex
In Proceedings of 14th International Symposium on Web Systems Evolution (WSE 2012), pages 21-30, 2012. IEEE
Paper
doi
link
bibtex
In Proceedings of 14th International Symposium on Web Systems Evolution (WSE 2012), pages 51-60, 2012. IEEE
Paper
doi
link
bibtex
In Proceedings of 34th International Conference on Software Engineering (ICSE 2012), pages 1441-1442, 2012. IEEE
Paper
doi
link
bibtex
2011
(7)
In Proceedings of 1st International Workshop on Experiences and Empirical Studies in Software Modelling (EESSMod 2011 co-located with MoDELS 2011), volume 785, pages 38-47, 2011. CEUR Workshop Proceedings
Paper
link
bibtex
In Proceedings of 1st International Workshop on Empirical Requirements Engineering (EmpiRE 2011 co-located with RE 2011), pages 61-68, 2011. IEEE
Paper
doi
link
bibtex
In Proceedings of 15th European Conference on Software Maintenance and Reengineering (CSMR 2011), pages 317-320, 2011. IEEE
Paper
doi
link
bibtex
In Calinescu, R.; and Jackson, E., editor(s), Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems, volume 6662, of LNCS, pages 157-175. Springer Berlin Heidelberg, 2011.
(Revised Selected Papers of 16th Monterey Workshop 2010, 31 March - 2 April 2010, Microsoft Research Center, Redmond, WA, USA)
Paper
doi
link
bibtex