Filters








65,988 Hits in 5.8 sec

Final results of magnetic monopole searches with the MACRO experiment

M. Ambrosio et al.
2002 European Physical Journal C: Particles and Fields  
We present the final results obtained by the MACRO experiment in the search for GUT magnetic monopoles in the penetrating cosmic radiation, for the range 4× 10^-5< β < 1.  ...  This result is the first experimental limit obtained in direct searches which is well below the Parker bound in the whole β range in which GUT magnetic monopoles are expected.  ...  Department of Energy and the U.S. National Science Foundation for their generous support of the MACRO experiment.  ... 
doi:10.1140/epjc/s2002-01046-9 fatcat:3b37uqi2hjcezakw5hdpteegr4

Mars Global Surveyor Thermal Emission Spectrometer experiment: Investigation description and surface science results

P. R. Christensen, J. L. Bandfield, V. E. Hamilton, S. W. Ruff, H. H. Kieffer, T. N. Titus, M. C. Malin, R. V. Morris, M. D. Lane, R. L. Clark, B. M. Jakosky, M. T. Mellon (+14 others)
2001 Journal of Geophysical Research  
no conclusive evidence for sulfate minerals at a detection limit of ϳ15%.  ...  in limited regions under ambient or hydrothermal conditions; these deposits are interpreted to be in-place sedimentary rock formations and indicate that liquid water was stable near the surface for a  ...  Martin, and E. Winter contributed significantly to the development of the atmosphere analysis software.  ... 
doi:10.1029/2000je001370 fatcat:fy5e3xucdjaavm7jjxeujfs66y

A BAYESIAN HYPOTHESIS TESTING APPROACH FOR FINDING UPPER BOUNDS FOR PROBABILITIES THAT PAIRS OF SOFTWARE COMPONENTS FAIL SIMULTANEOUSLY

MONICA KRISTIANSEN, RUNE WINTHER, BENT NATVIG
2011 International Journal of Reliability, Quality and Safety Engineering (IJRQSE)  
One possible way to assess and include dependency aspects in software reliability models is to find upper bounds for probabilities that software components fail simultaneously and then include these into  ...  In this paper, a Bayesian hypothesis testing approach for finding upper bounds for probabilities that pairs of software components fail simultaneously is described.  ...  Acknowledgment This work has been performed as part of a PhD-study in collaboration between Østfold University College and the University of Oslo.  ... 
doi:10.1142/s021853931100410x fatcat:7oatjtblx5dqpfhu6lzqflyr4a

Foundations of software testing

Dick Hamlet
1994 Software engineering notes  
In support of this goal, a plausible theory of dependability is needed to suggest and prove results about what test methods should be used, and under what circumstances.  ...  Testing is potentially the best grounded part of software engineering, since it deals with the well defined situation of a fixed program and a test (a finite collection of input values).  ...  Then a in equation 3.3.1 should estimate the fraction of experiments in which the observed failure intensity exceeds 6, for that is the meaning of the upper confidence bound.  ... 
doi:10.1145/195274.195400 fatcat:wr2vrg7xcvgehe36bwbmadcnjm

Foundations of software testing

Dick Hamlet
1994 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '94  
In support of this goal, a plausible theory of dependability is needed to suggest and prove results about what test methods should be used, and under what circumstances.  ...  Testing is potentially the best grounded part of software engineering, since it deals with the well defined situation of a fixed program and a test (a finite collection of input values).  ...  Then a in equation 3.3.1 should estimate the fraction of experiments in which the observed failure intensity exceeds 6, for that is the meaning of the upper confidence bound.  ... 
doi:10.1145/193173.195400 dblp:conf/sigsoft/Hamlet94 fatcat:btiu2ri4cbgktkruagszgeboue

Design Diversity: an Update from Research on Reliability Modelling [chapter]

Bev Littlewood, Peter Popov, Lorenzo Strigini
2001 Aspects of Safety Management  
We summarise results in the general modelling of common-mode failure, in inference from observed failure data, and in decision-making for diversity in development.  ...  These results provide additional insight for decisions in applying diversity and in assessing diverseredundant systems.  ...  Acknowledgments This paper is derived from the final report for project DISPO (DIverse Software PrOject), funded by Scottish Nuclear (later British Energy) at City University and Bristol University.  ... 
doi:10.1007/978-1-4471-0713-2_11 fatcat:uji6cpivqjbetiwsqk7qflmcx4

Software Reliability – A Review

Alisha Garg
2016 International Journal of Scientific Research and Management  
The aspects related to these software system includes the probability of software faults, frequency of fault occurrence, criticality of fault, associated module with respective fault etc.  ...  These properties include the trustfulness of software system, software cost, execution time, software stability etc.  ...  These examples were shown that a more accurate result can be obtained with the help of lower and upper bounds.  ... 
doi:10.18535/ijsrm/v4i7.13 fatcat:gn5drmg5tfczzlix4ete6dkm4e

Imprecise reliability: An introductory overview [chapter]

Lev V. Utkin, Frank P. A. Coolen
2007 Studies in Computational Intelligence  
The main aim of this paper is to define what imprecise reliability is, and discuss a variety of problems that can be solved by means of a framework of imprecise probabilities.  ...  From this point of view, various branches of reliability analysis are considered, including analysis of monotone systems, repairable systems, multi-state systems, structural reliability, software reliability  ...  As a result, only partial information about reliability of system components may be available, for example, the mean time to failure (MTTF) or bounds for the probability of failure at a time.  ... 
doi:10.1007/978-3-540-37372-8_10 fatcat:mb224zwiwff77idp5xwr5b2v5q

Estimating bounds on the reliability of diverse systems

P. Popov, L. Strigini, J. May, S. Kuball
2003 IEEE Transactions on Software Engineering  
A direct practical gain for designers, users and regulators is the possibility of estimating useful upper and lower bounds on the reliability of a two-versions system.  ...  We address the problems of estimating the reliability of multiple-version software, and improve the understanding of the various ways failure dependence between versions can arise.  ...  In section 5 we illustrate the derivation of lower and upper bounds for the probability of system failure using data from an experiment on multi-version software.  ... 
doi:10.1109/tse.2003.1191798 fatcat:m6lcpxfojng45jf2om433nbs3y

Faults on its sleeve

Dick Hamlet, Jeff Voas
1993 Proceedings of the 1993 international symposium on Software testing and analysis - ISSTA '93  
Software developers and quality-assurance organizations spend a great deal of effort preventing, detecting, and removing "defects"-parts of software responsible for operational failure.  ...  But software quality can be measured only by statistical parameters like hazard rate and mean time to failure, measures whose connection with defects and with the development process is little understood  ...  When failures do not occur, and a large MTTF is predicted as a result, no such experiment is possible.  ... 
doi:10.1145/154183.154246 dblp:conf/issta/HamletV93 fatcat:7igycdqcwvehtgzrkej7yavpjm

Faults on its sleeve

Dick Hamlet, Jeff Voas
1993 Software engineering notes  
Software developers and quality-assurance organizations spend a great deal of effort preventing, detecting, and removing "defects"-parts of software responsible for operational failure.  ...  But software quality can be measured only by statistical parameters like hazard rate and mean time to failure, measures whose connection with defects and with the development process is little understood  ...  When failures do not occur, and a large MTTF is predicted as a result, no such experiment is possible.  ... 
doi:10.1145/174146.154246 fatcat:fp7knnipxbflbjfgykmfsw5ene

Software Fault-Freeness and Reliability Predictions [chapter]

Lorenzo Strigini, Andrey Povyakalo
2013 Lecture Notes in Computer Science  
The two forms of reasoning -about evidence of correctness and about probabilities of certain failures -are rarely brought together explicitly.  ...  Many software development practices aim at ensuring that software is correct, or fault-free.  ...  ("Security and Safety Modelling"), supported by the Artemis JU, and the United Kingdom  ... 
doi:10.1007/978-3-642-40793-2_10 fatcat:htu2amt3fbc23kzyc2d7offgc4

AN INTELLIGENT SYSTEM BY FUZZY RELIABILITY ALGORITHM IN FAULT TREE ANALYSIS FOR NUCLEAR POWER PLANT PROBABILISTIC SAFETY ASSESSMENT

JULWAN HENDRY PURBA, JIE LU, GUANGQUAN ZHANG
2014 International Journal of Computational Intelligence and Applications  
To benchmark the applicability of the intelligent concept implemented in InFaTAS-NuSA, a case study is performed and the analysis results are compared to the results obtained from a well-known fault tree  ...  Fault tree analysis for nuclear power plant probabilistic safety assessment is an intricate process. Personal computer-based software systems have therefore been developed to conduct this analysis.  ...  Based on the current results, we need to conduct more experiments to explore InFaTAS-NuSA's features and enable future improvements and/or find new directions for development.  ... 
doi:10.1142/s1469026814500175 fatcat:rw2rk7pl2zc3lajc6bcmzyvcfq

On the use of testability measures for dependability assessment

A. Bertolino, L. Strigini
1996 IEEE Transactions on Software Engineering  
We then study the mathematics of using testability to estimate, from test results: i) the probability of program correctness and ii) the probability of failures.  ...  When a dependability assessment has to be derived from the observation of a series of failure-free test executions (a common need for software subject to "ultra-high reliability" requirements), measures  ...  The authors wish to acknowledge the useful comments and criticism of their colleagues in Project SHIP, especially Peter Bishop, Peter Popov, Bev Littlewood, and of the TSE referees.  ... 
doi:10.1109/32.485220 fatcat:32g23z3m7zht7bzhnpi2mfs7yq

Formal Analysis of the Probability of Interaction Fault Detection Using Random Testing

Andrea Arcuri, Lionel Briand
2012 IEEE Transactions on Software Engineering  
In this paper, we present several theorems describing the probability of random testing to detect interaction faults and compare the results to combinatorial testing when there are no constraints among  ...  For example, random testing becomes even more effective as the number of features increases and converges toward equal effectiveness with combinatorial testing.  ...  If one repeats such an experiment n times, and counts the number of experiments a in which at least one 4-wise fault is found, then the probability that a CIT tool finds at least one 4-wise fault (triggering  ... 
doi:10.1109/tse.2011.85 fatcat:q3n56dw5zna3hnfpg2q2lo3swe
« Previous Showing results 1 — 15 out of 65,988 results