Relação de Projetos de Pesquisa: 2004-2008.

bitstream/item/82585/1/Relacao-de-projetos-de-pesquisa.pd

A Memetic Algorithm for whole test suite generation

The generation of unit-level test cases for structural code coverage is a task well-suited to Genetic Algorithms. Method call sequences must be created that construct objects, put them into the right state and then execute uncovered code. However, the generation of primitive values, such as integers and doubles, characters that appear in strings, and arrays of primitive values, are not so straightforward. Often, small local changes are required to drive the value toward the one needed to execute some target structure. However, global searches like Genetic Algorithms tend to make larger changes that are not concentrated on any particular aspect of a test case. In this paper, we extend the Genetic Algorithm behind the EvoSuiTE test generation tool into a Memetic Algorithm, by equipping it with several local search operators. These operators are designed to efficiently optimize primitive values and other aspects of a test suite that allow the search for test cases to function more effectively. We evaluate our operators using a rigorous experimental methodology on over 12,000 Java classes, comprising open source classes of various different kinds, including numerical applications and text processors. Our study shows that increases in branch coverage of up to 53% are possible for an individual class in practice

Application of the tying force method in the design of alternative load paths in post-and-beam timber structures: A case building

This work aims to present an application of the tying force method recently proposed in the literature to a mid-rise post-and-beam timber building. Internal and edge column loss scenarios are analysed. A steel-to-timber connection is proposed and extensively evaluated as a potential solution to ensure the robustness of the structure, thereby satisfying the requirements imposed by the tying force method and effectively minimizing the risk of progressive collapse of the structure. Finally, a parametric analysis evaluating the variation of the tying force as a function of the chord rotation and different beam span lengths is carried out. The results obtained show that the tying force method represents a promising and rapid strategy for designing robust post-and-beam timber buildings falling in low and medium consequence classes

Oral Communication: Generating Network Data for Automated Unit Test Generation

Although automated unit test generation techniques can in principle generate test suites that achieve high code coverage, in practice this is often inhibited by the dependence of the code under test on external resources. In particular, a common problem in modern programming languages is posed by code that involves networking (e.g., opening a TCP listening port). In order to generate tests for such code, we describe an approach where we mock (simulate) the networking interfaces of the Java standard library, such that a search-based test generator can treat the network as part of the test input space.Sociedad Argentina de Informática e Investigación Operativ

Opioid-induced hyperalgesia after rapid titration with intravenous morphine: Switching and re-titration to intravenous methadone

Rapid titration with intravenous morphine (IV-MO) provides fast and efficient pain relief in cancer patients with severe-excruciating pain. However, some patients, after an initially favourable response, can develop an hyperexcitated state unrelieved or worsened by further dose increments

Does Automated Unit Test Generation Really Help Software Testers? A Controlled Empirical Study

Work on automated test generation has produced several tools capable of generating test data which achieves high structural coverage over a program. In the absence of a specification, developers are expected to manually construct or verify the test oracle for each test input. Nevertheless, it is assumed that these generated tests ease the task of testing for the developer, as testing is reduced to checking the results of tests. While this assumption has persisted for decades, there has been no conclusive evidence to date confirming it. However, the limited adoption in industry indicates this assumption may not be correct, and calls into question the practical value of test generation tools. To investigate this issue, we performed two controlled experiments comparing a total of 97 subjects split between writing tests manually and writing tests with the aid of an automated unit test generation tool, EvoSuite. We found that, on one hand, tool support leads to clear improvements in commonly applied quality metrics such as code coverage (up to 300% increase). However, on the other hand, there was no measurable improvement in the number of bugs actually found by developers. Our results not only cast some doubt on how the research community evaluates test generation tools, but also point to improvements and future work necessary before automated test generation tools will be widely adopted by practitioners

Clinical and radiological outcomes of novel digital workflow and dynamic navigation for single-implant immediate loading in aesthetic zone: 1-year prospective case series

Objectives To evaluate clinical, radiological performance of novel digital workflow integrating dynamic navigation to streamline in one-visit single-implant immediate loading in aesthetic zone. Material and methods Consecutive patients requiring one single-implant in aesthetic zone of both jaws were treated between May and September 2017. Primary outcomes were implant and prosthetic success rates, surgical and prosthetic complications, marginal bone loss (MBL), final pink aesthetic score (PES-f), and implant stability quotient (ISQ-f). Secondary outcomes were ISQ-0 and PES-0 at implant positioning and PES-p at definitive prosthesis placement. Potential effect of jaw (maxilla vs mandible), biotype (thin vs thick), type of incision (flap vs flapless), and implant site (healed vs. post-extractive) on the primary outcomes (MBL, PES-f, and ISQ-f) was evaluated through a multivariable analysis. Results Fifty-two implants were placed (follow-up 18.6, 15-20 months). One post-extractive implant failed. No other surgical, biological complications occurred, accounting for 98.10% cumulative success rate (CSR). No definitive prostheses failed. Mean MBL was -0.63 +/- 0.25 mm (-1.69 to -0.06). PES-f was 12.34 +/- 1.41 (9-14). ISQ-f was 78.1 +/- 3.2 (70-84). Age had significantly negative effect on MBL and PES-f (p = .0058 and p = .0052). No other variables significantly affected primary outcomes. Conclusions Within study limitations, investigated digital workflow integrating dynamic navigation was reliable for single-implant immediate loading in aesthetic zone in one visit. No statistically significant difference was found for MBL, PES-f, and ISQ-f, considering type of incision (flap vs. flapless), implant site (healed vs post-extractive), jaw (maxilla vs. mandible), and biotype (thick vs. thin). Live-tracked dynamic navigation may have contributed to improve operator clinical performance regardless of implant site characteristics. Further investigations are needed to confirm positive outcomes

Digital assisted soft tissue sculpturing (DASS) technique for immediate loading pink free complete arch implant prosthesis

Purpose: To introduce a digitally assisted technique to achieve the ideal soft and bone tissue interface for anatomic-driven pink free implant supported fixed prosthesis, and prefabricate an interim prosthesis to be used the day of the surgery as a prosthetic scaffold to condition the healing Methods: The digital assisted soft tissue sculpturing (DASS) technique allows the previsualization of the ideal soft and bone tissue interface and fabricate a computer aided design computer aided manufacturing (CAD-CAM) anatomic-driven pink free complete arch interim prosthesis for the immediate loading. Bone and soft tissue interface as well as the interim prosthesis design are performed in a segmented multiple standard tessellation language (STL) file embedding the bone anatomy, the intraoral surface anatomy (dental and soft tissue), the digital wax-up and the implant positioning. The interim prosthesis is used as a prosthetic scaffold to guide the soft and bone tissue surgical sculpturing and regeneration.Conclusions: The DASS technique is a predictable integrated digital workflow that simplifies the achievement of a scalloped tissue interface for pink free fixed implant prosthesis, reestablishing the mucosal dimension required for the protection of underlying bone while maintaining tissue health. The surgical sculpturing and maturation of the soft and bone tissue is driven and enhanced by the xenogeneic collagen matrix grafting and prosthetic scaffold effect of the digitally prefabricated interim prosthesis delivered the day of the surgery

Increased expression of antimüllerian hormone and its receptor in endometriosis

To evaluate antimüllerian hormone (AMH) and AMH receptor II (AMHRII) mRNA and protein expression in endometrium and in ovarian or deep lesions of women with endometriosis

Uma visão internacional da sustentabilidade na pecuária leiteira.

Descreve as propostas e iniciativas adotadas pelas principais organizações que trabalhem com leite para o incremento da sustentabilidade do setor. Apresenta uma visão global do tema sustentabilidade no setor leiteiro e algumas experiências internacionais, como: LEAP/FAO; Federação Internacional de Lácteos; Associação Europeia de Lácteos; a produção de leite na India, EUA, Nova Zelândia