Eliane Martins
Eliane Martins
Professor of Computer Science, University of Campina
Verified email at - Homepage
Cited by
Cited by
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
Estimators for fault tolerance coverage evaluation
D Powell, E Martins, J Arlat, Y Crouzet
Predictably Dependable Computing Systems, 347-366, 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
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
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
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
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
Constructing self-testable software components
E Martins, CM Toyota, RL Yanagawa
2001 International Conference on Dependable Systems and Networks, 151-160, 2001
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
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
Security protocol testing using attack trees
A Morais, E Martins, A Cavalli, W Jimenez
2009 International conference on computational science and engineering 2†…, 2009
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
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
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
A fault injection approach based on reflective programming
M Martins, ACA Rosa
Proceeding International Conference on Dependable Systems and Networks. DSN†…, 2000
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
A method for modeling and testing exceptions in component-based software development
PH S Brito, CR Rocha, E Martins, C›MF Rubira
Latin-American Symposium on Dependable Computing, 61-79, 2005
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
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
Fault injection approach based on dependence analysis
RLO Moraes, E Martins, NV Mendes
29th Annual International Computer Software and Applications Conference†…, 2005
The system can't perform the operation now. Try again later.
Articles 1–20