-
2
-
-
0030283406
-
How many paths are needed for branch testing?
-
Bertolino A., and Marre M. How many paths are needed for branch testing?. Journal of Systems and Software 35 2 (1996) 95-106
-
(1996)
Journal of Systems and Software
, vol.35
, Issue.2
, pp. 95-106
-
-
Bertolino, A.1
Marre, M.2
-
3
-
-
34347384862
-
-
B.W. Boehm, COCOMO II Model Definition Manual, Technical report, University of Southern California, 1997.
-
-
-
-
5
-
-
34347385068
-
-
J.R Brown, Practical application of software tools, TRW report TRW-55-72-05, TRW Systems, One Space Park, Redondo Beach, California, 1972.
-
-
-
-
6
-
-
0000418612
-
An appraisal of some shortest path algorithms
-
Dreyfus S.E. An appraisal of some shortest path algorithms. Operational Research 17 (1969) 395-412
-
(1969)
Operational Research
, vol.17
, pp. 395-412
-
-
Dreyfus, S.E.1
-
7
-
-
34347377202
-
-
European Space Agency (ESA) Software Engineering Standards, ESA PSS-05-0 Issue 2, European Space Agency (ESA), 8-10, rue Mario-Nikis, 75738 PARIS CEDEX, France, 1991.
-
-
-
-
8
-
-
0001134764
-
Evaluating testing methods by delivered reliability
-
Frankl P.G., Hamlet R.G., Littlewood B., and Strigini L. Evaluating testing methods by delivered reliability. IEEE Transactions on Software Engineering 24 8 (1998) 586-601
-
(1998)
IEEE Transactions on Software Engineering
, vol.24
, Issue.8
, pp. 586-601
-
-
Frankl, P.G.1
Hamlet, R.G.2
Littlewood, B.3
Strigini, L.4
-
11
-
-
0038262973
-
-
M. Harder, J. Mellen, M.D. Ernst, Improving test suites via operational abstraction, Proceedings of the International Conference on Software Engineering, Portland, Oregon, 2003, pp. 60-71.
-
-
-
-
12
-
-
77954890134
-
-
C. Koutsikas, N. Malevris, A Unified Symbolic Execution System, Proceedings of the ACS/IEEE International Conference on Computer Systems and Applications, Beirut, 2001, pp. 466-469.
-
-
-
-
13
-
-
0036891326
-
Software reliability growth with test coverage
-
Malaiya Y.K., Li M.N., Bieman J.M., and Karcich R. Software reliability growth with test coverage. IEEE Transactions on Reliability 51 4 (2002) 420-426
-
(2002)
IEEE Transactions on Reliability
, vol.51
, Issue.4
, pp. 420-426
-
-
Malaiya, Y.K.1
Li, M.N.2
Bieman, J.M.3
Karcich, R.4
-
14
-
-
34347371292
-
-
N. Malevris, An Assessment of the Number of Paths Needed for Control Flow Testing. 3rd International Conference on Reliability, Quality and Safety of Software-Intensive Systems (ENCRESS '97), Athens, Greece, pp. 32-43.
-
-
-
-
16
-
-
0024032819
-
A comparison of some structural testing strategies
-
Ntafos S.C. A comparison of some structural testing strategies. IEEE Transactions on Software Engineering 14 6 (1988) 868-874
-
(1988)
IEEE Transactions on Software Engineering
, vol.14
, Issue.6
, pp. 868-874
-
-
Ntafos, S.C.1
-
19
-
-
34347390269
-
-
Requirements for safety related software in defence equipment, Part 1, Defence Standard 00-55(PART 1)/Issue 2, Ministry of Defence, UK, 1997.
-
-
-
-
20
-
-
0016975520
-
Iterative methods for determining the K shortest paths in a network
-
Shier D.R. Iterative methods for determining the K shortest paths in a network. Networks 6 (1976) 205-229
-
(1976)
Networks
, vol.6
, pp. 205-229
-
-
Shier, D.R.1
-
21
-
-
34347405782
-
-
Standard for Software Component Testing, British Computer Society Special Interest Group in Software Testing (BCS SIGIST), UK, 2001.
-
-
-
-
22
-
-
0034538845
-
-
S.K.S. Sze, M.R. Lyu, ATACOBOL - A COBOL Test coverage analysis tool and its applications, Proceedings of the 11th International Symposium on Software Reliability Engineering (ISSRE'00), San Jose, California, 2000, pp. 327-335.
-
-
-
-
23
-
-
34347391927
-
-
Testbed, LDRA Software Technology, Portside, Monks Ferry, Wirral, UK.
-
-
-
-
24
-
-
34347392138
-
-
L.J. White, Software testing and verification, in: M.C. Yovits (Ed.), Advances In Computers (1987) p. 26.
-
-
-
-
25
-
-
15844388926
-
An investigation into program paths and their representation
-
Woodward M.R. An investigation into program paths and their representation. Techniques et Science Informatiques 3 (1984) 273-286
-
(1984)
Techniques et Science Informatiques
, vol.3
, pp. 273-286
-
-
Woodward, M.R.1
-
27
-
-
34347401676
-
-
D.F. Yates, M.A. Hennell, An approach to branch testing, Proceedings of 11th Workshop on Graph Theoretic Techniques in Computer Science, Wurtzburg, West Germany, 1985, pp. 421-433.
-
-
-
-
28
-
-
33646887696
-
The effort required by LCSAJ testing: an assessment via a new path generation strategy
-
Yates D.F., and Malevris N. The effort required by LCSAJ testing: an assessment via a new path generation strategy. Software Quality Journal 4 3 (1995) 227-243
-
(1995)
Software Quality Journal
, vol.4
, Issue.3
, pp. 227-243
-
-
Yates, D.F.1
Malevris, N.2
-
29
-
-
0024911119
-
-
D.F. Yates, N. Malevris, Reducing the effect of infeasible paths in branch testing, Proceeding of the 3rd Symposium on Software Testing, Analysis and Verification (TAV3), Key West, Florida, USA, 1989, pp. 48-56.
-
-
-
-
30
-
-
0031354777
-
Software unit test coverage and adequacy
-
Zhu H., Hall P., and May H.R. Software unit test coverage and adequacy. ACM Computing Surveys 29 4 (1997) 336-427
-
(1997)
ACM Computing Surveys
, vol.29
, Issue.4
, pp. 336-427
-
-
Zhu, H.1
Hall, P.2
May, H.R.3
|