SCOPUS 정보 검색 플랫폼

Software Testing, Verification and Reliability

Volumn 1, Issue 2, 1991, Pages 5-25

An investigation of statistical software testing

(2) Thevenod Fosse P a Waeselynck, H a

a LAAS CNRS (France)

Author keywords

Experiments; Mutation analysis; Random input data; Software testing; Theory

Indexed keywords

COMPUTER SOFTWARE SELECTION AND EVALUATION; EXPERIMENTS; PROBABILITY DISTRIBUTIONS; STATISTICAL TESTS; TEST FACILITIES;

MUTATION ANALYSIS; RANDOM INPUT; SOFTWARE DEPENDABILITY; SOFTWARE VALIDATION; STATISTICAL SOFTWARE TESTING; STATISTICAL STRUCTURAL TESTING; THEORY; VALIDATION STRATEGIES;

SOFTWARE TESTING;

EID: 0542403276 PISSN: 09600833 EISSN: 10991689 Source Type: Journal
DOI: 10.1002/stvr.4370010203 Document Type: Article

Times cited : (47)

References (49)

1
- 84981612407
- Dependable Computing and Fault Tolerance: Concepts and Terminology, Proc. 15th Symposium on Fault‐Tolerant Computing, Ann Arbor, USA
- (1985)
- Laprie, J‐C.¹

2
- 0021501826
- Software Engineering: Problems and Perspectives
- (1984) Computer , vol.17 , pp. 10
- Ramamoorthy, C.V.¹

3
- 84939741505
- IEEE Software Magazine
- (1987) Cleanroom Software Engineering
- Mills, H.D.¹ Dyer, M.² Linger, R.C.³

4
- 84922119106
- The Cleanroom Software Development Process, Chapter 1
- B. A. Kitchenham, B. Littlewood, Elsevier Applied Science, UK
- (1989) Measurement for Software Control and Assurance
- Dyer, M.¹

5
- 0017292244
- Design and Code Inspections to Reduce Errors in Program Development
- (1976) IBM Systems Journal , vol.15 , pp. 3
- Fagan, M.E.¹

6
- 0023670041
- Comparing the Effectiveness of Software Testing Strategies
- (1987) IEEE Trans. on Soft. Eng. , vol.13 SE , pp. 12
- Basili, V.R.¹ Selby, R.W.²

7
- 0004287856
- The Benjamin/Cummings Publishing Company Inc
- (1987) Software Testing and Evaluation
- DeMillo, R.A.¹

8
- 0022043004
- Selecting Software Test Data Using Data Flow Information
- (1985) IEEE Trans. on Soft. Eng. , vol.11 SE , pp. 4
- Rapps, S.¹ Weyuker, E.J.²

9
- 0003656591
- McGraw‐Hill Book Company, Computer Science Series
- (1987) Functional Program Testing and Analysis
- Howden, W.E.¹

10
- 0024032819
- A Comparison of Some Structural Testing Strategies
- (1988) IEEE Trans. on Soft. Eng. , vol.14 SE , pp. 6
- Ntafos, S.C.¹

11
- 84922166228
- Dependability: Basic Concepts and Associated Terminology
- Chapter 1
- (1990) PDCS Project First Year Report (ESPRIT Project 3092) , vol.1
- Laprie, J‐C.¹

12
- 0022614341
- Certifying the Reliability of Software
- (1986) IEEE Trans. on Soft. Eng. , vol.12 SE , pp. 1
- Currit, P.A.¹ Dyer, M.² Mills, H.D.³

13
- 84981569903
- See also corrections in
- (1989) IEEE Trans. on Soft. Eng. , vol.15 SE , Issue.3

14
- 84910819985
- The Role of Statistical Modeling and Inference in Software Quality Assurance
- B. de Neumann, (ed), Elsevier Applied Sc., UK
- (1989) Software certification
- Miller, D.R.¹

15
- 0025436318
- Evaluation of Safety‐Critical Software
- (1990) CACM , vol.33 , pp. 6
- Parnas, D.L.¹ van Schouwen, A.J.² Po Kwan, S.³

16
- 0020204093
- On Testing Non‐Testable Programs
- (1982) The Computer Journal , vol.25 , pp. 4
- Weyuker, E.J.¹

17
- 0003720640
- Voges, U., in the Series on Dependable Computing and Fault‐Tolerant Systems, Vol. 2, Springer‐Verlag, Vienna, Austria
- (1988) Software Diversity in Computerized Control Systems , vol.2

18
- 84945714159
- PODS – A Project on Diverse Software
- (1986) IEEE Trans. on Soft. Eng. , vol.12 SE , pp. 9
- Bishop, P.G.¹

19
- 84981584860
- Software Diversity? Some Considerations About its Benefits and its Limitations, Proc. SAFECOMP'86, Sarlat, France
- (1986)
- Saglietti, F.¹ Ehrenberger, W.²

20
- 84981672231
- PODS Revisited – A Study of Software Behaviour, Proc. 18th Symposium on Fault‐Tolerant Computing, Tokyo, Japan
- (1988)
- Bishop, P.G.¹ Pullen, F.D.²

21
- 84981623516
- On the Performance of Software Testing Using Multiple Versions, Proc. 20th Symposium on Fault‐Tolerant Computing, Newcastle, UK
- (1990)
- Brilliant, S.S.¹ Knight, J.C.² Ammann, P.E.³

22
- 84981629523
- Techniques for Building Dependable Distributed Systems: multi‐version software testing, Proc. 20th Symposium on Fault‐Tolerant Computing, Newcastle, UK
- (1990)
- Kelly, J.P.¹ McVittie, T.I.² Murphy, S.C.³

23
- 84981650403
- An Experimental Study on Software Structural Testing: Deterministic Versus Random Input Generation, LAAS Report 90.387. (To appear in the Proc. 21th Symposium on Fault‐Tolerant Computing, Montréal, Canada, 1991.)
- Thévenod‐Fosse, P.¹ Waeselynck, H.² Crouzet, Y.³

24
- 0004065860
- McGraw‐Hill
- (1986) Abstraction and Specification in Program Development
- Liskov, B.¹ Guttag, J.²

25
- 84981651639
- A Programming Technique for Software Reliability, Proc. 1st IEEE Symposium on Computer Software Reliability, New York, USA
- (1973)
- Girard, E.¹ Rault, J‐C.²

26
- 84981616015
- A Report on Random Testing, Proc. 5th Conference on Software Engineering, San Diego, USA
- (1981)
- Duran, J.W.¹ Ntafos, S.C.²

27
- 0021453259
- An Evaluation of Random Testing
- (1984) IEEE Trans. on Soft. Eng. , vol.10 SE , pp. 4
- Duran, J.W.¹ Ntafos, S.C.²

28
- 84981598601
- Testing for Probable Correctness, Proc. 1st IEEE Workshop on Software Testing, Banff, Canada, July
- (1986)
- Hamlet, D.¹

29
- 0023331999
- Probable Correctness Theory
- (1987) Information Processing Letters , vol.25 , pp. 1
- Hamlet, R.G.¹

30
- 84981623525
- Software Validation by Means of Statistical Testing: Retrospect and Future Direction, Proc. 1st IFIP Working Conference on Dependable Computing for Critical Applications, Santa Barbara, USA.
- Thévenod‐Fosse, P.¹

31
- 0017959155
- Hints on Test Data Selection: Help for the Practicing Programmer
- (1978) IEEE Computer Magazine , vol.11 , pp. 4
- DeMillo, R.A.¹ Lipton, R.J.² Sayward, F.G.³

32
- 84981602735
- On Testing with Required Elements, Proc. COMPSAC'81
- (1981)
- Ntafos, S.C.¹

33
- 84981598459
- STEM – A Project on Software Test and Evaluation Methods, Proc. SARS'87, Altrincham, UK
- (1987)
- Bishop, P.G.¹

34
- 84981629506
- Error Masking: a Source of Failure Dependency in Multi‐Version Programs, Proc. 1st IFIP Working Conference on Dependable Computing for Critical Applications, Santa Barbara.
- Bishop, P.G.¹ Pullen, F.D.²

35
- 84981649563
- Software Errors in Experimental Systems Having Ultra‐Reliability Requirements, Proc. 16th Symposium on Fault‐Tolerant Computing, Vienna, Austria
- (1986)
- Dunham, J.R.¹

36
- 0021412609
- Software Reliability: a Historical Perspective
- (1984) IEEE Transactions on Reliability , vol.33 R , pp. 1
- Shooman, M.L.¹

37
- 84981651647
- The Transformation Approach to the Modeling and Evaluation of the Reliability and Availability Growth, Proc. 20th Symposium on Fault‐Tolerant Computing, Newcastle, UK
- (1990)
- Laprie, J‐C.¹

38
- 0025383829
- Reliability Analysis of Large Software Systems: Defect Data Modeling
- (1990) IEEE Trans. on Soft. Eng. , vol.16 , pp. 2
- Levendel, Y¹

39
- 0019021953
- Quantifying Software Validity by Sampling
- (1980) IEEE Transactions on Reliability , vol.29 R , pp. 2
- Duran, J.W.¹ Wiorkowski, J.J.²

40
- 84981616053
- On Software Dependability Evaluation from a Statistical Testing Approach, LAAS Report 90.235
- (1990)
- Thévenod‐Fosse, P.¹ Waeselynck, H.²

41
- 0041982618
- John Wiley & Sons, USA
- (1987) Quality Programming: Developing and Testing Software with Statistical Quality Control
- Cho, C‐K.¹

42
- 84981609305
- Testing for Software Reliability, Proc. Int. Conference on Reliable Software, Los Angeles, USA
- (1975)
- Brown, J.R.¹ Lipow, M.²

43
- 0024090715
- An Extended Domain‐Based Model of Software Reliability
- (1988) IEEE Trans. on Soft. Eng. , vol.14 SE , pp. 10
- Weiss, S.N.¹ Weyuker, E.J.²

44
- 84981680167
- An Experimental Comparison of the Error Exposing Ability of Program Testing criteria, Proc. 1st IEEE Workshop on Software Testing, Banff, Canada
- (1986)
- Girgis, M.R.¹ Woodward, M.R.²

45
- 0024091830
- An Applicable Family of Data Flow Testing Criteria
- (1988) IEEE Trans. on Soft. Eng. , vol.14 SE , pp. 10
- Frankl, P.G.¹ Weyuker, E.J.²

46
- 84981650368
- On the Efficiency of Statistical Testing with Respect to Software Structural Test Criteria, Proc. IFIP Working Conference on Approving Software Products, Garmisch‐Partenkirchen, FRG, Elsevier Science Publishers B.V., North‐Holland
- (1990)
- Thévenod‐Fosse, P.¹

47
- 84981602755
- Theoretical Comparison of Testing Methods, Proc. 3rd Symposium on Software Testing, Analysis and Verification, Key West, USA
- (1989)
- Hamlet, R.¹

48
- 0021521169
- Dependability Evaluation of Software Systems in Operation
- (1984) IEEE Trans. on Soft. Eng. , vol.10 SE , pp. 6
- Laprie, J‐C.¹

49
- 84981598620
- Hardware‐and‐Software Dependability Evaluation, Proc. IFIP 11th World Computer Congress, San Francisco, USA
- (1989)
- Laprie, J‐C.¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.