| Automated and scalable t-wise test case generation strategies for software product lines G Perrouin, S Sen, J Klein, B Baudry, Y Le Traon 2010 Third international conference on software testing, verification and …, 2010 | 305 | 2010 |
| Naming the pain in requirements engineering: Contemporary problems, causes, and effects in practice DM Fernández, S Wagner, M Kalinowski, M Felderer, P Mafra, A Vetrò, ... Empirical software engineering 22, 2298-2338, 2017 | 225 | 2017 |
| Pairwise testing for software product lines: comparison of two approaches G Perrouin, S Oster, S Sen, J Klein, B Baudry, Y Le Traon Software Quality Journal 20, 605-643, 2012 | 193 | 2012 |
| Test case prioritization for continuous regression testing: An industrial case study D Marijan, A Gotlieb, S Sen 2013 IEEE International Conference on Software Maintenance, 540-543, 2013 | 191 | 2013 |
| Automatic model generation strategies for model transformation testing S Sen, B Baudry, JM Mottu International Conference on Theory and Practice of Model Transformations …, 2009 | 147 | 2009 |
| Meta-model pruning S Sen, N Moha, B Baudry, JM Jézéquel International Conference on Model Driven Engineering Languages and Systems …, 2009 | 121 | 2009 |
| Status quo in requirements engineering: A theory and a global family of surveys S Wagner, DM Fernández, M Felderer, A Vetrò, M Kalinowski, R Wieringa, ... ACM Transactions on Software Engineering and Methodology (TOSEM) 28 (2), 1-48, 2019 | 93 | 2019 |
| Partial model completion in model driven engineering using constraint logic programming S Sen, B Baudry, D Precup 17th International Conference on Applications of Declarative Programming and …, 2007 | 91* | 2007 |
| A review of traceability research at the requirements engineering conferencere@21 S Nair, JL De La Vara, S Sen 2013 21st IEEE International Requirements Engineering Conference (RE), 222-229, 2013 | 85 | 2013 |
| On combining multi-formalism knowledge to select models for model transformation testing S Sen, B Baudry, JM Mottu 2008 1st International Conference on Software Testing, Verification, and …, 2008 | 80 | 2008 |
| Practical pairwise testing for software product lines D Marijan, A Gotlieb, S Sen, A Hervieu Proceedings of the 17th international software product line conference, 227-235, 2013 | 79 | 2013 |
| Towards domain-specific model editors with automatic model completion S Sen, B Baudry, H Vangheluwe Simulation 86 (2), 109-126, 2010 | 72 | 2010 |
| Naming the pain in requirements engineering: contemporary problems, causes, and effects in practice D Méndez Fernández, S Wagner, M Kalinowski, M Felderer, P Mafra, ... | 62 | 2016 |
| Reusable model transformations S Sen, N Moha, V Mahé, O Barais, B Baudry, JM Jézéquel Software & Systems Modeling 11, 111-125, 2012 | 49 | 2012 |
| Static analysis of model transformations for effective test generation JM Mottu, S Sen, M Tisi, J Cabot 2012 ieee 23rd international symposium on software reliability engineering …, 2012 | 44 | 2012 |
| Using models of partial knowledge to test model transformations S Sen, JM Mottu, M Tisi, J Cabot International Conference on Theory and Practice of Model Transformations, 24-39, 2012 | 40 | 2012 |
| Chemical equation balancing: An integer programming approach SK Sen, H Agarwal, S Sen Mathematical and Computer Modelling 44 (7-8), 678-691, 2006 | 39 | 2006 |
| Evaluation of Kermeta for solving graph-based problems N Moha, S Sen, C Faucher, O Barais, JM Jézéquel International Journal on Software Tools for Technology Transfer 12, 273-285, 2010 | 36 | 2010 |
| Titan: Test suite optimization for highly configurable software D Marijan, M Liaaen, A Gotlieb, S Sen, C Ieva 2017 IEEE International Conference on Software Testing, Verification and …, 2017 | 30 | 2017 |
| DevOps improvements for reduced cycle times with integrated test optimizations for continuous integration D Marijan, M Liaaen, S Sen 2018 IEEE 42nd annual computer software and applications conference (COMPSAC …, 2018 | 29 | 2018 |
Benoit BaudryProfessor of Software Technology, KTHVerified email at kth.se
