26 results on '"Márcio Ribeiro"'
Search Results
2. Book review
- Author
-
Márcio Ribeiro Martins
- Subjects
Tourism, Leisure and Hospitality Management - Published
- 2023
3. An Investigation of confusing code patterns in JavaScript
- Author
-
Adriano Torres, Caio Oliveira, Márcio Okimoto, Diego Marcílio, Pedro Queiroga, Fernando Castor, Rodrigo Bonifácio, Edna Dias Canedo, Márcio Ribeiro, and Eduardo Monteiro
- Subjects
Hardware and Architecture ,Software ,Information Systems - Published
- 2023
4. Vaccination against canine leishmaniasis in Brazil
- Author
-
Luís Cardoso, Luigi Gradoni, Patrick Bourdeau, Christine A. Petersen, Laia Solano-Gallego, Lluís Ferrer, Orin Courtenay, Filipe Dantas-Torres, Paulo Tabanez, Gad Baneth, Gaetano Oliva, Domenico Otranto, Sydnei Magno da Silva, Fábio dos Santos Nogueira, Ingrid Menz, Maria Grazia Pennisi, Carlos Henrique Nery Costa, Carla Maia, Guadalupe Miró, and Vitor Márcio Ribeiro
- Subjects
0301 basic medicine ,Insecticides ,Administration, Topical ,030231 tropical medicine ,03 medical and health sciences ,Dogs ,0302 clinical medicine ,Environmental health ,Pyrethrins ,parasitic diseases ,Canine leishmaniasis ,medicine ,Animals ,Humans ,Dog Diseases ,Leishmania infantum ,Leishmaniasis Vaccines ,biology ,Transmission (medicine) ,Vaccination ,Zoonosis ,Leishmania ,Prevention ,Topical insecticides ,Brazil ,Insect Vectors ,Psychodidae ,Leishmaniasis, Visceral ,biology.organism_classification ,medicine.disease ,030104 developmental biology ,Infectious Diseases ,Visceral leishmaniasis ,Vaccination policy ,Parasitology - Abstract
Prevention of canine Leishmania infantum infection is critical to management of visceral leishmaniasis in people living in endemic areas of Brazil. A bill (PL 1738/11), currently under consideration, proposes to establish a national vaccination policy against canine leishmaniasis in Brazil. However, there is no solid scientific evidence supporting the idea that this could reduce transmission from infected vaccinated dogs to sand flies to a level that would significantly reduce the risk of L. infantum infection or visceral leishmaniasis in humans. Thus, we advocate that insecticide-impregnated collars should the first line protective measure for public health purposes and that vaccines are applied on a case-by-case, optional basis for individual dog protection.
- Published
- 2020
5. Effectiveness of Ultrasound in Formation of Oregano Essential Oil/β-Cyclodextrin Inclusion Complex: A Comparative Study
- Author
-
Neila Zanela Puerta, Lúcio Cardozo Filho, Renato Márcio Ribeiro Viana, Rita de Cássia Bergamasco, and Gisella Maria Zanin
- Subjects
History ,Polymers and Plastics ,Business and International Management ,Industrial and Manufacturing Engineering - Published
- 2022
6. Report of the presence of Leishmania infantum in the milk of a naturally infected female dog in Brazil
- Author
-
Vitor Márcio Ribeiro, Dermeval Magalhães Guedes Júnior, Jennifer Ottino, Guilherme Ribeiro Valle, Leticia Gracielle Tôrres de Miranda Estevam, Otávio Valério de Carvalho, and Gustavo Fontes Paz
- Subjects
General Veterinary ,Parasitology - Published
- 2022
7. Effectiveness of Ultrasound in Formation of Oregano Essential Oil/β-Cyclodextrin Inclusion Complex: A Comparative Study
- Author
-
Puerta, Neila Zanela, primary, Filho, Lúcio Cardozo, additional, Viana, Renato Márcio Ribeiro, additional, Bergamasco, Rita de Cássia, additional, and Zanin, Gisella Maria, additional
- Published
- 2022
- Full Text
- View/download PDF
8. A change-aware per-file analysis to compile configurable systems with #ifdefs
- Author
-
Sabrina Souto, Leopoldo Teixeira, Márcio Ribeiro, Rohit Gheyi, Larissa Braz, Melina Mongiovi, and Flávio Medeiros
- Subjects
Parsing ,Computer Networks and Communications ,Programming language ,Computer science ,Sampling (statistics) ,020207 software engineering ,02 engineering and technology ,computer.software_genre ,Feature model ,Transformation (function) ,Empirical research ,020204 information systems ,Configurable systems ,0202 electrical engineering, electronic engineering, information engineering ,Compiler ,computer ,Software - Abstract
Configurable systems typically use #ifdefs to denote variability. Generating and compiling all configurations may be time-consuming. An alternative consists of using variability-aware parsers, such as TypeChef. In practice, compiling complete systems may be costly. Therefore, developers use sampling strategies to compile only a subset of the configurations. In our previous work, we propose a change-aware per-file analysis to compile configurable systems with #ifdefs by analyzing only configurations impacted by a code change (transformation). We implement it in a tool called CheckConfigMX , which reports the new compilation errors introduced by the transformation. We extend our previous work by performing an empirical study to evaluate 7,891 transformations applied to 32 files of configurable systems such as Linux and OpenSSL. CheckConfigMX finds 1,699 compilation errors of 34 types introduced by 155 distinct developers in 756 commits (9.19% of the analyzed transformations). In our study, the tool reduces by at least 50% (an average of 99%) the effort of evaluating the analyzed transformations compared to the exhaustive approach and without considering a feature model. In addition, we also evaluate the effectiveness of CheckConfigMX by using mutation testing. We generate 11,229 mutants by applying eight mutant operators to some evaluated files. CheckConfigMX kills all mutants. Therefore, it may help developers to reduce compilation effort to evaluate fine-grained transformations applied to configurable systems with #ifdefs .
- Published
- 2018
9. Developers’ viewpoints to avoid bug-introducing changes
- Author
-
Márcio Ribeiro, R.P.A. Lima, Rohit Gheyi, Bruno Cartaxo, Alessandro Garcia, Gustavo Pinto, Jairo Souza, and Baldoino Fonseca
- Subjects
business.industry ,Computer science ,Software development ,Code coverage ,Context (language use) ,Viewpoints ,Data science ,Code (semiotics) ,Computer Science Applications ,Software development process ,Relevance (information retrieval) ,business ,Software ,Information Systems - Abstract
Context: During software development, developers can make assumptions that guide their development practices to avoid bug-introducing changes. For instance, developers may consider that code with low test coverage is more likely to introduce bugs; and thus, focus their attention on that code to avoid bugs, neglecting other factors during the software development process. However, there is no knowledge about the relevance of these assumptions for developers. Objective: This study investigates the developers’ viewpoints on the relevance of certain assumptions to avoid bug-introducing changes. In particular, we analyze which assumptions developers can make during software development; how relevant these assumptions are for developers; the common viewpoints among developers regarding these assumptions; and the main reasons for developers to put more/less relevance for some assumptions. Method: We applied the Q-methodology, a mixed-method from the psychometric spectrum, to investigate the relevance of assumptions and extract the developers’ viewpoints systematically. We involved 41 developers analyzing 41 assumptions extracted from literature and personal interviews. Results: We identified five viewpoints among developers regarding their assumptions around bug-introducing changes. Despite the differences among the viewpoints, there is also consensus, for example, regarding the importance of being aware of changes invoking high number of features. Moreover, developers rely on personal and technical reasons to put relevance on some assumptions. Conclusion: These findings are valuable knowledge for practitioners and researchers towards future research directions and development practices improvements.
- Published
- 2022
10. Exploring the use of static and dynamic analysis to improve the performance of the mining sandbox approach for android malware identification
- Author
-
Krishna Narasimhan, João Victor da Silva, Francisco Handrick da Costa, Márcio Ribeiro, Ismael Medeiros, Thales Menezes, Rodrigo Bonifácio, and Ingrid Lorraine da Silva
- Subjects
FOS: Computer and information sciences ,Software_OPERATINGSYSTEMS ,Computer Science - Cryptography and Security ,Database ,Computer science ,Fuzz testing ,Static analysis ,computer.software_genre ,Software Engineering (cs.SE) ,Computer Science - Software Engineering ,Identification (information) ,Taint checking ,Hardware and Architecture ,Leverage (statistics) ,Malware ,Sandbox (software development) ,Android (operating system) ,Cryptography and Security (cs.CR) ,computer ,Software ,Information Systems - Abstract
The Android mining sandbox approach consists in running dynamic analysis tools on a benign version of an Android app and recording every call to sensitive APIs. Later, one can use this information to (a) prevent calls to other sensitive APIs (those not previously recorded) or (b) run the dynamic analysis tools again in a different version of the app -- in order to identify possible malicious behavior. Although the use of dynamic analysis for mining Android sandboxes has been empirically investigated before, little is known about the potential benefits of combining static analysis with the mining sandbox approach for identifying malicious behavior. As such, in this paper we present the results of two empirical studies: The first is a non-exact replication of a previous research work from Bao et al., which compares the performance of test case generation tools for mining Android sandboxes. The second is a new experiment to investigate the implications of using taint analysis algorithms to complement the mining sandbox approach in the task to identify malicious behavior. Our study brings several findings. For instance, the first study reveals that a static analysis component of DroidFax (a tool used for instrumenting Android apps in the Bao et al. study) contributes substantially to the performance of the dynamic analysis tools explored in the previous work. The results of the second study show that taint analysis is also practical to complement the mining sandboxes approach, improve the performance of the later strategy in at most 28.57%., 31 pages, 6 figures. Paper accepted for publication in The Journal of Systems & Software
- Published
- 2022
11. Revisiting the refactoring mechanics
- Author
-
Gustavo Soares, Márcio Ribeiro, Melina Mongiovi, Alessandro Garcia, Rohit Gheyi, and Jonhnanthan Oliveira
- Subjects
Java ,Computer science ,business.industry ,020207 software engineering ,Context (language use) ,02 engineering and technology ,Mechanics ,Software_PROGRAMMINGTECHNIQUES ,computer.software_genre ,Computer Science Applications ,Code refactoring ,Software_SOFTWAREENGINEERING ,TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS ,020204 information systems ,0202 electrical engineering, electronic engineering, information engineering ,Key (cryptography) ,Meaning (existential) ,Software_PROGRAMMINGLANGUAGES ,business ,computer ,Software ,Information Systems ,computer.programming_language ,Agile software development - Abstract
Context Refactoring is a key practice in agile methodologies used by a number of developers, and available in popular IDEs. However, it is unclear whether the refactoring mechanics have the same meaning for developers. Objective In this article, we revisit the refactoring mechanics. Method We conduct a survey with 107 developers of popular Java projects on GitHub. We asked them about the output of seven refactoring types applied to small programs. Results Developers do not expect the same outputs in all questions. The refactoring mechanics is based on developers’ experience for a number of them (71.02%). Some developers (75.70%) use IDEs to apply refactorings. However, the output yielded by the preferred IDE is different from what they want. Conclusion Developers and IDE developers use different mechanics for most refactoring types considered in our survey, and this may impact developers’ communication.
- Published
- 2019
12. Barrier device prototype for open tracheotomy during COVID-19 pandemic
- Author
-
Filho, Wellington Alves, primary, Teles, Tulio Sampaio Pontes Grangeiro, additional, da Fonseca, Márcio Ribeiro Studart, additional, Filho, Francisco Januário Farias Pereira, additional, Pereira, Glebert Monteiro, additional, Pontes, Alan Breno Moura, additional, de Paula, Eliane Maria da Silva, additional, Nunes, Andre Alencar Araripe, additional, and Ferreira, Luis Alberto Albano, additional
- Published
- 2020
- Full Text
- View/download PDF
13. An idiom to represent data types in Alloy
- Author
-
Rohit Gheyi, Márcio Ribeiro, Augusto Sampaio, and Paulo Borba
- Subjects
Interpretation (logic) ,Computer science ,Programming language ,020207 software engineering ,Context (language use) ,0102 computer and information sciences ,02 engineering and technology ,Type (model theory) ,computer.software_genre ,01 natural sciences ,Data type ,Computer Science Applications ,Alloy Analyzer ,Unified Modeling Language ,010201 computation theory & mathematics ,TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS ,0202 electrical engineering, electronic engineering, information engineering ,computer ,Software ,Axiom ,Language construct ,Information Systems ,computer.programming_language - Abstract
Context: It is common to consider Alloy signatures or UML classes as data types that have a canonical fixed interpretation: the elements of the type correspond to terms recursively generated by the type constructors. However, these language constructs resemble data types but, strictly, they are not. Objective: In this article, we propose an idiom to specify data types in Alloy. Method: We compare our approach to others in the context of checking data refinement using the Alloy Analyzer tool. Results: Some previous studies do not include the generation axiom and may perform unsound analysis. Other studies recommend some optimizations to overcome a limitation in the Alloy Analyzer tool. Conclusion: The problem is not related to the tool but the way data types must be represented in Alloy. This study shows the importance of using automated analyses to test translation between different language constructs.
- Published
- 2017
14. Identifying method-level mutation subsumption relations using Z3
- Author
-
Márcio Ribeiro, Marcio Augusto Guimarães, Leo Fernandes, Baldoino Fonseca, Beatriz Souza, Marcelo d'Amorim, Vander Alves, Leopoldo Teixeira, and Rohit Gheyi
- Subjects
business.industry ,Computer science ,Truth table ,Context (language use) ,Expression (computer science) ,ENCODE ,Machine learning ,computer.software_genre ,ComputingMethodologies_ARTIFICIALINTELLIGENCE ,Computer Science Applications ,Automated theorem proving ,Mutation (genetic algorithm) ,Mutation testing ,Test suite ,Artificial intelligence ,business ,computer ,Software ,Information Systems - Abstract
Context: Mutation analysis is a popular but costly approach to assess the quality of test suites. One recent promising direction in reducing costs of mutation analysis is to identify redundant mutations, i.e., mutations that are subsumed by some other mutations. A previous approach found redundant mutants manually through truth tables but it cannot be applied to all mutations. Another work derives them using automatic test suite generators but it is a time consuming task to generate mutants and tests, and to execute tests. Objective: This article proposes an approach to discover redundant mutants by proving subsumption relations among method-level mutation operators using weak mutation testing. Method: We conceive and encode a theory of subsumption relations in the Z3 theorem prover for 37 mutation targets (mutations of an expression or statement). Results: We automatically identify and prove a number of subsumption relations using Z3, and reduce the number of mutations in a number of mutation targets. To evaluate our approach, we modified MuJava to include the results of 24 mutation targets and evaluate our approach in 125 classes of 5 large open source popular projects used in prior work. Our approach correctly discards mutations in 75.93% of the cases, and reduces the number of mutations by 71.38%. Conclusions: Our approach offers a good balance between the effort required to derive subsumption relations and the effectiveness for the targets considered in our evaluation in the context of strong mutation testing.
- Published
- 2021
15. Assessing fine-grained feature dependencies
- Author
-
Márcio Ribeiro, Baldoino Fonseca, Rohit Gheyi, Flávio Medeiros, Paulo Borba, and Iran Rodrigues
- Subjects
Parsing ,Source code ,Computer science ,Programming language ,media_common.quotation_subject ,020207 software engineering ,Context (language use) ,02 engineering and technology ,computer.software_genre ,01 natural sciences ,Computer Science Applications ,Task (project management) ,Dependency theory (database theory) ,010104 statistics & probability ,0202 electrical engineering, electronic engineering, information engineering ,Feature (machine learning) ,Preprocessor ,0101 mathematics ,Function (engineering) ,computer ,Software ,Information Systems ,media_common - Abstract
Context: Maintaining software families is not a trivial task. Developers commonly introduce bugs when they do not consider existing dependencies among features. When such implementations share program elements, such as variables and functions, inadvertently using these elements may result in bugs. In this context, previous work focuses only on the occurrence of intraprocedural dependencies, that is, when features share program elements within a function. But at the same time, we still lack studies investigating dependencies that transcend the boundaries of a function, since these cases might cause bugs as well.Objective: This work assesses to what extent feature dependencies exist in actual software families, answering research questions regarding the occurrence of intraprocedural, global, and interprocedural dependencies and their characteristics.Method: We perform an empirical study covering 40 software families of different domains and sizes. We use a variability-aware parser to analyze families source code while retaining all variability information.Results: Intraprocedural and interprocedural feature dependencies are common in the families we analyze: more than half of functions with preprocessor directives have intraprocedural dependencies, while over a quarter of all functions have interprocedural dependencies. The median depth of interprocedural dependencies is 9.Conclusion: Given these dependencies are rather common, there is a need for tools and techniques to raise developers awareness in order to minimize or avoid problems when maintaining code in the presence of such dependencies. Problems regarding interprocedural dependencies with high depths might be harder to detect and fix.
- Published
- 2016
16. Insulin and IGF-1 regularize energy metabolites in neural cells expressing full-length mutant huntingtin
- Author
-
Luana Naia, Ana I. Duarte, Carla Lopes, Joana Rodrigues, Michael R. Hayden, A. Cristina Rego, Tatiana R. Rosenstock, and Márcio Ribeiro
- Subjects
0301 basic medicine ,medicine.medical_specialty ,Huntingtin ,medicine.medical_treatment ,Biology ,Cell Line ,Phosphocreatine ,Mice ,03 medical and health sciences ,Cellular and Molecular Neuroscience ,chemistry.chemical_compound ,0302 clinical medicine ,Endocrinology ,Internal medicine ,Lactate dehydrogenase ,medicine ,Huntingtin Protein ,Animals ,Humans ,Insulin ,Gene Knock-In Techniques ,Insulin-Like Growth Factor I ,Cerebral Cortex ,Neurons ,Endocrine and Autonomic Systems ,General Medicine ,Pyruvate dehydrogenase complex ,Corpus Striatum ,Pyruvate carboxylase ,Disease Models, Animal ,Huntington Disease ,030104 developmental biology ,Neurology ,chemistry ,Mutation ,Energy Metabolism ,Adenosine triphosphate ,030217 neurology & neurosurgery - Abstract
Huntington's disease (HD) is an autosomal dominant neurodegenerative disorder linked to the expression of mutant huntingtin. Bioenergetic dysfunction has been described to contribute to HD pathogenesis. Thus, treatment paradigms aimed to ameliorate energy deficits appear to be suitable candidates in HD. In previous studies, we observed protective effects of insulin growth factor-1 (IGF-1) in YAC128 and R6/2 mice, two HD mouse models, whereas IGF-1 and/or insulin halted mitochondrial-driven oxidative stress in mutant striatal cells and mitochondrial dysfunction in HD human lymphoblasts. Here, we analyzed the effect of IGF-1 versus insulin on energy metabolic parameters using striatal cells derived from HD knock-in mice and primary cortical cultures from YAC128 mice. STHdh(Q111/Q111) cells exhibited decreased ATP/ADP ratio and increased phosphocreatine levels. Moreover, pyruvate levels were increased in mutant cells, most probably in consequence of a decrease in pyruvate dehydrogenase (PDH) protein expression and increased PDH phosphorylation, reflecting its inactivation. Insulin and IGF-1 treatment significantly decreased phosphocreatine levels, whereas IGF-1 only decreased pyruvate levels in mutant cells. In a different scenario, primary cortical cultures derived from YAC128 mice also displayed energetic abnormalities. We observed a decrease in both ATP/ADP and phosphocreatine levels, which were prevented following exposure to insulin or IGF-1. Furthermore, decreased lactate levels in YAC128 cultures occurred concomitantly with a decline in lactate dehydrogenase activity, which was ameliorated with both insulin and IGF-1. These data demonstrate differential HD-associated metabolic dysfunction in striatal cell lines and primary cortical cultures, both of which being alleviated by insulin and IGF-1.
- Published
- 2016
17. Sporadic Creutzfeldt–Jakob disease diagnostic accuracy is improved by a new CSF ELISA 14-3-3γ assay
- Author
-
Maria J. Ribeiro, Márcio Ribeiro, Maria Rosário Almeida, Maria João Leitão, Ana C. Santos, Catarina R. Oliveira, S. Rocha, Isabel Santana, J. Tomás, and Inês Baldeiras
- Subjects
Adult ,Male ,0301 basic medicine ,Apolipoprotein E ,Pathology ,medicine.medical_specialty ,Adolescent ,Blotting, Western ,Population ,Enzyme-Linked Immunosorbent Assay ,tau Proteins ,Biology ,Sensitivity and Specificity ,Creutzfeldt-Jakob Syndrome ,Prion Proteins ,PRNP ,Young Adult ,03 medical and health sciences ,Apolipoproteins E ,0302 clinical medicine ,Cerebrospinal fluid ,Western blot ,mental disorders ,Genotype ,medicine ,Humans ,Phosphorylation ,Child ,education ,Genotyping ,Aged ,Aged, 80 and over ,education.field_of_study ,Predictive marker ,medicine.diagnostic_test ,General Neuroscience ,Middle Aged ,030104 developmental biology ,14-3-3 Proteins ,Female ,Biomarkers ,030217 neurology & neurosurgery - Abstract
Protein 14-3-3 is a reliable marker of rapid neuronal damage, specifically increased in cerebrospinal fluid (CSF) of sporadic Creutzfeldt-Jakob disease (sCJD) patients. Its detection is usually performed by Western Blot (WB), prone to methodological issues. Our aim was to evaluate the diagnostic performance of a recently developed quantitative enzyme-linked immunosorbent (ELISA) assay for 14-3-3γ, in comparison with WB and other neurodegeneration markers. CSF samples from 145 patients with suspicion of prion disease, later classified as definite sCJD (n=72) or Non-prion diseases (Non-CJD; n=73) comprised our population. 14-3-3 protein was determined by WB and ELISA. Total Tau (t-Tau) and phosphorylated Tau (p-Tau) were also evaluated. Apolipoprotein E gene (ApoE) and prionic protein gene (PRNP) genotyping was assessed. ELISA 14-3-3γ levels were significantly increased in sCJD compared to Non-CJD patients (p
- Published
- 2016
18. Protective effects of 3-alkyl luteolin derivatives are mediated by Nrf2 transcriptional activity and decreased oxidative stress in Huntington's disease mouse striatal cells
- Author
-
Márcio Ribeiro, Artur M. S. Silva, Raquel S. G. R. Seixas, Susana M. Cardoso, A. Cristina Rego, and Ana Oliveira
- Subjects
NF-E2-Related Factor 2 ,Glutamate-Cysteine Ligase ,SOD1 ,medicine.disease_cause ,Cell Line ,Superoxide dismutase ,Mice ,Cellular and Molecular Neuroscience ,chemistry.chemical_compound ,Superoxide Dismutase-1 ,Huntingtin Protein ,medicine ,Animals ,Gene Knock-In Techniques ,Viability assay ,Luteolin ,Neurons ,Serotonin Plasma Membrane Transport Proteins ,chemistry.chemical_classification ,Reactive oxygen species ,biology ,Caspase 3 ,Superoxide Dismutase ,Cell Biology ,Molecular biology ,Neostriatum ,Oxidative Stress ,Huntington Disease ,Neuroprotective Agents ,GCLC ,chemistry ,biology.protein ,Reactive Oxygen Species ,Oxidative stress - Abstract
Huntington's disease (HD) is a polyglutamine-expansion neurodegenerative disorder caused by increased number of CAG repeats in the HTT gene, encoding for the huntingtin protein. The mutation is linked to several intracellular mechanisms, including oxidative stress. Flavones are compounds with a protective role in neurodegenerative pathologies. In the present study we analyzed the protective effect of luteolin (Lut, 3',4',5,7-tetrahydroxyflavone) and four luteolin derivatives bearing 3-alkyl chains of 1, 4, 6 and 10 carbons (Lut-C1, Lut-C4, Lut-C6, Lut-C10) in striatal cells derived from HD knock-in mice expressing mutant Htt (STHdh(Q111/Q111)) versus wild-type striatal cells (STHdh(Q7/Q7)). HD cells showed increased caspase-3-like activity and intracellular reactive oxygen species (ROS), which were significantly decreased following treatment with Lut-C4 and Lut-C6 under concentrations that enhanced cell viability. Interestingly, Lut-C4 and Lut-C6 rose the nuclear levels of phospho(Ser40)-nuclear factor (erythroid-derived-2)-like 2 (Nrf2) and Nrf2/ARE transcriptional activity. Concordantly with increased Nrf2/ARE transcription, Lut-C6 enhanced superoxide dismutase 1 (SOD1) mRNA and SOD activity and glutamate-cysteine ligase catalytic subunit (GCLc) mRNA and protein levels, while Lut-C4 induced mRNA levels of GCLc only in mutant striatal cells. Data suggest that Lut-C6 luteolin derivative (in particular) might be relevant for the development of antioxidant strategies in HD.
- Published
- 2015
19. A systematic literature review of techniques and metrics to reduce the cost of mutation testing
- Author
-
Fabiano Cutigi Ferrari, Alessandro Viola Pizzoleto, Leonardo Fernandes, Jeff Offutt, and Márcio Ribeiro
- Subjects
Speedup ,business.industry ,Computer science ,05 social sciences ,Mutant ,Evolutionary algorithm ,020207 software engineering ,02 engineering and technology ,Machine learning ,computer.software_genre ,Systematic review ,Test case ,Hardware and Architecture ,0502 economics and business ,Mutation (genetic algorithm) ,0202 electrical engineering, electronic engineering, information engineering ,Mutation testing ,Artificial intelligence ,business ,computer ,050203 business & management ,Software ,Information Systems - Abstract
Historically, researchers have proposed and applied many techniques to reduce the cost of mutation testing. It has become difficult to find all techniques and to understand the cost-benefit tradeoffs among them, which is critical to transitioning this technology to practice. This paper extends a prior workshop paper to summarize and analyze the current knowledge about reducing the cost of mutation testing through a systematic literature review. We selected 175 peer-reviewed studies, from which 153 present either original or updated contributions. Our analysis resulted in six main goals for cost reduction and 21 techniques. In the last decade, a growing number of studies explored techniques such as selective mutation, evolutionary algorithms, control-flow analysis, and higher-order mutation. Furthermore, we characterized 18 metrics, with particular interest in the number of mutants to be executed, test cases required, equivalent mutants generated and detected, and mutant execution speedup. We found that cost reduction for mutation is increasingly becoming interdisciplinary, often combining multiple techniques. Additionally, measurements vary even for studies that use the same techniques. Researchers can use our results to find more detailed information about particular techniques, and to design comparable and reproducible experiments.
- Published
- 2019
20. AutoRefactoring: A platform to build refactoring agents
- Author
-
Márcio Ribeiro, Carlos José Pereira de Lucena, Evandro Costa, Baldoino Fonseca dos Santos Neto, Viviane Torres da Silva, and Christiano Braga
- Subjects
Java ,Computer science ,business.industry ,Autonomous agent ,Real-time computing ,General Engineering ,Code smell ,Software maintenance ,computer.software_genre ,Software quality ,Computer Science Applications ,Software ,Code refactoring ,Artificial Intelligence ,Code (cryptography) ,Software engineering ,business ,computer ,computer.programming_language - Abstract
Software maintenance may degrade the software quality. One of the primary ways to reduce undesired effects of maintenance is refactoring, which is a technique to improve software code quality without changing its observable behavior. To safely apply a refactoring, several issues must be considered: (i) identify the code parts that should be improved; (ii) determine the changes that must be applied to the code in order to improve its; (iii) evaluate the corrections impacts on code quality; and (iv) check that the observable behavior of the software will be preserved after applying the corrections. Given the amount of issues to consider, refactoring by hand has been assumed to be an expensive and error-prone task. Therefore, in this paper, we propose an agent-based platform that enables to implement an agent able to autonomously deal with the above mentioned refactoring issues. To evaluate our approach, we performed an empirical study on code smells detection and correction, code quality improvement and preservation of the software observable behavior. To answer our research questions, we analyze 5 releases of Java open source projects, ranging from 166 to 711 classes.
- Published
- 2015
21. A design rule language for aspect-oriented programming
- Author
-
Márcio Ribeiro, Carlos Eduardo Pontual, Fernando Castor, Rodrigo Bonifácio, Alberto Costa Neto, and Paulo Borba
- Subjects
COLA (software architecture) ,Class (computer programming) ,Modularity (networks) ,Computer science ,Programming language ,Process (engineering) ,Aspect-oriented programming ,AspectJ ,Specification language ,computer.software_genre ,Hardware and Architecture ,Compiler ,computer ,Software ,Information Systems ,computer.programming_language - Abstract
HighlightsWe present a design rule specification language for aspect-oriented systems.We explore its benefits to supporting the modular development of classes and aspects.We discuss how our language improves crosscutting modularity without breaking class modularity.We present a Compiler for LSD and AspectJ (COLA), a tool to automate design rules checking.We evaluate it using a real case study and compare it with other approaches. Aspect-oriented programming is known as a technique for modularizing crosscutting concerns. However, constructs aimed to support crosscutting modularity might actually break class modularity. As a consequence, class developers face changeability, parallel development and comprehensibility problems, because they must be aware of aspects whenever they develop or maintain a class. At the same time, aspects are vulnerable to changes in classes, since there is no contract specifying the points of interaction amongst these elements. These problems can be mitigated by using adequate design rules between classes and aspects. We present a design rule specification language and explore its benefits since the initial phases of the development process, specially with the aim of supporting modular development of classes and aspects. We discuss how our language improves crosscutting modularity without breaking class modularity. We evaluate it using a real case study and compare it with other approaches.
- Published
- 2013
22. FK506 ameliorates cell death features in Huntington’s disease striatal cell models
- Author
-
Catarina R. Oliveira, Susana R. Louros, Márcio Ribeiro, Ildete L. Ferreira, Olga Martins de Brito, Tatiana R. Rosenstock, Sandra Aparecida de Almeida, A. Cristina Rego, and Vittoria Lombardi
- Subjects
Programmed cell death ,Necrosis ,Huntingtin ,Blotting, Western ,Apoptosis ,Mice, Transgenic ,Nerve Tissue Proteins ,DNA Fragmentation ,Biology ,Neuroprotection ,Tacrolimus ,Cell Line ,Mice ,Cellular and Molecular Neuroscience ,Cytosol ,medicine ,Animals ,Humans ,Staurosporine ,Neurons ,Huntingtin Protein ,Cell Death ,Caspase 3 ,Neurodegeneration ,Nuclear Proteins ,Cell Biology ,Nitro Compounds ,medicine.disease ,Molecular biology ,Corpus Striatum ,Mitochondria ,Huntington Disease ,Neuroprotective Agents ,Apoptosis-inducing factor ,Propionates ,medicine.symptom ,Immunosuppressive Agents ,Subcellular Fractions ,medicine.drug - Abstract
Huntington's disease (HD) is a genetic neurodegenerative disorder characterized by striatal neurodegeneration, involving apoptosis. FK506, an inhibitor of calcineurin (or protein phosphatase 3, formerly known as protein phosphatase 2B), has shown neuroprotective effects in several cellular and animal models of HD. In the present study, we show the protective effects of FK506 in two striatal HD models, primary rat striatal neurons treated with 3-nitropropionic acid (3-NP) and immortalized striatal STHdh cells derived from HD knock-in mice expressing normal (STHdh(7/7)) or full-length mutant huntingtin (FL-mHtt) with 111 glutamines (STHdh(111/111)), under basal conditions and after exposure to 3-NP or staurosporine (STS). In rat striatal neurons, FK506 abolished 3-NP-induced increase in caspase-3 activation, DNA fragmentation/condensation and necrosis. Nevertheless, in STHdh(111/111) cells under basal conditions, FK506 did not prevent, in a significant manner, the release of cytochrome c and apoptosis inducing factor (AIF) from mitochondria, or alter Bax/Bcl-2 ratio, but significantly reverted caspase-3 activation. In STHdh(111/111) cells treated with 0.3mM 3-NP or 25 nM STS, linked to high necrosis, exposure to FK506 exerted no significant effects on caspase-3 activation. However, treatment of STHdh(111/111) cells exposed to 10nM STS with FK506 effectively prevented cell death by apoptosis and moderate necrosis. The results suggest that FK506 may be neuroprotective against apoptosis and necrosis under mild cell death stimulus in the presence of FLmHtt.
- Published
- 2011
23. Mitochondrial-dependent apoptosis in Huntington's disease human cybrids
- Author
-
Maria João Santos, Cristina Januário, Márcio Ribeiro, Catarina R. Oliveira, João Pratas, Maria Augusta Vilalobos Nascimento, Ildete L. Ferreira, A. Cristina Rego, Sandra Aparecida de Almeida, Sandra M. Cardoso, and Manuela Grazina
- Subjects
Intracellular Fluid ,Teratocarcinoma ,Time Factors ,Apoptosis ,Mitochondrion ,Electron Transport Complex III ,0302 clinical medicine ,Superoxides ,Enzyme Inhibitors ,bcl-2-Associated X Protein ,Membrane Potential, Mitochondrial ,Genetics ,0303 health sciences ,Bcl-2-Like Protein 11 ,Caspase 3 ,Cytochrome c ,Apoptosis Inducing Factor ,Mitocôndria ,Mitochondria ,Huntington Disease ,bcl-2 Homologous Antagonist-Killer Protein ,Mitochondrial respiratory chain ,Proto-Oncogene Proteins c-bcl-2 ,Neurology ,Apoptosis-inducing factor ,Bcl-2 Homologous Antagonist-Killer Protein ,Subcellular Fractions ,Adult ,Programmed cell death ,Citrate (si)-Synthase ,Biology ,DNA, Mitochondrial ,Electron Transport Complex IV ,03 medical and health sciences ,Bcl-2-associated X protein ,Developmental Neuroscience ,Multienzyme Complexes ,Cell Line, Tumor ,Proto-Oncogene Proteins ,Humans ,030304 developmental biology ,Analysis of Variance ,Dose-Response Relationship, Drug ,L-Lactate Dehydrogenase ,Apoptose ,Membrane Proteins ,Staurosporine ,Molecular biology ,Gene Expression Regulation ,Doença de Huntington ,Case-Control Studies ,Nitrobenzoates ,biology.protein ,Apoptosis Regulatory Proteins ,Reactive Oxygen Species ,Trinucleotide Repeat Expansion ,030217 neurology & neurosurgery - Abstract
We investigated the involvement of mitochondrial-dependent apoptosis in Huntington's disease (HD) vs. control (CTR) cybrids, obtained from the fusion of human platelets with mitochondrial DNA-depleted NT2 cells, and further exposed to 3-nitropropionic acid (3-NP) or staurosporine (STS). Untreated HD cybrids did not exhibit significant modifications in the activity of mitochondrial respiratory chain complexes I-IV or in mtDNA sequence variations suggestive of a primary role in mitochondrial susceptibility in the subpopulation of HD carriers studied. However, a slight decrease in mitochondrial membrane potential and increased formation of intracellular hydroperoxides was observed in HD cybrids under basal conditions. Furthermore, apoptotic nuclei morphology and a moderate increase in caspase-3 activation, as well as increased levels of superoxide ions and hydroperoxides were observed in HD cybrids upon 3-NP or STS treatment. 3-NP-evoked apoptosis in HD cybrids involved cytochrome c and AIF release from mitochondria, which was associated with mitochondrial Bax translocation. CTR cybrids subjected to 3-NP showed increased mitochondrial Bax and Bim levels and the release of AIF, but not cytochrome c, suggesting a different mode of cell death, linked to the loss of membrane integrity. Additionally, increased mitochondrial Bim and Bak levels, and a slight release of cytochrome c in untreated HD cybrids may help to explain their moderate susceptibility to mitochondrial-dependent apoptosis.
- Published
- 2010
24. Thrombin-like enzyme from Lachesis muta muta venom: Isolation and topographical analysis of its active site structure by means of the binding of amidines and guanidines as competitive inhibitors
- Author
-
Henrique P. B. Magalhães, Márcio Ribeiro Monteiro, Edyr Rogana, Arinos Magalhães, and Marcos Mares-Guia
- Subjects
chemistry.chemical_classification ,Binding Sites ,Serine Proteinase Inhibitors ,biology ,Stereochemistry ,Thrombin ,Poison control ,Active site ,Toxicology ,Binding, Competitive ,Benzamidine ,Benzamidines ,Dissociation constant ,chemistry.chemical_compound ,Enzyme ,chemistry ,Affinity chromatography ,Sephadex ,Crotalid Venoms ,Viperidae ,biology.protein ,Animals ,Enzyme kinetics ,Guanidine - Abstract
A serine protease enzyme was purified from Lachesis muta muta venom, with 40% yield, by gel filtration on Sephadex G-100 and affinity chromatography on Sepharose-agmatin. Homogeneity of the enzyme preparation was demonstrated by sodium dodecyl sulfate-polyacrylamide gel electrophoresis and the enzyme had a relative mol. wt of 45,000. The molar extinction coefficient at 280 nm was 62127 (M × cm)−1. The enzyme hydrolysed Bz-Arg-Nan with Ks = 0.233 + 0.08 mM and kcat = 2.80 ± 0.07 sec−1. All the amidines and guanidines tested for their inhibitory effect on thrombin-like enzyme behaved as competitive inhibitors of the enzyme with Ki values in the range 6.2 PM to 42.3 mM for amidines and 0.19 mM to 9.31 mM for guanidines. Dissociation constant values were analysed in terms of the binding of the inhibitors with the subsite S1 the specificity pocket of the enzyme. Ki values were discussed in accordance with those for trypsin inhibition. β-Naphthamidine was the strongest inhibitor, while guanidine was the weakest. The differences among the Ki values were interpreted in terms of the shape of the enzyme active site. For meta- and para-substituted benzamidinium ions a good correlation was found between log 1 K i and sigma Hammett values of the substituents. The substituent effects in the pi-electrons of the benzamidine ring were considered in the frame of Hiickel molecular orbital theory. A model for the binding of p-benzamidine derivatives with the primary specificity S1 subsite of the enzyme active site was proposed.
- Published
- 1997
25. Detecção precoce de deficiência visual e sua relação com o rendimento escolar: study in A
- Author
-
Toledo, Carolina Cumani, primary, Paiva, Ana Paula Garcia, additional, Camilo, Gustavo Bittencourt, additional, Maior, Márcio Ribeiro Sotto, additional, Leite, Isabel Cristina Gonçalves, additional, and Guerra, Maximiliano Ribeiro, additional
- Published
- 2010
- Full Text
- View/download PDF
26. Thrombin-like enzyme from Lachesis muta muta venom: Isolation and topographical analysis of its active site structure by means of the binding of amidines and guanidines as competitive inhibitors
- Author
-
Magalhàes, Arinos, primary, Monteiro, Márcio Ribeiro, additional, Magalhàes, Henrique P.B., additional, Mares-Guia, Marcos, additional, and Rogana, Edyr, additional
- Published
- 1997
- Full Text
- View/download PDF
Catalog
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.