| Fault injection for dependability validation: A methodology and some applications J Arlat, M Aguera, L Amat, Y Crouzet, JC Fabre, JC Laprie, E Martins, ... IEEE Transactions on software engineering 16 (2), 166-182, 1990 | 906 | 1990 |
| Estimators for fault tolerance coverage evaluation D Powell, E Martins, J Arlat, Y Crouzet IEEE Transactions on Computers 44 (2), 261-274, 1995 | 143 | 1995 |
| Security testing methodology for vulnerabilities detection of xss in web services and ws-security MIP Salas, E Martins Electronic Notes in Theoretical Computer Science 302, 133-154, 2014 | 107 | 2014 |
| Jaca: A reflective fault injection tool based on patterns E Martins, CMF Rubira, NGM Leme Proceedings international conference on dependable systems and networks, 483-487, 2002 | 95 | 2002 |
| ConData: a tool for automating specification-based test case generation for communication systems E Martins, SB Sabião, AM Ambrosio Software Quality Journal 8 (4), 303-320, 1999 | 79 | 1999 |
| Experimental evaluation of the fault tolerance of an atomic multicast system J Arlat, M Aguera, Y Crouzet, JC Fabre, E Martins, D Powell IEEE Transactions on reliability 39 (4), 455-467, 1990 | 79 | 1990 |
| Experimental risk assessment and comparison using software fault injection R Moraes, J Duraes, R Barbosa, E Martins, H Madeira 37th Annual IEEE/IFIP International Conference on Dependable Systems and …, 2007 | 66 | 2007 |
| Injection of faults at component interfaces and inside the component code: are they equivalent? R Moraes, R Barbosa, J Durães, N Mendes, E Martins, H Madeira 2006 Sixth European Dependable Computing Conference, 53-64, 2006 | 66 | 2006 |
| Constructing self-testable software components E Martins, CM Toyota, RL Yanagawa 2001 International Conference on Dependable Systems and Networks, 151-160, 2001 | 66 | 2001 |
| A practical approach for automated test case generation using statecharts V Santiago, ASM Do Amaral, NL Vijaykumar, MF Mattiello-Francisco, ... 30th Annual International Computer Software and Applications Conference …, 2006 | 60 | 2006 |
| MOST: a multi-objective search-based testing from EFSM T Yano, E Martins, FL de Sousa 2011 ieee fourth international conference on software testing, verification …, 2011 | 46 | 2011 |
| Security protocol testing using attack trees A Morais, E Martins, A Cavalli, W Jimenez 2009 International conference on computational science and engineering 2 …, 2009 | 44 | 2009 |
| Generating feasible test paths from an executable model using a multi-objective approach T Yano, E Martins, FL de Sousa 2010 third international conference on software testing, verification, and …, 2010 | 41 | 2010 |
| Webmov: A dedicated framework for the modelling and testing of web services composition A Cavalli, TD Cao, W Mallouli, E Martins, A Sadovykh, S Salva, F Zaidi 2010 IEEE International Conference on Web Services, 377-384, 2010 | 36 | 2010 |
| InRob: An approach for testing interoperability and robustness of real-time embedded software F Mattiello-Francisco, E Martins, AR Cavalli, ET Yano Journal of Systems and Software 85 (1), 3-15, 2012 | 34 | 2012 |
| A fault injection approach based on reflective programming M Martins, ACA Rosa Proceeding International Conference on Dependable Systems and Networks. DSN …, 2000 | 34 | 2000 |
| A black-box approach to detect vulnerabilities in web services using penetration testing MIP Salas, E Martins IEEE Latin America Transactions 13 (3), 707-712, 2015 | 31 | 2015 |
| Architecting fault tolerance with exception handling: Verification and validation PHS Brito, R De Lemos, CMF Rubira, E Martins Journal of Computer Science and Technology 24 (2), 212-237, 2009 | 30 | 2009 |
| A conformance testing process for space applications software services AM Ambrosio, E Martins, NL Vijaykumar, SV de Carvalho Journal of Aerospace Computing, Information, and Communication 3 (4), 146-158, 2006 | 29 | 2006 |
| A method for modeling and testing exceptions in component-based software development PH da S. Brito, CR Rocha, FC Filho, E Martins, CMF Rubira Dependable Computing: Second Latin-American Symposium, LADC 2005, Salvador …, 2005 | 28 | 2005 |
