-
1
-
-
0033309839
-
Abstracting formal specifications to generate software tests via model checking
-
October
-
P. Ammann and P. Black. Abstracting Formal Specifications to Generate Software Tests via Model Checking. In Proc. 18th Digital Avionics Systems Conference (DASC'99), volume 2, pages 10.A.6.1-10, October 1999.
-
(1999)
Proc. 18th Digital Avionics Systems Conference (DASC'99)
, vol.2
-
-
Ammann, P.1
Black, P.2
-
3
-
-
0021421787
-
Protoyping versus specifying: A multiproject experiment
-
B. Boehm, T. Gray, and T. Seewaldt. Protoyping Versus Specifying: A Multiproject Experiment. IEEE TSE, SE-10(3):290-303, 1984.
-
(1984)
IEEE TSE
, vol.SE-10
, Issue.3
, pp. 290-303
-
-
Boehm, B.1
Gray, T.2
Seewaldt, T.3
-
4
-
-
0016486209
-
Some experience with automated aids to the design of large-scale reliable software
-
B. Boehm, R. McClean, and D. Urfrig. Some Experience with Automated Aids to the Design of Large-Scale Reliable Software. IEEE TSE, SE-1(1):125-133, 1975.
-
(1975)
IEEE TSE
, vol.SE-1
, Issue.1
, pp. 125-133
-
-
Boehm, B.1
McClean, R.2
Urfrig, D.3
-
5
-
-
0021453259
-
An evaluation of random testing
-
July
-
J. Duran and S. Ntafos. An Evaluation of Random Testing. IEEE TSE, SE-10(4):438-444, July 1984.
-
(1984)
IEEE TSE
, vol.SE-10
, Issue.4
, pp. 438-444
-
-
Duran, J.1
Ntafos, S.2
-
8
-
-
0027644148
-
An experimental comparison of the effectiveness of branch testing and data flow testing
-
P. Frankl and S. Weiss. An Experimental Comparison of the Effectiveness of Branch Testing and Data Flow Testing. IEEE TSE, 19(8):774-787, 1993.
-
(1993)
IEEE TSE
, vol.19
, Issue.8
, pp. 774-787
-
-
Frankl, P.1
Weiss, S.2
-
9
-
-
0012944315
-
An experimental comparison of the error exposing ability of program testing criteria
-
July
-
M. Girgis and M. Woodward. An experimental comparison of the error exposing ability of program testing criteria. In Proc. IEEE/ACM workshop on software testing, pages 64-73, July 1986.
-
(1986)
Proc. IEEE/ACM Workshop on Software Testing
, pp. 64-73
-
-
Girgis, M.1
Woodward, M.2
-
10
-
-
0033352121
-
Partition testing versus random testing: The influence of uncertainty
-
W. Gutjahr. Partition testing versus random testing: the influence of uncertainty. IEEE TSE, 25(5):661-674, 1999.
-
(1999)
IEEE TSE
, vol.25
, Issue.5
, pp. 661-674
-
-
Gutjahr, W.1
-
11
-
-
50249107999
-
Prototype-based tests for hybrid reactive systems
-
G. Hahn, J. Philipps, A. Pretschner, and T. Stauner. Prototype-based Tests for Hybrid Reactive Systems. In Proc. 14th IEEE Intl. workshop on Rapid System Prototyping, pages 78-85, 2003.
-
(2003)
Proc. 14th IEEE Intl. Workshop on Rapid System Prototyping
, pp. 78-85
-
-
Hahn, G.1
Philipps, J.2
Pretschner, A.3
Stauner, T.4
-
12
-
-
0025530786
-
Partition testing does not inspire confidence
-
December
-
D. Hamlet and R. Taylor. Partition Testing Does Not Inspire Confidence. IEEE TSE, 16(12):1402-1411, December 1990.
-
(1990)
IEEE TSE
, vol.16
, Issue.12
, pp. 1402-1411
-
-
Hamlet, D.1
Taylor, R.2
-
14
-
-
15844394509
-
Test suite reduction for model based tests: Effects on test quality and implications for testing
-
M. Heimdahl and D. George. Test Suite Reduction for Model Based Tests: Effects on Test Quality and Implications for testing. In Proc. 19th Intl. Conf. on Automated Software Engineering, pages 176-185, 2004.
-
(2004)
Proc. 19th Intl. Conf. on Automated Software Engineering
, pp. 176-185
-
-
Heimdahl, M.1
George, D.2
-
16
-
-
84888265186
-
A temporal logic based theory of test coverage and generation
-
H. Hong, I. Lee, O. Sokolsky, and H. Ural. A Temporal Logic Based Theory of Test Coverage and Generation. In Proc. TACAS'02, pages 327-341, 2002.
-
(2002)
Proc. TACAS'02
, pp. 327-341
-
-
Hong, H.1
Lee, I.2
Sokolsky, O.3
Ural, H.4
-
17
-
-
84957360688
-
Consistent graphical specification of distributed systems
-
F. Huber, B. Schätz, and G. Einert. Consistent Graphical Specification of Distributed Systems. In Proc. Formal Methods Europe, pages 122-141, 1997.
-
(1997)
Proc. Formal Methods Europe
, pp. 122-141
-
-
Huber, F.1
Schätz, B.2
Einert, G.3
-
18
-
-
0028166441
-
Experiments of the effectiveness of dataflow- and controlflow-based test adequacy criteria
-
M. Hutchins, H. Foster, T. Goradia, and T. Ostrand. Experiments of the effectiveness of dataflow- and controlflow-based test adequacy criteria. In Proc. ICSE'94, pages 191-200, 1994.
-
(1994)
Proc. ICSE'94
, pp. 191-200
-
-
Hutchins, M.1
Foster, H.2
Goradia, T.3
Ostrand, T.4
-
19
-
-
33244489394
-
MOST media oriented system transport - Multimedia and control networking technology
-
MOST Cooperation
-
MOST Cooperation. MOST Media Oriented System Transport - Multimedia and Control Networking Technology. MOST Specification Rev 2.2, Ver 2.2-00. 2002.
-
(2002)
MOST Specification Rev 2.2, Ver 2.2-00
-
-
-
21
-
-
0021156881
-
An evaluation of required element testing strategies
-
S. Ntafos. An evaluation of required element testing strategies. In Proc. ICSE '84, pages 250-256, 1984.
-
(1984)
Proc. ICSE '84
, pp. 250-256
-
-
Ntafos, S.1
-
23
-
-
33244490550
-
Model-based test case generation for smart cards
-
J. Philipps, A. Pretschner, O. Slotosch, E. Aiglstorfer, S. Kriebel, and K. Scholl. Model-based test case generation for smart cards. In Proc. 8th Intl. Workshop on Formal Methods for Industrial Critical Syst., pages 168-192, 2003.
-
(2003)
Proc. 8th Intl. Workshop on Formal Methods for Industrial Critical Syst.
, pp. 168-192
-
-
Philipps, J.1
Pretschner, A.2
Slotosch, O.3
Aiglstorfer, E.4
Kriebel, S.5
Scholl, K.6
-
24
-
-
18944378003
-
Compositional generation of MC/DC test suites
-
A. Pretschner. Compositional generation of MC/DC test suites. ENTCS, 82(6):1-11, 2003.
-
(2003)
ENTCS
, vol.82
, Issue.6
, pp. 1-11
-
-
Pretschner, A.1
-
25
-
-
16244408517
-
Model-based testing for real
-
A. Pretschner, O. Slotosch, A. Aiglstorfer, and S. Kriebel. Model-Based Testing for Real. Software Tools for Technology Transfer, 5(2-3):140-157, 2004.
-
(2004)
Software Tools for Technology Transfer
, vol.5
, Issue.2-3
, pp. 140-157
-
-
Pretschner, A.1
Slotosch, O.2
Aiglstorfer, A.3
Kriebel, S.4
-
26
-
-
0028437965
-
Automatically generating test data from a Boolean specification
-
May
-
E. Weyuker, T. Goradia, and A. Singh. Automatically Generating Test Data from a Boolean Specification. IEEE TSE, 20(5):353-363, May 1994.
-
(1994)
IEEE TSE
, vol.20
, Issue.5
, pp. 353-363
-
-
Weyuker, E.1
Goradia, T.2
Singh, A.3
|