Mário Jino

Orcid: 0000-0002-1914-5790

According to our database1, Mário Jino authored at least 84 papers between 1978 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Applying a Consumer-Centric Framework for Trust Assessment of Cloud Computing Service Providers.
IEEE Trans. Serv. Comput., 2023

2021
A Conceptual Proposal of a Hybrid Method for Detecting Fraud in Civil and Military Service Entrance Examinations.
Proceedings of the 18th IEEE/ACS International Conference on Computer Systems and Applications, 2021

2020
SecAOnto: A Conceptual Model of Security Assessment.
Int. J. Web Portals, 2020

2019
Modeling Traceability in Software Development: A Metamodel and a Reference Model for Traceability.
Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, 2019

Architecture and Conceptual Formalization of Cyber-Mission Operations.
Proceedings of the 16th IEEE/ACS International Conference on Computer Systems and Applications, 2019

A Study on Trust Models in Cloud Computing.
Proceedings of the 16th IEEE/ACS International Conference on Computer Systems and Applications, 2019

2018
PrivAPP: An integrated approach for the design of privacy-aware applications.
Softw. Pract. Exp., 2018

Coverage-Based Heuristics for Selecting Assessment Items from Security Standards: A Core Set Proposal.
Proceedings of the 2018 Workshop on Metrology for Industry 4.0 and IoT, 2018

A Security Testing Process Supported by an Ontology Environment: A Conceptual Proposal.
Proceedings of the 15th IEEE/ACS International Conference on Computer Systems and Applications, 2018

2017
The Security Assessment Domain: A Survey of Taxonomies and Ontologies.
CoRR, 2017

A Survey of Security Assessment Ontologies.
Proceedings of the Recent Advances in Information Systems and Technologies, 2017

2016
Experimental Comparison of Software Reliability Models Based on Code Coverage and on Time Domain.
Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

2015
Toward a Taxonomy of Malware Behaviors.
Comput. J., 2015

Requirements, design and evaluation of a privacy reference architecture for web applications and services.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Towards a UML Profile for Privacy-Aware Applications.
Proceedings of the 15th IEEE International Conference on Computer and Information Technology, 2015

2014
Diversity oriented test data generation using metaheuristic search techniques.
Inf. Sci., 2014

Ontology for Malware Behavior: A Core Model Proposal.
Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014

2013
An empirical analysis of malicious internet banking software behavior.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

2012
Integrando Elementos de Múltiplos Modelos com um Metamodelo de Perfis de Capacidade de Processo.
Proceedings of the 11th Brazilian Symposium on Software Quality, 2012

Interactive, Visual-Aided Tools to Analyze Malware Behavior.
Proceedings of the Computational Science and Its Applications - ICCSA 2012, 2012

Pinpointing Malicious Activities through Network and System-Level Malware Execution Behavior.
Proceedings of the Computational Science and Its Applications - ICCSA 2012, 2012

A hybrid framework to analyze web and OS malware.
Proceedings of IEEE International Conference on Communications, 2012

Towards a Metamodel for Integrating Multiple Models for Process Improvement.
Proceedings of the 38th Euromicro Conference on Software Engineering and Advanced Applications, 2012

2011
Fault-Based Test of XML Schemas.
Comput. Informatics, 2011

Twenty-Five Years of Research in Structural and Mutation Testing.
Proceedings of the 25th Brazilian Symposium on Software Engineering, 2011

2010
Sensitivity of Two Coverage-Based Software Reliability Models to Variations in the Operational Profile.
Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010

Machine Learning Methods and Asymmetric Cost Function to Estimate Execution Effort of Software Testing.
Proceedings of the Third International Conference on Software Testing, 2010

Analysis of the effect of Java software faults on security vulnerabilities and their detection by commercial web vulnerability scanner tool.
Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W 2010), Chicago, Illinois, USA, June 28, 2010

2009
Applying Code Coverage Approach to an Infinite Failure Software Reliability Model.
Proceedings of the XXIII Brazilian Symposium on Software Engineering, 2009

A Simple Approach for Estimation of Execution Effort of Functional Test Cases.
Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

Mutation Analysis for SQL Database Applications.
Proceedings of the Fourth International Conference on Software Engineering Advances, 2009

2008
A binomial software reliability model based on coverage of structural testing criteria.
Empir. Softw. Eng., 2008

Testing Relational Database Schemas with Alternative Instance Analysis.
Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008

Suporte ao Teste de Sistemas de Informação Baseados em Regras Ativas Escritas em SQL.
Proceedings of the 4th Brazilian Symposium on Information Systems, 2008

Análise de Mutantes em Aplicações SQL de Banco de Dados.
Proceedings of the 7th Brazilian Symposium on Software Quality, 2008

Automatic test data generation using particle systems.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Aplicação de um Checklist de Pré-Teste.
Proceedings of the VII Jornadas Iberoamericanas de Ingeniería de Software e Ingeniería del Conocimiento 2008, Guayaquil, Ecuador, January 30, 2008

PROMETEU - a tool to support documents generation and traceability in the test process.
Proceedings of the VII Jornadas Iberoamericanas de Ingeniería de Software e Ingeniería del Conocimiento 2008, Guayaquil, Ecuador, January 30, 2008

Analysis of an Artifact Oriented Test Process Model and of Testing Aspects of ISO/IEC 15504.
Proceedings of the VII Jornadas Iberoamericanas de Ingeniería de Software e Ingeniería del Conocimiento 2008, Guayaquil, Ecuador, January 30, 2008

Data Flow Testing of SQL-Based Active Database Applications.
Proceedings of the Third International Conference on Software Engineering Advances, 2008

2007
Fault-Based Testing of Data Schemas.
Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2007), 2007

Extracting Information from Experimental Software Engineering Papers.
Proceedings of the XXVI International Conference of the Chilean Computer Science Society (SCCC 2007), 2007

Avaliando a Relação entre Tamanho-Complexidade e Número de Defeitos de Software em Nível de Módulo.
Proceedings of the VI Jornadas Iberoamericanas de Ingeniería del Software e Ingeniería del Conocimiento-JIISIC'07, 2007

Automated Information Extraction from Empirical Software Engineering Literature: Is that possible?
Proceedings of the First International Symposium on Empirical Software Engineering and Measurement, 2007

Using Context Distance Measurement to Analyze Results across Studies.
Proceedings of the First International Symposium on Empirical Software Engineering and Measurement, 2007

2006
Constraint based structural testing criteria.
J. Syst. Softw., 2006

Infeasible Paths in the Context of Data Flow Based Testing Criteria: Identification, Classification and Prediction.
J. Braz. Comput. Soc., 2006

Uma Proposta Orientada a Perfis de Capacidade de Processo para Evolução da Melhoria de Processo de Software.
Proceedings of the 5th Brazilian Symposium on Software Quality, 2006

Suporte automatizado à rastreabilidade em um processo de teste de software baseado em documentação.
Proceedings of the 5th Brazilian Symposium on Software Quality, 2006

Uma Experiência de Implantação de Processo de Teste em Pequena Empresa.
Proceedings of the 5th Brazilian Symposium on Software Quality, 2006

Analysis of an Artifact Oriented Test Process Model and of Testing Aspects of CMMI.
Proceedings of the Product-Focused Software Process Improvement, 2006

2005
Experimental Results from Application of Fault-Sensitive Testing Strategies.
RITA, 2005

Teste Estrutural de Integração de Programas de Aplicação de Banco de Dados Relacional.
Proceedings of the 4th Brazilian Symposium on Software Quality, 2005

A Testing Approach for XML Schemas.
Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

Mapping faults to failures in SQL manipulation commands.
Proceedings of the 2005 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2005), 2005

2004
A debugging strategy based on the requirements of testing.
J. Softw. Maintenance Res. Pract., 2004

Structural Testing with Use Cases.
Proceedings of the Anais do WER04, 2004

Uma Metodologia para Teste de Software no Contexto da Melhoria de Processo.
Proceedings of the 3rd Brazilian Symposium on Software Quality, 2004

2003
Applying Extended Finite State Machines in Software Testing of Interactive Systems.
Proceedings of the Interactive Systems. Design, 2003

A Debugging Strategy Based on Requirements of Testin.
Proceedings of the 7th European Conference on Software Maintenance and Reengineering (CSMR 2003), 2003

2002
Automatic Test Data Generation for Program Paths Using Genetic Algorithms.
Int. J. Softw. Eng. Knowl. Eng., 2002

2001
Constraint Based Criteria: An Approach for Test Case Selection in the Structural Testing.
J. Electron. Test., 2001

Path Selection in the Structural Testing: Proposition, Implementation and Application of Strategies.
Proceedings of the 21st International Conference of the Chilean Computer Science Society (SCCC 2001), 2001

2000
Teste Estrutural de Software: Uma abordagem para Aplicações de Banco de Dados Relacional.
Proceedings of the 14th Brazilian Symposium on Software Engineering, 2000

Path Selection Strategies in the Context of Software Testing Criteria.
Proceedings of the 1st Latin American Test Workshop, 2000

Identification of Potentially Infeasible Program Paths by Monitoring the Search for Test Data.
Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering, 2000

1999
Data Flow Based Integration Testing.
Proceedings of the 13th Brazilian Symposium on Software Engineering, 1999

Geração Automática de Dados e Tratamento de Não Executabilidade no Teste Estrutural de Software.
Proceedings of the 13th Brazilian Symposium on Software Engineering, 1999

Techniques for Regression Testing: Selecting Test Case Sets Tailored to Possibly Modified Functionalities.
Proceedings of the 3rd European Conference on Software Maintenance and Reengineering (CSMR '99), 1999

1997
Program Graph Visualization.
Softw. Pract. Exp., 1997

Constraint Based Selection of Test Sets to Satisfy Structural Software Testing Criteria.
Proceedings of 17th International Conference of the Chilean Computer Science Society (SCCC '97), 1997

Cobertura dos Critérios Potenciais-Usos e a Confiabilidade do Software.
Proceedings of the 11th Brazilian Symposium on Software Engineering, 1997

1995
Geração de Dados de Teste: Uma Estratégia que Preserva a Hierarquia de Critérios.
Proceedings of the 9th Brazilian Symposium on Software Engineering, 1995

1994
Caminhos Não Executáveis no Teste de Integração: Caracterização, Previsão e Determinação.
Proceedings of the 8th Brazilian Symposium on Software Engineering, 1994

ProTR: a tool for real-time systems development.
Proceedings of IEEE 5th International Workshop on Rapid System Prototyping, 1994

1993
Uma Estratégia para Geração de Dados de Teste.
Proceedings of the 7th Brazilian Symposium on Software Engineering, 1993

1992
Caminhos Não Executáveis na Automação das Atividades de Teste.
Proceedings of the 6th Brazilian Symposium on Software Engineering, 1992

Critérios Potenciais Usos: Análise da Aplicação de um Benchmark.
Proceedings of the 6th Brazilian Symposium on Software Engineering, 1992

1989
Modelando a Determinação de Potenciais Du-Caminhos Através da Análise de Fluxo de Dados.
Proceedings of the 3rd Brazilian Symposium on Software Engineering, 1989

1988
Seleção de Casos de Testes Baseada em Fluxo de Dados através dos Critérios Potenciais Usos.
Proceedings of the 2nd Brazilian Symposium on Software Engineering, 1988

1979
Intelligent Magnetic Bubble Memories and Their Applications in Data Base Management Systems.
IEEE Trans. Computers, 1979

1978
Intelligent Magnetic Bubble Memories
PhD thesis, 1978

An Annotated Bibliography on Associative Memory Systems, Intelligent Memories and Data Base Machines.
IEEE Database Eng. Bull., 1978

Intelligent Magnetic Bubble Memories.
Proceedings of the 5th Annual Symposium on Computer Architecture, 1978


  Loading...