Seguir
Sagar Sen
Sagar Sen
Research Manager and Senior Scientist, SINTEF Digital
Dirección de correo verificada de sintef.no
Título
Citado por
Citado por
Año
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
3082010
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
2762017
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
1992013
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
1942012
Automatic model generation strategies for model transformation testing
S Sen, B Baudry, JM Mottu
International Conference on Theory and Practice of Model Transformations …, 2009
1422009
Meta-model pruning
S Sen, N Moha, B Baudry, JM Jézéquel
International Conference on Model Driven Engineering Languages and Systems …, 2009
1252009
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
1122019
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
922013
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
88*2007
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
822013
Towards domain-specific model editors with automatic model completion
S Sen, B Baudry, H Vangheluwe
Simulation 86 (2), 109-126, 2010
802010
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
782008
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, ...
Empir. Softw. Eng 22 (5), 2298-2338, 2017
692017
Reusable model transformations
S Sen, N Moha, V Mahé, O Barais, B Baudry, JM Jézéquel
Software & Systems Modeling 11, 111-125, 2012
502012
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
452012
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
402018
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
402012
Chemical equation balancing: An integer programming approach
SK Sen, H Agarwal, S Sen
Mathematical and Computer Modelling 44 (7-8), 678-691, 2006
402006
FightHPV: design and evaluation of a mobile game to raise awareness about human papillomavirus and nudge people to take action against cervical cancer
T Ruiz-López, S Sen, E Jakobsen, A Tropé, PE Castle, BT Hansen, ...
JMIR serious games 7 (2), e8540, 2019
392019
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
372017
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20