This study examined people’s attitudes towards killing bugs and their bug-killing behaviour in the context of nature vs. nurture explanations of bug killing. Previous research shows that exposure to genetic (i.e., nature) explanations could have undesirable effects on people’s attitudes and behaviour, compared to the exposure to experiential(i.e., nurture) explanations. Genetic explanations for killing may affect attitudes towards killing and killing behaviour, because they suggest that killing behaviour is predetermined or programmed by nature. Such explanations may also be used by individuals to overcome guilt and dissonance from prior killing or killing in which they are about to participate. This study tested the idea that exposure to genetic explanations for bug killing would lead people to view killing bugs as more morally acceptable, as well as lead them to kill more bugs. A sample of university students was randomly assigned into three conditions, in which they read either genetic or experiential explanations for why people kill bugs or read a neutral passage. The study utilised a procedure in which participants were led to believe that they were killing bugs (although in actuality no bugs were killed), to observe their killing behaviour in a self-paced killing task. Half of the participants were also asked to kill a bug prior to the self-paced killing task. Results showed that participants who read genetic explanations viewed bug killing as more morally acceptable, compared to participants who read experiential explanations, and this occurred particularly among those who engaged in the prior killing task. However, no similar effects emerged for the number of bugs killed, though there was a positive correlation between the moral acceptance of bug killing and the number of bugs killed. Implications of genetic explanations with respect to aggression and killing are discussed.

Em contraste com a prevalência e importância dos estágios jovens dos insetos, suas características permanecem, em grande medida, desconhecidas. Das mais de 4.100 espécies de Pentatomidae (Hemiptera, Heteroptera), apenas 125 e 98 espécies tiveram a morfologia dos estágios de ovo e ninfa descritos, respectivamente. O reconhecimento das espécies de pentatomídeos é feito com base em caracteres de morfologia externa e genitália dos adultos; porém também os estágios imaturos apresentam características as quais permitem identificações ao nível de família, gênero e espécie. O gênero Chinavia possui 32 espécies registradas para o Brasil, das quais 12 ocorrem no Rio Grande do Sul. Apesar da diversidade, da ampla distribuição e da importância agrícola do gênero, somente oito dessas espécies têm seus imaturos descritos. O presente estudo descreve a morfologia dos ovos e dos cinco ínstares ninfais das seguintes espécies: Chinavia aseada (Rolston, 1983), Chinavia armigera (Stål, 1854), Chinavia brasicola (Rolston, 1983) e Chinavia runaspis (Dallas, 1851), e a biologia das últimas três espécies citadas. Foram elaboradas descrições e ilustrações, obtidos dados morfométricos e investigados aspectos de biologia. As espécies estudadas compartilham com as demais espécies de Chinavia características diagnósticas em nível genérico. Todas as quatro espécies do presente estudo apresentam ovos de cor castanha. Entretanto, os ovos de C. armigera apresentam uma coloração brilhante, ao passo que as demais espécie tem ovos opacos. A forma do ovo, a esculturação da superfície do cório e a forma dos processos aero-micropilares são semelhantes ao que foi observado em outras espécies do gênero. No 1° ínstar, todas as espécies do gênero apresentam uma mancha dorsal, cujo tamanho e forma podem variar, bem como a coloração, que vai de amarela a vermelha. Em C. runaspis, a mancha dorsal característica do gênero apresenta tamanho maior que nas demais espécies, o que auxilia na identificação a nível específico já no 1° ínstar. A partir do 2° ínstar surgem manchas no dorso abdominal, cujo padrão de coloração e distribuição pode auxiliar na identificação a nível específico. Tais manchas se tornam mais amplas na medida em que o inseto se desenvolve. A formação do escutelo é visível no 3° ínstar. No 4° ínstar, aparecem as pterotecas mesotorácicas, mas essas não cobrem o metanoto. No 5° ínstar, as pterotecas ultrapassam ou pelo menos atingem a margem posterior do metanoto, e as ninfas já exibem diferenciação sexual. Neste ínstar as características diagnósticas tornam-se mais evidentes, o que facilita a identificação a nível específico. O tempo médio de desenvolvimento entre os estágios de ovo e adulto foi de 44,71 ± 5,59 dias. Este estudo visa ampliar o conhecimento dos imaturos de Chinavia, através de comparações com outras espécies congenéricas já conhecidas e a elaboração de chaves de identificação para as espécies sul-rio-grandenses, que por sua vez auxiliarão a identificação das ninfas, além de propiciar o encontro de caracteres, nas formas imaturas, que sejam relevantes para taxonomia e filogenia do grupo. / In contrast to the prevalence and importance of the immature stages of insects, their characteristics remain largely unknown. There are more than 4,100 species of Pentatomidae (Hemiptera, Heteroptera), but only 125 and 98 species had egg and nymphal stages morphology described, respectively. Recognition of Pentatomidae species is based mainly on characters of adults general morphology and genitalia, but also the immature stages have features which allow identification at the family, genus and species level. Chinavia has 32 species registered in Brazil, of which 12 occur in Rio Grande do Sul. Despite the diversity, wide distribution and agricultural importance of the genus, only eight of these species have their immature described. The present study describes the morphology of eggs and five nymphal ínstars of the four remaining species: Chinavia aseada (Rolston, 1983), Chinavia armigera (Stål, 1854), Chinavia brasicola (Rolston, 1983) and Chinavia runaspis (Dallas, 1851), and the biology of the last three species. Descriptions and illustrations were prepared, morphometric data obtained and aspects of biology were investigated. The species share with other species of Chinavia diagnostic features in the generic level. All four species of this study have brown eggs. However, eggs of C. armigera have a bright color, while other species have eggs opaque. The egg shape, the sculpturing of the chorion surface and shape of the aero-micropylar processes are similar to the other species. In the first ínstar, all species have a dorsal spot, whose size and shape may differ among them, as well as the color, ranging from yellow to red In C. runaspis, the dorsal spot which is characteristic of the genus is larger than in other species of Chinavia, which helps to identify the species already in the first instar. From the second ínstar the dorsal abdominal spots appear, whose staining pattern and distribution can help identify the specific level. These spots become larger with the development of the insect. The scutellum is visible in the 3rd ínstar; in the 4th ínstar, the mesothoracic wingpads appear, but these do not cover the metanotum. In the 5th ínstar, the wingpads exceed or at least reach the posterior margin of metanotum, and the nymphs already display sexual differentiation. In this ínstar the diagnostic features become more evident, easing the identification to the specific level. The average development time between egg and adult stages was 44.71 ± 5.59 days. This study aimed to expand the knowledge of Chinavia immature through comparisons with other known congeneric species and provide an identification key for the species registered in Rio Grande do Sul state, as well as help in the search for characters of the immature forms that are relevant for the taxonomy and phylogeny of the group.

Estudos morfológicos representam ferramentas básicas para ampliação do conhecimento sobre determinado táxon e abrem caminhos para o desenvolvimento de outros estudos em diversas áreas como taxonomia, filogenia, etologia e ecologia. Neste trabalho, buscamos aprimorar o conhecimento morfológico na família Pentatomidae, investigando as variações presentes nas pernas de percevejos e como elas se desenvolvem ao longo do ciclo de vida. Estudando comparativamente as expansões tibiais e o aparato tibial na subfamília Asopinae, e verificamos que ambas as estruturas possuem uma ampla variação morfológica. As expansões podem estar presentes nas superfícies dorsal e ventral da tíbia, ou apenas na dorsal. A estrutura pode apresentar diferentes tamanhos entre as espécies, podendo ser até duas vezes a largura do eixo central da tíbia como nos gêneros Cazira e Heteroscelis, ou em outros casos como Alceorrhynchus, que se apresenta de forma diminuta. Além disso, as expansões podem ocorrer ao longo de toda a tíbia, ou apenas apicalmente. Em relação ao aparato tibial, verificamos que o número de cerdas é bastante variável entre as espécies analisadas, e que possui relação com o tamanho geral do inseto. Ainda, verificamos que a região circundante à estrutura apresenta morfologia variável. Com base nas variações encontradas, dez caracteres morfológicos foram propostos. Além dos adultos, estudamos a morfologia e alometria da tíbia ao longo da ontogenia em nove espécies de Pentatomidae das subfamílias Asopinae, Pentatominae e Edessinae. Foi constatado que o número de cerdas aumenta em cada estágio de desenvolvimento nas espécies de Asopinae, enquanto nas demais o número se mantém praticamente o mesmo. A alometria do aparato tibial se demonstrou positiva para todas as espécies de Asopinae nos testes realizados, enquanto nas subfamílias Pentatominae e Edessinae a alometria da estrutura foi maioritariamente negativa ou isométrica. Foi demonstrado que assim como em outros insetos, as pernas apresentam um crescimento acelerado em comparação com outras estruturas do corpo, neste caso, da cabeça. Além disso, constatamos que a largura de tíbia apresenta uma queda de tamanho do quinto ínstar para o estágio Adulto, e hipotetizamos que este fenômeno possa ter relação com a perda de estruturas presentes nas pernas das ninfas responsáveis por dar maior suporte ao peso do inseto. Os estágios imaturos de Tynacantha marginata Dallas são descritos, estruturas corporais são exploradas e comparadas morfologicamente, e características diagnósticas que permitem a identificação dos ovos e ninfas da espécie são fornecidas. / Morphological studies are basic tools to increase knowledge about a given taxon, opening paths for the development of other studies in several areas such as taxonomy, phylogeny, ethology and ecology. In this work, we aimed to improve the morphological knowledge in the Pentatomidae family, examining the variations present in the legs of stink bugs and how they develop throughout the life-cycle. Comparatively studying the tibial expansions and the foretibial apparatus in the Asopinae subfamily, we found that both structures have a wide morphological variation. The expansions may be present on the dorsal and ventral surfaces of the foretibia, or only on the dorsal surface. The structure can present different sizes between the species, being able to be up to twice the width of the tibial axis as in the genus Cazira and Heteroscelis, or in other cases like Alceorrhynchus, appears in a diminutive form. Besides, the expansions may occur along the entire tibia, or only apically. In relation to the foretibial apparatus, we verified that the number of setae is quite variable among the analyzed species, and that it is related with the general size of the insect. Also, we verified that the region surrounding the structure presents variable morphology. Based on the variations found, ten morphological characters are proposed. In addition to the adults, we studied the morphology and allometry of the foretibia along the ontogeny in nine species of Pentatomidae of the subfamilies Asopinae, Pentatominae and Edessinae. It was observed that the number of setae increases at each stage of development in the Asopinae species, while in the others the number remains practically the same. Allometry of the tibial apparatus was shown to be positive for all Asopinae species in the performed tests, while in the Pentatominae and Edessinae subfamilies the allometry of the structure was mostly negative or isometric. It has demonstrated that, as in other insects, the legs exhibit accelerated growth compared to other structures of the body, in our case, the head. In addition, we verified that tibia width shows a decrease in size of the fifth instar for the adult stage, and hypothesized that this phenomenon is related to the loss of structures present in the legs of the nymphs responsible for giving support to the weight of the insect. The immature stages of Tynacantha marginata Dallas are described, body structures are explored and morphologically compared and diagnostic features that allow identification of the eggs and nymphs of the species are provided.

abstract: Concurrency bugs are one of the most notorious software bugs and are very difficult to manifest. Significant work has been done on detection of atomicity violations bugs for high performance systems but there is not much work related to detect these bugs for embedded systems. Although criteria to claim existence of bugs remains same, approach changes a bit for embedded systems. The main focus of this research is to develop a systemic methodology to address the issue from embedded systems perspective. A framework is developed which predicts the access interleaving patterns that may violate atomicity using memory references of shared variables and provides support to force and analyze these schedules for any output change, system fault or change in execution path. / Dissertation/Thesis / Masters Thesis Computer Science 2016

Estudos morfológicos representam ferramentas básicas para ampliação do conhecimento sobre determinado táxon e abrem caminhos para o desenvolvimento de outros estudos em diversas áreas como taxonomia, filogenia, etologia e ecologia. Neste trabalho, buscamos aprimorar o conhecimento morfológico na família Pentatomidae, investigando as variações presentes nas pernas de percevejos e como elas se desenvolvem ao longo do ciclo de vida. Estudando comparativamente as expansões tibiais e o aparato tibial na subfamília Asopinae, e verificamos que ambas as estruturas possuem uma ampla variação morfológica. As expansões podem estar presentes nas superfícies dorsal e ventral da tíbia, ou apenas na dorsal. A estrutura pode apresentar diferentes tamanhos entre as espécies, podendo ser até duas vezes a largura do eixo central da tíbia como nos gêneros Cazira e Heteroscelis, ou em outros casos como Alceorrhynchus, que se apresenta de forma diminuta. Além disso, as expansões podem ocorrer ao longo de toda a tíbia, ou apenas apicalmente. Em relação ao aparato tibial, verificamos que o número de cerdas é bastante variável entre as espécies analisadas, e que possui relação com o tamanho geral do inseto. Ainda, verificamos que a região circundante à estrutura apresenta morfologia variável. Com base nas variações encontradas, dez caracteres morfológicos foram propostos. Além dos adultos, estudamos a morfologia e alometria da tíbia ao longo da ontogenia em nove espécies de Pentatomidae das subfamílias Asopinae, Pentatominae e Edessinae. Foi constatado que o número de cerdas aumenta em cada estágio de desenvolvimento nas espécies de Asopinae, enquanto nas demais o número se mantém praticamente o mesmo. A alometria do aparato tibial se demonstrou positiva para todas as espécies de Asopinae nos testes realizados, enquanto nas subfamílias Pentatominae e Edessinae a alometria da estrutura foi maioritariamente negativa ou isométrica. Foi demonstrado que assim como em outros insetos, as pernas apresentam um crescimento acelerado em comparação com outras estruturas do corpo, neste caso, da cabeça. Além disso, constatamos que a largura de tíbia apresenta uma queda de tamanho do quinto ínstar para o estágio Adulto, e hipotetizamos que este fenômeno possa ter relação com a perda de estruturas presentes nas pernas das ninfas responsáveis por dar maior suporte ao peso do inseto. Os estágios imaturos de Tynacantha marginata Dallas são descritos, estruturas corporais são exploradas e comparadas morfologicamente, e características diagnósticas que permitem a identificação dos ovos e ninfas da espécie são fornecidas. / Morphological studies are basic tools to increase knowledge about a given taxon, opening paths for the development of other studies in several areas such as taxonomy, phylogeny, ethology and ecology. In this work, we aimed to improve the morphological knowledge in the Pentatomidae family, examining the variations present in the legs of stink bugs and how they develop throughout the life-cycle. Comparatively studying the tibial expansions and the foretibial apparatus in the Asopinae subfamily, we found that both structures have a wide morphological variation. The expansions may be present on the dorsal and ventral surfaces of the foretibia, or only on the dorsal surface. The structure can present different sizes between the species, being able to be up to twice the width of the tibial axis as in the genus Cazira and Heteroscelis, or in other cases like Alceorrhynchus, appears in a diminutive form. Besides, the expansions may occur along the entire tibia, or only apically. In relation to the foretibial apparatus, we verified that the number of setae is quite variable among the analyzed species, and that it is related with the general size of the insect. Also, we verified that the region surrounding the structure presents variable morphology. Based on the variations found, ten morphological characters are proposed. In addition to the adults, we studied the morphology and allometry of the foretibia along the ontogeny in nine species of Pentatomidae of the subfamilies Asopinae, Pentatominae and Edessinae. It was observed that the number of setae increases at each stage of development in the Asopinae species, while in the others the number remains practically the same. Allometry of the tibial apparatus was shown to be positive for all Asopinae species in the performed tests, while in the Pentatominae and Edessinae subfamilies the allometry of the structure was mostly negative or isometric. It has demonstrated that, as in other insects, the legs exhibit accelerated growth compared to other structures of the body, in our case, the head. In addition, we verified that tibia width shows a decrease in size of the fifth instar for the adult stage, and hypothesized that this phenomenon is related to the loss of structures present in the legs of the nymphs responsible for giving support to the weight of the insect. The immature stages of Tynacantha marginata Dallas are described, body structures are explored and morphologically compared and diagnostic features that allow identification of the eggs and nymphs of the species are provided.

Em contraste com a prevalência e importância dos estágios jovens dos insetos, suas características permanecem, em grande medida, desconhecidas. Das mais de 4.100 espécies de Pentatomidae (Hemiptera, Heteroptera), apenas 125 e 98 espécies tiveram a morfologia dos estágios de ovo e ninfa descritos, respectivamente. O reconhecimento das espécies de pentatomídeos é feito com base em caracteres de morfologia externa e genitália dos adultos; porém também os estágios imaturos apresentam características as quais permitem identificações ao nível de família, gênero e espécie. O gênero Chinavia possui 32 espécies registradas para o Brasil, das quais 12 ocorrem no Rio Grande do Sul. Apesar da diversidade, da ampla distribuição e da importância agrícola do gênero, somente oito dessas espécies têm seus imaturos descritos. O presente estudo descreve a morfologia dos ovos e dos cinco ínstares ninfais das seguintes espécies: Chinavia aseada (Rolston, 1983), Chinavia armigera (Stål, 1854), Chinavia brasicola (Rolston, 1983) e Chinavia runaspis (Dallas, 1851), e a biologia das últimas três espécies citadas. Foram elaboradas descrições e ilustrações, obtidos dados morfométricos e investigados aspectos de biologia. As espécies estudadas compartilham com as demais espécies de Chinavia características diagnósticas em nível genérico. Todas as quatro espécies do presente estudo apresentam ovos de cor castanha. Entretanto, os ovos de C. armigera apresentam uma coloração brilhante, ao passo que as demais espécie tem ovos opacos. A forma do ovo, a esculturação da superfície do cório e a forma dos processos aero-micropilares são semelhantes ao que foi observado em outras espécies do gênero. No 1° ínstar, todas as espécies do gênero apresentam uma mancha dorsal, cujo tamanho e forma podem variar, bem como a coloração, que vai de amarela a vermelha. Em C. runaspis, a mancha dorsal característica do gênero apresenta tamanho maior que nas demais espécies, o que auxilia na identificação a nível específico já no 1° ínstar. A partir do 2° ínstar surgem manchas no dorso abdominal, cujo padrão de coloração e distribuição pode auxiliar na identificação a nível específico. Tais manchas se tornam mais amplas na medida em que o inseto se desenvolve. A formação do escutelo é visível no 3° ínstar. No 4° ínstar, aparecem as pterotecas mesotorácicas, mas essas não cobrem o metanoto. No 5° ínstar, as pterotecas ultrapassam ou pelo menos atingem a margem posterior do metanoto, e as ninfas já exibem diferenciação sexual. Neste ínstar as características diagnósticas tornam-se mais evidentes, o que facilita a identificação a nível específico. O tempo médio de desenvolvimento entre os estágios de ovo e adulto foi de 44,71 ± 5,59 dias. Este estudo visa ampliar o conhecimento dos imaturos de Chinavia, através de comparações com outras espécies congenéricas já conhecidas e a elaboração de chaves de identificação para as espécies sul-rio-grandenses, que por sua vez auxiliarão a identificação das ninfas, além de propiciar o encontro de caracteres, nas formas imaturas, que sejam relevantes para taxonomia e filogenia do grupo. / In contrast to the prevalence and importance of the immature stages of insects, their characteristics remain largely unknown. There are more than 4,100 species of Pentatomidae (Hemiptera, Heteroptera), but only 125 and 98 species had egg and nymphal stages morphology described, respectively. Recognition of Pentatomidae species is based mainly on characters of adults general morphology and genitalia, but also the immature stages have features which allow identification at the family, genus and species level. Chinavia has 32 species registered in Brazil, of which 12 occur in Rio Grande do Sul. Despite the diversity, wide distribution and agricultural importance of the genus, only eight of these species have their immature described. The present study describes the morphology of eggs and five nymphal ínstars of the four remaining species: Chinavia aseada (Rolston, 1983), Chinavia armigera (Stål, 1854), Chinavia brasicola (Rolston, 1983) and Chinavia runaspis (Dallas, 1851), and the biology of the last three species. Descriptions and illustrations were prepared, morphometric data obtained and aspects of biology were investigated. The species share with other species of Chinavia diagnostic features in the generic level. All four species of this study have brown eggs. However, eggs of C. armigera have a bright color, while other species have eggs opaque. The egg shape, the sculpturing of the chorion surface and shape of the aero-micropylar processes are similar to the other species. In the first ínstar, all species have a dorsal spot, whose size and shape may differ among them, as well as the color, ranging from yellow to red In C. runaspis, the dorsal spot which is characteristic of the genus is larger than in other species of Chinavia, which helps to identify the species already in the first instar. From the second ínstar the dorsal abdominal spots appear, whose staining pattern and distribution can help identify the specific level. These spots become larger with the development of the insect. The scutellum is visible in the 3rd ínstar; in the 4th ínstar, the mesothoracic wingpads appear, but these do not cover the metanotum. In the 5th ínstar, the wingpads exceed or at least reach the posterior margin of metanotum, and the nymphs already display sexual differentiation. In this ínstar the diagnostic features become more evident, easing the identification to the specific level. The average development time between egg and adult stages was 44.71 ± 5.59 days. This study aimed to expand the knowledge of Chinavia immature through comparisons with other known congeneric species and provide an identification key for the species registered in Rio Grande do Sul state, as well as help in the search for characters of the immature forms that are relevant for the taxonomy and phylogeny of the group.

Os percevejos de cama são insetos pertencentes a ordem Hemiptera e a família Cimicidae, com metamorfose hemimetábola, possuem comportamento antropofílico e exercem a hematofagia nas fases de ninfa e adulto, o que desperta interesse em saúde pública. O reaparecimento desta praga tem levado diversas pessoas a buscarem nas empresas especializadas uma forma de exercer o controle. O presente estudo teve como objetivo identificar, no período de maio de 2013 a maio de 2015, as formas de controle e produtos utilizados, bem como o perfil das empresas especializadas no controle de vetores e pragas urbanas instaladas no Brasil. O estudo foi realizado por meio de uma enquete enviada a 2136 empresas brasileiras e questionário eletrônico enviado para as empresas. Foram encaminhadas 2136 cartas convites para participação. Como resultado foi obtido 158 enquetes respondidas e estas empresas foram então convidadas a responder um questionário com perguntas direcionadas ao controle de percevejos de cama. Apenas 13 questionários foram recebidos de empresas localizadas na região Sul, Sudeste, Centro-Oeste e Nordeste. A maioria das empresas que realiza o controle de percevejos de cama está na área de controle de pragas urbanas a mais de 21 anos e utiliza preferencialmente pesticidas para o controle dos insetos. Quase 50 por cento dos responsáveis técnicos dessas empresas não fizeram qualquer treinamento sobre controle de cimicídeos nos últimos dois anos e informações sobre o inseto e seu manejo não são passadas ao cliente. O baixo retorno dos questionários preenchidos nesta pesquisa pode ser devido ao pouco conhecimento que as empresas têm sobre o controle de percevejos de cama, o que pode tê-las inibido em fornecer informações. Desta maneira, informações técnicas e treinamentos sobre o controle de percevejos de cama se faz necessário, uma vez que o controle ainda está pautado na utilização de produtos químicos e que esta estratégia pode incorrer em riscos de intoxicação quando feita de maneira inadequada principalmente pela falta de capacitação dos responsáveis técnicos. / Bed bugs belong to the order Hemiptera and family Cimicidae with hemimetabolous metamorphosis; they show anthropophilic behavior and are hematophagous at nymph and adult stages, which causes interest in public health. The reappearance of this pest has led many people to seek for pest control companies to control it. This study aimed to identify, from May 2013 to May 2015, which are the control strategies and used products as well as the profile of the pest control companies in Brazil. The study was made through an electronic survey sent to 2136 Brazilian companies, One hundred and fifty eight companies answered the survey and were invited to fill in a questionnaire on bed bug control. Only 13 questionnaires were received from companies located in the South, Southeast, Midwest and Northeast regions of Brazil. Most companies that make bed bug control are in the area for more than 21 years and they use mainly pesticides to control the insects. Almost 50 per cent of the technical managers of these companies did not attend to any training on bed bug control in the last two years, and information on their management is not given to their clients. The few questionnaires received are probably due to the little knowledge that pest control companies have on bed bugs, which may have inhibited them to provide information. In this way, technical information and training on the bed bug control is necessary, since the control is still founded on the use of chemicals and that this strategy may incur intoxication risk when done improperly mainly by lack of training of technical experts.

Em contraste com a prevalência e importância dos estágios jovens dos insetos, suas características permanecem, em grande medida, desconhecidas. Das mais de 4.100 espécies de Pentatomidae (Hemiptera, Heteroptera), apenas 125 e 98 espécies tiveram a morfologia dos estágios de ovo e ninfa descritos, respectivamente. O reconhecimento das espécies de pentatomídeos é feito com base em caracteres de morfologia externa e genitália dos adultos; porém também os estágios imaturos apresentam características as quais permitem identificações ao nível de família, gênero e espécie. O gênero Chinavia possui 32 espécies registradas para o Brasil, das quais 12 ocorrem no Rio Grande do Sul. Apesar da diversidade, da ampla distribuição e da importância agrícola do gênero, somente oito dessas espécies têm seus imaturos descritos. O presente estudo descreve a morfologia dos ovos e dos cinco ínstares ninfais das seguintes espécies: Chinavia aseada (Rolston, 1983), Chinavia armigera (Stål, 1854), Chinavia brasicola (Rolston, 1983) e Chinavia runaspis (Dallas, 1851), e a biologia das últimas três espécies citadas. Foram elaboradas descrições e ilustrações, obtidos dados morfométricos e investigados aspectos de biologia. As espécies estudadas compartilham com as demais espécies de Chinavia características diagnósticas em nível genérico. Todas as quatro espécies do presente estudo apresentam ovos de cor castanha. Entretanto, os ovos de C. armigera apresentam uma coloração brilhante, ao passo que as demais espécie tem ovos opacos. A forma do ovo, a esculturação da superfície do cório e a forma dos processos aero-micropilares são semelhantes ao que foi observado em outras espécies do gênero. No 1° ínstar, todas as espécies do gênero apresentam uma mancha dorsal, cujo tamanho e forma podem variar, bem como a coloração, que vai de amarela a vermelha. Em C. runaspis, a mancha dorsal característica do gênero apresenta tamanho maior que nas demais espécies, o que auxilia na identificação a nível específico já no 1° ínstar. A partir do 2° ínstar surgem manchas no dorso abdominal, cujo padrão de coloração e distribuição pode auxiliar na identificação a nível específico. Tais manchas se tornam mais amplas na medida em que o inseto se desenvolve. A formação do escutelo é visível no 3° ínstar. No 4° ínstar, aparecem as pterotecas mesotorácicas, mas essas não cobrem o metanoto. No 5° ínstar, as pterotecas ultrapassam ou pelo menos atingem a margem posterior do metanoto, e as ninfas já exibem diferenciação sexual. Neste ínstar as características diagnósticas tornam-se mais evidentes, o que facilita a identificação a nível específico. O tempo médio de desenvolvimento entre os estágios de ovo e adulto foi de 44,71 ± 5,59 dias. Este estudo visa ampliar o conhecimento dos imaturos de Chinavia, através de comparações com outras espécies congenéricas já conhecidas e a elaboração de chaves de identificação para as espécies sul-rio-grandenses, que por sua vez auxiliarão a identificação das ninfas, além de propiciar o encontro de caracteres, nas formas imaturas, que sejam relevantes para taxonomia e filogenia do grupo. / In contrast to the prevalence and importance of the immature stages of insects, their characteristics remain largely unknown. There are more than 4,100 species of Pentatomidae (Hemiptera, Heteroptera), but only 125 and 98 species had egg and nymphal stages morphology described, respectively. Recognition of Pentatomidae species is based mainly on characters of adults general morphology and genitalia, but also the immature stages have features which allow identification at the family, genus and species level. Chinavia has 32 species registered in Brazil, of which 12 occur in Rio Grande do Sul. Despite the diversity, wide distribution and agricultural importance of the genus, only eight of these species have their immature described. The present study describes the morphology of eggs and five nymphal ínstars of the four remaining species: Chinavia aseada (Rolston, 1983), Chinavia armigera (Stål, 1854), Chinavia brasicola (Rolston, 1983) and Chinavia runaspis (Dallas, 1851), and the biology of the last three species. Descriptions and illustrations were prepared, morphometric data obtained and aspects of biology were investigated. The species share with other species of Chinavia diagnostic features in the generic level. All four species of this study have brown eggs. However, eggs of C. armigera have a bright color, while other species have eggs opaque. The egg shape, the sculpturing of the chorion surface and shape of the aero-micropylar processes are similar to the other species. In the first ínstar, all species have a dorsal spot, whose size and shape may differ among them, as well as the color, ranging from yellow to red In C. runaspis, the dorsal spot which is characteristic of the genus is larger than in other species of Chinavia, which helps to identify the species already in the first instar. From the second ínstar the dorsal abdominal spots appear, whose staining pattern and distribution can help identify the specific level. These spots become larger with the development of the insect. The scutellum is visible in the 3rd ínstar; in the 4th ínstar, the mesothoracic wingpads appear, but these do not cover the metanotum. In the 5th ínstar, the wingpads exceed or at least reach the posterior margin of metanotum, and the nymphs already display sexual differentiation. In this ínstar the diagnostic features become more evident, easing the identification to the specific level. The average development time between egg and adult stages was 44.71 ± 5.59 days. This study aimed to expand the knowledge of Chinavia immature through comparisons with other known congeneric species and provide an identification key for the species registered in Rio Grande do Sul state, as well as help in the search for characters of the immature forms that are relevant for the taxonomy and phylogeny of the group.

Several studies argue that exception handling code is usually of poor quality and that it is commonly neglected by developers. Moreover, it is said to be the least understood, documented, and tested part of the implementation of a system. In spite of this scenario, there are very few studies that analyze the actual exception handling bugs that occur in real software systems and no study that attempts to understand developers’ perceptions about these bugs. In this work we present an exploratory study on exception handling bugs that employs two complementary approaches: a survey of 154 developers and an analysis of 220 bugs from the repositories of Eclipse and Tomcat. Respondents of our survey believe that exception handling bugs are more easily fixed than other kinds of bugs. There is also a significant difference in the opinion of the respondents pertaining to the quality of the exception handling code: more experienced developers tend to believe that it is worse. Analysis of the repositories of Eclipse and Tomcat revealed conflicting results. The fix time for exception handling bugs in Eclipse is significantly shorter than for other bugs. However, exception handling bugs have a significantly greater number of discussion messages than non-exception handling bugs. On the other hand, for Tomcat, we could not find a significant difference for fix time and exception handling bugs have significantly less discussion messages than other bugs. Moreover, we discovered that bug reports describing bugs stemming from overly general catch blocks, a well-known bad smell in programs that use exceptions, are rare, even though there are many opportunities for them to occur. In addition, empty catch blocks are not only prevalent, as previously reported in literature, but they are also commonly used as part of bug fixes, which includes fixes for exception handling bugs. Furthermore, we found very few bug reports whose causes are empty catch blocks, although developers often mention them as causes of bugs they have fixed in the past. And lastly, we present a proposal of the classification of exception handling bugs based on the data we collected. / Submitted by João Arthur Martins (joao.arthur@ufpe.br) on 2015-03-10T18:18:46Z No. of bitstreams: 2 Dissertaçao Felipe Ebert.pdf: 1326280 bytes, checksum: b28c0a4b3a4f5a5d84483b41a94a7a48 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Made available in DSpace on 2015-03-11T17:40:09Z (GMT). No. of bitstreams: 2 Dissertaçao Felipe Ebert.pdf: 1326280 bytes, checksum: b28c0a4b3a4f5a5d84483b41a94a7a48 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2013-08-02 / FACEPE e CNPq / Vários estudos afirmam que o código de tratamento de exceções em geral tem baixa qualidade e que é geralmente negligenciado por desenvolvedores. Além disso, acredita-se que essa parte da implementação de um sistema é a menos compreendida, documentada e testada. Apesar desse cenário, existem poucos estudos que analisam bugs de tratamento de exceções que ocorrem em sistemas de software reais e nenhum estudo que tente entender a percepção dos desenvolvedores sobre esses bugs. Neste trabalho, apresentamos um estudo exploratório sobre bugs de tratamento de exceções baseado em duas abordagens complementares: uma pesquisa com 154 desenvolvedores e uma análise de 220 bugs dos repositórios do Eclipse e Tomcat. Os desenvolvedores de nossa pesquisa acreditam que bugs de tratamento de exceções são mais facilmente corrigidos do que outros tipos de bugs. Há também uma diferença significativa na opinião dos desenvolvedores sobre a qualidade do código de tratamento de exceções: os desenvolvedores mais experientes tendem a acreditar que é pior. A análise dos repositórios do Eclipse e Tomcat revelou resultados conflitantes. O tempo de correção dos bugs de tratamento de exceções do Eclipse é significativamente menor do que o de outros tipos de bugs. Entretanto, os bugs de tratamento de exceções têm um número significativamente maior de comentários do que os bugs que não são de tratamento de exceções. Por outro lado, para o Tomcat, não conseguimos achar uma diferença significativa para o tempo de correção dos bugs e os bugs de tratamento de exceções tem um número significativamente menor de comentários do que os outros tipos de bugs. Além disso, descobrimos que os bugs decorrentes de blocos catch genéricos, um defeito bem conhecido em programas que usam exceções, são raros, embora existam várias oportunidades para que eles ocorram. Descobrimos também que blocos catch vazios não são só prevalentes, como previamente relatado na literatura, mas também geralmente usados como correções dos bugs, inclusive para bugs de tratamento de exceções. Também achamos poucos bugs reportados em que as causas deles são blocos catch vazios, embora desenvolvedores frequentemente mencionem eles como causas de bugs que já corrigiram no passado. E por fim, apresentamos uma proposta de classificação dos bugs de tratamento de exceções.

Context. Bug tracking systems play an important role in software maintenance. They allow users to submit bug reports. However, it has been observed that often a bug report submitted is a duplicate (when several users submit bug reports for the same problem, these reports are called duplicated issue reports) which results in considerable duplicate bug reports in a bug tracking system. Solutions for automating the process of duplicate bug reports detection can increase the productivity of software maintenance activities, as new incoming bug reports are directly compared with the existing bug reports to identify their similar bug reports, which is no need for the human to spend time reading, understanding, and searching. Although recently there has been considerable research on such solutions, there is still much room for improvement regarding accuracy and recall rate during the duplicate detection process. Besides, very few tools were evaluated in an industrial setting. Objectives. In this study, firstly, we aim to characterize automated duplicate bug report detection methods by exploring categories of all those methods, identifying proposed evaluation methods, specifying performance difference between the categories of methods. Then we propose a method leveraging recent advances on using semantic model – Doc2vec and present an overall framework - preprocessing, training a semantic model, calculating and ranking similarity, and retrieving duplicate bug reports of the proposed method. Finally, we apply an experiment to evaluate the performance of the proposed method and compare it with the selected best methods for the task of duplicate bug report detection Methods. To classify and analyze all existing research on automated duplicate bug report detection, we conducted a systematic mapping study. To evaluate our proposed method, we conducted an experiment with an identified number of bug reports on the internal bug report database of Axis Communication AB. Results. We classified automated duplicate bug report detection techniques into three categories - TOP N recommendation and ranking approach, binary classification approach, and decision-making approach. We found that recall-rate@k is the most common evaluation metric, and found that TOP N recommendation and ranking approach has the best performance among the identified approaches. The experimental results showed that the recall rate of our proposed approach is significantly higher than the combination of TF-IDF with Word2vec and the combination of TF-IDF with LSI. Our combination of Doc2vec and TF-IDF approach, has a recall rate@1-10 of 18.66%-42.88% in the TROUBLE data, which is an improvement of 1.63%-9.42% to the state-of-art. Conclusions. In this thesis, we identified and classified 44 automated duplicate bug report detection research papers by conducting a systematic mapping study. We provide an overview of the state-of-art, identifying evaluation metrics, investigating the scientific evidence in the reported results, and identifying needs for future research. We implemented a bug tracking system with a duplicate bug report detection module where a list of Top-N related bug reports (along with a numerical value representing a similar score) is created. After conducting the experiment, we found that our proposed approach - the combination of Doc2vec and TF-IDF approach produces the best recall rate.Keywords: Similar