-
1
-
-
0020141868
-
Validation, verification and testing of computer software
-
W.R. Adrion, M.A. Branstad and J.C. Cherniavsky, “Validation, verification and testing of computer software”, ACM Comp. Sarv. 14, 2 (June 1982).
-
(1982)
ACM Comp. Sarv
, vol.14
, Issue.2
-
-
Adrion, W.R.1
Branstad, M.A.2
Cherniavsky, J.C.3
-
3
-
-
84918449828
-
Modélisation de la notion de test de programme; application à la production de jeux de tests
-
Université Paris 6, Paris
-
L Bougé, “Modélisation de la notion de test de programme; application à la production de jeux de tests”, Thèse de 3ème cycle, Université Paris 6, Paris (Oct. 1982).
-
(1982)
Thèse De 3ème Cycle
-
-
Bougé, L.1
-
4
-
-
84915689567
-
A proposition for a theory of testing: An abstract approach to the testing process
-
Rept. No. PB-160, DAIMI, Aarhus University, Denmark, to appear in
-
L. Bougé, “A proposition for a theory of testing: an abstract approach to the testing process”, Rept. No. PB-160, DAIMI, Aarhus University, Denmark (may 1983), to appear in Theor. Comp, Science.
-
(1983)
Theor. Comp, Science
-
-
Bougé, L.1
-
5
-
-
0003108918
-
-
in: Computer Program Testing, B. Chandrasekran and S. Radicchi, eds. (North-Holland
-
T.A. Budd “Mutation analysis: ideas, examples, problems and prospects”, in: Computer Program Testing, B. Chandrasekran and S. Radicchi, eds. (North-Holland, 1981) 129-148.
-
(1981)
Mutation Analysis: Ideas, Examples, Problems and Prospects
, pp. 129-148
-
-
Budd, T.A.1
-
6
-
-
0020245867
-
Two notions of correctness and their relation to testing
-
T.A. Budd and D. Angluin, “Two notions of correctness and their relation to testing”, Acta Informatica 18 (1982) 31-45.
-
(1982)
Acta Informatica
, vol.18
, pp. 31-45
-
-
Budd, T.A.1
Angluin, D.2
-
7
-
-
85051433937
-
Theoretical and empirical studies on using program mutation to test the functional correctness of programs
-
T.A. Budd, R.A. De Mitto, R.J. Lipton and F.G. Sayward, “Theoretical and empirical studies on using program mutation to test the functional correctness of programs”, Proc. 7th Ann. ACM Symp. Princ. Prog. Lang., Las Vegas (Jan. 1980) 220-233.
-
(1980)
Proc. 7Th Ann. ACM Symp. Princ. Prog. Lang., Las Vegas
, pp. 220-233
-
-
Budd, T.A.1
De Mitto, R.A.2
Lipton, R.J.3
Sayward, F.G.4
-
8
-
-
84918449826
-
Algebraic specification of synchronization and errors: A telephonic example
-
Berlin, this volume
-
B. Biebow and J. Hagelstein, “Algebraic specification of synchronization and errors: a telephonic example”, Proc. Coll. Soft. Eng., Berlin (1985), this volume.
-
(1985)
Proc. Coll. Soft. Eng
-
-
Biebow, B.1
Hagelstein, J.2
-
9
-
-
0021122616
-
-
Orlando, Florida
-
M. Bidoit, B. Biebow, M.C. Gaudel, D. Gresse and G. Guiho, “Exception handling: formal specification and systematic program construction”, Prec. Int. Conf. Soft. Eng., Orlando, Florida (1984).
-
(1984)
Exception Handling: Formal Specification and Systematic Program Construction, Prec. Int. Conf. Soft. Eng.
-
-
Bidoit, M.1
Biebow, B.2
Gaudel, M.C.3
Gresse, D.4
Guiho, G.5
-
11
-
-
0016993577
-
A system to generate test data and symbollicaly execute programs
-
L Clarke, “A system to generate test data and symbollicaly execute programs”, IEEE Trans. Soft. Eng. SE-2, 8 (1978) 215-222.
-
(1978)
IEEE Trans. Soft. Eng
, vol.SE-2
, Issue.8
, pp. 215-222
-
-
Clarke, L.1
-
14
-
-
0021478364
-
Oriented equational clauses as a programming language
-
L. Fribourg, “Oriented equational clauses as a programming language”, J. Logic Programming, 2 (Oct. 1984) 165-177.
-
(1984)
J. Logic Programming
, vol.2
, pp. 165-177
-
-
Fribourg, L.1
-
15
-
-
0020849983
-
A mathematical framework for the investigation of testing
-
J.S. Gourlay, “A mathematical framework for the investigation of testing”, IEEE trans. Soft. Eng. SE-9, 6 (1983).
-
(1983)
IEEE Trans. Soft. Eng. SE-9
, vol.SE-9
, pp. 6
-
-
Gourlay, J.S.1
-
17
-
-
0004988782
-
The algebraic specification of abstract data types
-
J. Guttag and J. Horning, “The algebraic specification of abstract data types”, Acta infarmatica 10, 1(1978).
-
(1978)
Acta Infarmatica
, vol.1
, pp. 10
-
-
Guttag, J.1
Horning, J.2
-
18
-
-
84910527030
-
Equality, types, modules and generics for logic programming
-
Uppsala, Sweden
-
J. Goguen and J. Meseguer, “Equality, types, modules and generics for logic programming”, Proc. 2nd Int.logic Programming Conf., Uppsala, Sweden (July 1984) 115-125.
-
(1984)
Proc. 2Nd Int.Logic Programming Conf.
, pp. 115-125
-
-
Goguen, J.1
Meseguer, J.2
-
20
-
-
0016994996
-
Reliability of path analysis strategies
-
W.E. Howden, “Reliability of path analysis strategies”, IEEE Trans. Soft. Eng. SE-2, 8 (1976) 208-214.
-
(1976)
IEEE Trans. Soft. Eng
, vol.SE-2
, Issue.8
, pp. 208-214
-
-
Howden, W.E.1
-
21
-
-
0003190372
-
Functional program testing
-
W.E. Howden, “Functional program testing”, IEEE Trans. Soft. Eng, SE-6, 2 (1980) 162-169.
-
(1980)
IEEE Trans. Soft. Eng
, vol.SE-6
, Issue.2
, pp. 162-169
-
-
Howden, W.E.1
-
22
-
-
0020152782
-
Weak mutation testing and completeness of test sets
-
W.E. Howden, “Weak mutation testing and completeness of test sets”, IEEE Trans. Soft. Eng. SE-8, 4 (1982) 371-379.
-
(1982)
IEEE Trans. Soft. Eng.
, vol.SE-8
, Issue.4
, pp. 371-379
-
-
Howden, W.E.1
-
23
-
-
85034845966
-
A Prolog environment for developing and reasoning about data types
-
Berlin, this volume
-
J. Hsiang and M. Srivas, “A Prolog environment for developing and reasoning about data types”, Proc. Coll. Soft. Eng., Berlin (1985), this volume.
-
(1985)
Proc. Coll. Soft. Eng.
-
-
Hsiang, J.1
Srivas, M.2
-
24
-
-
85034845823
-
Qlog - The software for prolng and logic programming
-
Debrecen, Hungary
-
H.J. Komorowski, “Qlog - The software for prolng and logic programming”, Proc. of the Logic Programming Workshop, Debrecen, Hungary (1980) 305-320.
-
(1980)
Proc. of the Logic Programming Workshop
, pp. 305-320
-
-
Komorowski, H.J.1
-
25
-
-
0343620458
-
-
Technical Rept, Dept. of Computer Science, U. of Melbourne
-
L. Naish, “An introduction to MU-PROLOG”, Technical Rept, Dept. of Computer Science, U. of Melbourne (1982).
-
(1982)
An Introduction to MU-PROLOG
-
-
Naish, L.1
-
28
-
-
0019018929
-
A domain strategy for computer program testing
-
L.J. White, E.J. Cohen, “A domain strategy for computer program testing”, IEEE Traus. Soft. Eng. SE-6, 3 (1980) 247-257.
-
(1980)
IEEE Traus. Soft. Eng
, vol.SE-6
, Issue.3
, pp. 247-257
-
-
White, L.J.1
Cohen, E.J.2
-
29
-
-
0019018936
-
Experience with path analysis and testing of programs
-
M.R. Woodward, D. Hedley and M.A. Hennel, “Experience with path analysis and testing of programs”, IEEE Trans. Soft. Eng. SE-6, 3 (1980) 278-285.
-
(1980)
IEEE Trans. Soft. Eng
, vol.SE-6
, Issue.3
, pp. 278-285
-
-
Woodward, M.R.1
Hedley, D.2
Hennel, M.A.3
-
30
-
-
0020832269
-
On hierarchies of abstract data types
-
M. Wirsing, P. Pepper, H. Partsch, W. Dusch and M. Broy, “On hierarchies of abstract data types”, Acta Information 20, 1 (Oct. 1983).
-
(1983)
Acta Information
, vol.20
, Issue.1
-
-
Wirsing, M.1
Pepper, P.2
Partsch, H.3
Dusch, W.4
Broy, M.5
-
31
-
-
85023330400
-
Sufficient test sets for path analysis testing strategy
-
San Diego, Calif
-
S.H. Zeil, L.J. White, “Sufficient test sets for path analysis testing strategy”, Proc. 5th Int. Conf. Soft. Eng., San Diego, Calif. (March 1981) 184-191.
-
(1981)
Proc. 5Th Int. Conf. Soft. Eng.
, pp. 184-191
-
-
Zeil, S.H.1
White, L.J.2
|