Search Results - "Baudry, B."
-
1
ScapeGoat: Spotting abnormal resource usage in component-based reconfigurable software systems
Published in The Journal of systems and software (01-12-2016)“…•We provide an optimistic adaptive monitoring system.•We model the resource requirement through contracts.•We provide localized just-in-time injection and…”
Get full text
Journal Article -
2
Design by Contract to Improve Software Vigilance
Published in IEEE transactions on software engineering (01-08-2006)“…Design by contract is a lightweight technique for embedding elements of formal specification (such as invariants, pre and postconditions) into an…”
Get full text
Journal Article -
3
Automatic test case optimization: a bacteriologic algorithm
Published in IEEE software (01-03-2005)“…Improving test cases automatically is a nonlinear optimization problem. To solve this problem, we've developed a bacteriologic algorithm, adapted from genetic…”
Get full text
Journal Article -
4
Automated measurement of models of requirements
Published in Software quality journal (01-03-2013)“…On way to formalize system requirements is to express them using the object-oriented paradigm. In this case, the class model representing the structure of…”
Get full text
Journal Article -
5
A Sensitive and Specific DNA Probe to Identify Enteroaggregative Escherichia coli, a Recently Discovered Diarrheal Pathogen
Published in The Journal of infectious diseases (01-06-1990)“…The epidemiologic significance of enteroaggregative Escherichia coli(EAggEC) as a diarrheal pathogen has only recently come under study. Although EAggEC has…”
Get full text
Journal Article -
6
Vibrio cholerae Produces a Second Enterotoxin, which Affects Intestinal Tight Junctions
Published in Proceedings of the National Academy of Sciences - PNAS (15-06-1991)“…Attenuated Vibrio cholerae vaccine strains specifically mutated in genes encoding cholera toxin (CT) are still capable of causing mild to moderate diarrhea…”
Get full text
Journal Article -
7
Cloning of a gene (zot) encoding a new toxin produced by Vibrio cholerae
Published in Infection and Immunity (01-02-1992)“…Classifications Services IAI Citing Articles Google Scholar PubMed Related Content Social Bookmarking CiteULike Delicious Digg Facebook Google+ Mendeley Reddit…”
Get full text
Journal Article -
8
Diffuse-Adhering Escherichia coli (DAEC) as a Putative Cause of Diarrhea in Mayan Children in Mexico
Published in The Journal of infectious diseases (01-03-1991)“…Diarrhea is a major cause of infantile morbidity and mortality in developing countries. A community-based, case control study was conducted in a southern…”
Get full text
Journal Article -
9
Genes and bacteria for automatic test cases optimization in the .NET environment
Published in 13th International Symposium on Software Reliability Engineering, 2002. Proceedings (2002)“…The level of confidence in a software component is often linked to the quality of its test cases. This quality can in turn be evaluated with mutation analysis:…”
Get full text
Conference Proceeding -
10
Cloning of plasmid DNA sequences involved in invasion of HeLa cells by Shigella flexneri
Published in Infection and Immunity (01-07-1985)“…Classifications Services IAI Citing Articles Google Scholar PubMed Related Content Social Bookmarking CiteULike Delicious Digg Facebook Google+ Mendeley Reddit…”
Get full text
Journal Article -
11
From testing to diagnosis: an automated approach
Published in Automated Software Engineering: Proceedings of the 19th IEEE international conference on Automated software engineering; 20-24 Sept. 2004 (2004)“…The need for testing-for-diagnosis strategies has been identified for a long time, but the explicit link from testing to diagnosis is rare. Here, we start with…”
Get full text
Conference Proceeding -
12
Building trust into OO components using a genetic analogy
Published in Proceedings - International Symposium on Software Reliability Engineering (2000)“…Despite the growing interest for component based systems, few works tackle the question of the trust we can bring into a component. The paper presents a method…”
Get full text
Conference Proceeding Journal Article -
13
Characterization and Functional Analysis of the poxB Gene, Which Encodes Pyruvate Oxidase in Lactobacillus plantarum
Published in Journal of Bacteriology (01-06-2004)“…Article Usage Stats Services JB Citing Articles Google Scholar PubMed Related Content Social Bookmarking CiteULike Delicious Digg Facebook Google+ Mendeley…”
Get full text
Journal Article -
14
Towards a 'safe' use of design patterns to improve OO software testability
Published in Proceedings - International Symposium on Software Reliability Engineering (2001)“…Design-for-testability is a very important issue in software engineering. It becomes crucial in the case of OO designs where control flows are generally not…”
Get full text
Conference Proceeding Journal Article -
15
Tissue Culture-Adherent Escherichia coli in Infantile Diarrhea
Published in The Journal of infectious diseases (01-01-1992)“…To determine the association of tissue culture-adherent EscIherichia coli with diarrhea, serotyped E. coli strains isolated in a yearlong case-control study of…”
Get full text
Journal Article -
16
Validation in model-driven engineering: testing model transformations
Published in Proceedings. 2004 First International Workshop on Model, Design and Validation, 2004 (2004)“…The OMG's model-driven architecture is quickly attracting attention as a method of constructing systems that offers advantages over traditional approaches in…”
Get full text
Conference Proceeding -
17
PACOGEN: Automatic Generation of Pairwise Test Configurations from Feature Models
Published in 2011 IEEE 22nd International Symposium on Software Reliability Engineering (01-11-2011)“…Feature models are commonly used to specify variability in software product lines. Several tools support feature models for variability management at different…”
Get full text
Conference Proceeding -
18
Testability analysis of a UML class diagram
Published in Proceedings Eighth IEEE Symposium on Software Metrics (2002)“…Design-for-testability is a very important issue in software engineering. It becomes crucial in the case of OO designs where control flows are generally not…”
Get full text
Conference Proceeding -
19
Estimating footprints of model operations
Published in 2011 33rd International Conference on Software Engineering (ICSE) (21-05-2011)“…When performed on a model, a set of operations (e.g., queries or model transformations) rarely uses all the information present in the model. Unintended…”
Get full text
Conference Proceeding -
20
Localization of Plasmid Loci Necessary for the Entry of Shigella flexneri into HeLa Cells, and Characterization of One Locus Encoding Four Immunogenic Polypeptides
Published in Journal of general microbiology (01-12-1987)“…Service des Entéerobacteries, Unité Institut Pasteur, 75724 Paris Cedex 15, France Department of Bacterial Diseases, Walter Reed Army Institute of Research,…”
Get full text
Journal Article