163 research outputs found

    Oral Communication: Generating Network Data for Automated Unit Test Generation

    Get PDF
    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

    Oral Communication: Generating Network Data for Automated Unit Test Generation

    Get PDF
    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

    Dataset of characteristic remanent magnetization and magnetic properties of early Pliocene sediments from IODP Site U1467 (Maldives platform)

    Get PDF
    This data article describes data of magnetic stratigraphy and anisotropy of isothermal remanent magnetization (AIRM) from "Magnetic properties of early Pliocene sediments from IODP Site U1467 (Maldives platform) reveal changes in the monsoon system" [1]. Acquisition of isothermal magnetization on pilot samples and anisotropy of isothermal remanent magnetization are reported as raw data; magnetostratigraphic data are reported as characteristic magnetization (ChRM).info:eu-repo/semantics/publishedVersio

    Does Endogenous Technical Change Make a Difference in Climate Policy Analysis? A Robustness Exercise with the FEEM-RICE Model

    Full text link

    Magnetic properties of early Pliocene sediments from IODP Site U1467 (Maldives platform) reveal changes in the monsoon system

    Get PDF
    We report a study of the magnetic stratigraphy and the anisotropy of isothermal remanent magnetization of Pliocene sediments from International Ocean Discovery Program (IODP) Site U1467 drilled in the Maldives platform (Indian Ocean) during Exp. 359. Magnetic stratigraphy gives a precise record of geomagnetic reversals of the early Pliocene from approximately 5.3 Ma to 3.1 Ma providing a detailed age model in an interval where the biostratigraphic record is scarce. We use the anisotropy of isothermal remanent magnetization (AIRM) to investigate the statistical orientation of fine magnetic particles and provide data on the strength and direction of bottom currents during the early Pliocene. The strength of bottom currents recorded by the AIRM, shows a prominent increase at the top of Chron C3n.1n (about 4.2 Ma), and the current direction (NE - SW) is consistent with that of modern instrumental measurements. Since bottom currents in the Maldives are driven by the monsoon, we speculate that the 4.2 Ma increase of bottom currents could mark the onset of the present-day setting, probably related to the coeval uplift phase of the Himalayan plateau

    Antioxidant Machinery Differs between Melanic and Light Nestlings of Two Polymorphic Raptors

    Get PDF
    Colour polymorphism results from the expression of multiallelic genes generating phenotypes with very distinctive colourations. Most colour polymorphisms are due to differences in the type or amount of melanins present in each morph, which also differ in several behavioural, morphometric and physiological attributes. Melanin-based colour morphs could also differ in the levels of glutathione (GSH), a key intracellular antioxidant, because of the role of this molecule in melanogenesis. As GSH inhibits the synthesis of eumelanin (i.e. the darkest melanin form), individuals of darker morphs are expected to have lower GSH levels than those of lighter morphs. We tested this prediction in nestlings of two polymorphic raptors, the booted eagle Hieraaetus pennatus and the Eleonora's falcon Falco eleonorae, both of which occur in two morphs differing in the extent of eumelanic plumage. As expected, melanic booted eagle nestlings had lower blood GSH levels than light morph eagle nestlings. In the Eleonora's falcon, however, melanic nestlings only had lower GSH levels after controlling for the levels of other antioxidants. We also found that melanic female eagle nestlings had higher levels of antioxidants other than GSH and were in better body condition than light female eagle nestlings. These findings suggest an adaptive response of melanic nestlings to compensate for reduced GSH levels. Nevertheless, these associations were not found in falcons, indicating species-specific particularities in antioxidant machinery. Our results are consistent with previous work revealing the importance of GSH on the expression of melanic characters that show continuous variation, and suggest that this pathway also applies to discrete colour morphs. We suggest that the need to maintain low GSH levels for eumelanogenesis in dark morph individuals may represent a physiological constraint that helps regulate the evolution and maintenance of polymorphisms

    Equilibrium with a Market of Permits

    Full text link

    The Impact of Surplus Sharing on the Stability of International Climate Agreements

    Full text link
    • …
    corecore