Learn More
Myeloperoxidase (MPO) is an abundant mammalian phagocyte hemoprotein thought to primarily mediate host defense reactions. Although its microbicidal functions are well established in vitro, humans deficient in MPO are not at unusual risk of infection. MPO was observed herein to modulate the vascular signaling and vasodilatory functions of nitric oxide (NO)(More)
When creating software, data types are the basic bricks. Most of the time a programmer will use data types defined in library modules, therefore being tested by many users over many years. But sometimes, the appropriate data type is unavailable in the libraries and has to be constructed from scratch. In this way, new basic bricks are created, and(More)
Information about subscriptions and ASH membership may be found online at: digital object identifier (DOIs) and date of initial publication. the indexed by PubMed from initial publication. Citations to Advance online articles must include final publication). Advance online articles are citable and establish publication priority; they are appeared in the(More)
In this paper, some experiences of using the concurrent functional language Erlang to implement a classical vertical application, a risk management information system, are presented. Due to the complex nature of the business logic and the interactions involved in the client/server architecture deployed, traditional development techniques are unsatisfactory.(More)
Multi-agent systems are a kind of concurrent distributed systems. In this work, some guidelines on how to create multi-agent systems using Erlang are presented. The modelled system supports cooperation among agents by plan exchange, reconfiguration and has a certain fault-tolerance. The distributed and concurrent functional programming Erlang, together with(More)
Many software systems are data-intensive and use a data management systems for data storage, such as Relational Database Management Systems (RDBMS). RDBMSs are used to store information in a structured manner, and to define several types of constraints on the data, to maintain basic consistency. The RDBMSs are mature, well tested, software products that one(More)
In this work, we face the problem of generating good quality test suites and test cases for web services. We present a framework to test web services based on their formal description, following a black-box approach and using Property-Based Testing. Web services are a popular solution to integrate components when building a software system, or to allow(More)
Model-Based Testing and Property-Based Testing are two testing methodologies that usually facilitate the automation of the generation of test cases, using either models or properties as basis to derive complete test suites. In doing so, they also contribute to reduce both the source code needed for testing purposes and the time spent on writing those tests,(More)