-
1
-
-
0026256511
-
Software testing based on formal specifications: A theory and a tool
-
Nov.
-
G. Bernot, M. Gaudel, and B. Marre. Software testing based on formal specifications: a theory and a tool. Software Engineering Journal, 6(6):387-405, Nov. 1991.
-
(1991)
Software Engineering Journal
, vol.6
, Issue.6
, pp. 387-405
-
-
Bernot, G.1
Gaudel, M.2
Marre, B.3
-
2
-
-
0027621765
-
The 007 benchmark
-
Washington, D.C., May 26-28, 1993, ACM Press
-
M. J. Carey, D. J. DeWitt, and J. F. Naughton. The 007 benchmark. In Proceedings of the 1993 ACM SIGMOD International Conference on Management of Data, Washington, D.C., May 26-28, 1993, pages 12-21. ACM Press, 1993.
-
(1993)
Proceedings of the 1993 ACM SIGMOD International Conference on Management of Data
, pp. 12-21
-
-
Carey, M.J.1
Dewitt, D.J.2
Naughton, J.F.3
-
4
-
-
0032108147
-
Black and white: An integrated approach to class level testing of object-oriented programs
-
July 1998
-
H. Y. Chen, T. Tse, F. Chan, and T. Chen. In black and white: An integrated approach to class level testing of object-oriented programs. ACM Transactions on Software Engineering Methodology, 7(3):250-295, July 1998.
-
(1998)
ACM Transactions on Software Engineering Methodology
, vol.7
, Issue.3
, pp. 250-295
-
-
Chen, H.Y.1
Tse, T.2
Chan, F.3
Chen, T.4
-
5
-
-
0032660359
-
Model-based testing in practice
-
ACM Press, May
-
S. Dalal, A. Jain, N. Karunanithi, J. Leaton, C. Lott, and G. Patton. Model-based testing in practice. In International Conference on Software Engineering. ACM Press, May 1999.
-
(1999)
International Conference on Software Engineering
-
-
Dalal, S.1
Jain, A.2
Karunanithi, N.3
Leaton, J.4
Lott, C.5
Patton, G.6
-
12
-
-
0028447111
-
Quickly generating billion-record synthetic databases
-
June
-
J. Gray, P. Sundaresan, S. Englert, K. Baclawski, and P. J. Weinberger. Quickly generating billion-record synthetic databases. SIGMOD Record (ACM Special Interest Group on Management of Data), 23(2):243-252, June 1994.
-
(1994)
SIGMOD Record (ACM Special Interest Group on Management of Data)
, vol.23
, Issue.2
, pp. 243-252
-
-
Gray, J.1
Sundaresan, P.2
Englert, S.3
Baclawski, K.4
Weinberger, P.J.5
-
14
-
-
0025472647
-
Automated software test generation
-
Aug.
-
B. Korel. Automated software test generation. IEEE Transactions on Software Engineering, 16(8):870-879, Aug. 1990.
-
(1990)
IEEE Transactions on Software Engineering
, vol.16
, Issue.8
, pp. 870-879
-
-
Korel, B.1
-
15
-
-
0013139092
-
An automatic data generating system for data base simulation and testing
-
N. R. Lyons. An automatic data generating system for data base simulation and testing. Database, 8(4):10-13, 1977.
-
(1977)
Database
, vol.8
, Issue.4
, pp. 10-13
-
-
Lyons, N.R.1
-
16
-
-
0024033855
-
The category-partition method for specifying and generating functional tests
-
June
-
T. J. Ostrand and M. J. Balcer. The category-partition method for specifying and generating functional tests. Commun. ACM, 31(6):676-686, June 1988.
-
(1988)
Commun. ACM
, vol.31
, Issue.6
, pp. 676-686
-
-
Ostrand, T.J.1
Balcer, M.J.2
-
17
-
-
0002540707
-
Massive stochastic testing of SQL
-
Morgan Kaufmann, Aug.
-
D. Slutz. Massive stochastic testing of SQL. In VLDB, pages 618-622. Morgan Kaufmann, Aug. 1998.
-
(1998)
VLDB
, pp. 618-622
-
-
Slutz, D.1
-
20
-
-
0028437965
-
Automatically generating test data from a boolean specification
-
May
-
E. J. Weyuker, T. Goradia, and A. Singh. Automatically generating test data from a boolean specification. IEEE Transactions on Software Engineering, 20(5):353-363, May 1994.
-
(1994)
IEEE Transactions on Software Engineering
, vol.20
, Issue.5
, pp. 353-363
-
-
Weyuker, E.J.1
Goradia, T.2
Singh, A.3
|