-
1
-
-
84957001879
-
Using UML collaboration diagrams for static checking and test generation
-
York, UK, Oct
-
A. Abdurazik and J. Offutt, Using UML collaboration diagrams for static checking and test generation, Proc. Of The Third International Conference on the Unified Modeling Language (UML '00), York, UK, Oct. 2000, 383-395.
-
(2000)
Proc. of the Third International Conference on the Unified Modeling Language (UML '00)
, pp. 383-395
-
-
Abdurazik, A.1
Offutt, J.2
-
4
-
-
84902581731
-
Generating tests from UML specifications
-
Fort Collins, CO, October
-
J. Offut and A. Abdurazik, Generating tests from UML specifications, Second International Conference on the Unified Modeling Language (UML99), Fort Collins, CO, October 1999, 416-429.
-
(1999)
Second International Conference on the Unified Modeling Language (UML99)
, pp. 416-429
-
-
Offut, J.1
Abdurazik, A.2
-
5
-
-
0033170385
-
Test cases generation from UML state diagrams
-
Y. Kim, H. Hong, D. Bae, and S. Cha, Test cases generation from UML state diagrams, IEE Proc. - Software, 146(4), 1999, 187-192.
-
(1999)
IEE Proc. - Software
, vol.146
, Issue.4
, pp. 187-192
-
-
Kim, Y.1
Hong, H.2
Bae, D.3
Cha, S.4
-
6
-
-
0034476775
-
A test sequence selection method for statecharts
-
H. Hong, Y. Kim, S. Cha, D. Bae, H. Ural, A test sequence selection method for statecharts, Software Testing, Verification and Reliability, 10(4), 2000, 203-227.
-
(2000)
Software Testing, Verification and Reliability
, vol.10
, Issue.4
, pp. 203-227
-
-
Hong, H.1
Kim, Y.2
Cha, S.3
Bae, D.4
Ural, H.5
-
8
-
-
84982942573
-
Patterns generated architectures
-
K. Beck and R, Johnson. Patterns generated architectures, Proc. of ECOOP 94, 1994, 139-149.
-
(1994)
Proc. of ECOOP 94
, pp. 139-149
-
-
Beck, K.1
Johnson, R.2
-
9
-
-
0343144950
-
Using object-oriented frameworks
-
CRC Press
-
G. Froehlich, H. J. Hoover, L. Liu, and P. G. Sorenson. Using Object-Oriented Frameworks, CRC Handbook of Object Technology, CRC Press, 1998, 26-1-26-22.
-
(1998)
CRC Handbook of Object Technology
, pp. 261-2622
-
-
Froehlich, G.1
Hoover, H.J.2
Liu, L.3
Sorenson, P.G.4
-
10
-
-
0030615481
-
Hooking into object-oriented application frameworks
-
Boston, May
-
G. Froehlich, H. J. Hoover, L. Liu, and P. G. Sorenson. Hooking into Object-Oriented Application Frameworks, Proc. 19th Int'l Conf. on Software Engineering, Boston, May 1997, 491-501.
-
(1997)
Proc. 19th Int'l Conf. on Software Engineering
, pp. 491-501
-
-
Froehlich, G.1
Hoover, H.J.2
Liu, L.3
Sorenson, P.G.4
-
13
-
-
0017973244
-
Testing software design modeled by finite state machines
-
T. Chow, Testing software design modeled by finite state machines, IEEE Transactions on Software Engineering, EE-4(3), 1978, 178-187.
-
(1978)
IEEE Transactions on Software Engineering, EE
, vol.4
, Issue.3
, pp. 178-187
-
-
Chow, T.1
-
14
-
-
0035274876
-
Statechart testing method for aircraft control systems
-
K. Bogdanov and M. Holcombe, Statechart testing method for aircraft control systems, Software Testing, Verification and Reliability, 11(1), 2001, 39-54.
-
(2001)
Software Testing, Verification and Reliability
, vol.11
, Issue.1
, pp. 39-54
-
-
Bogdanov, K.1
Holcombe, M.2
-
15
-
-
0033696545
-
Evaluation of three specification-based testing criteria
-
Tokyo, Japan, September
-
A. Abdurazik, P. Ammann, W. Ding, and J. Offutt, Evaluation of three specification-based testing criteria, Sixth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '00), Tokyo, Japan, September 2000, 179-187.
-
(2000)
Sixth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '00)
, pp. 179-187
-
-
Abdurazik, A.1
Ammann, P.2
Ding, W.3
Offutt, J.4
-
16
-
-
12344325854
-
-
Carlton University TR SCE-01-08, revised Jan
-
G. Antoniol, L. Briand, M. Penta, and Y. Labiche, A case Study Using the Round-Trip Strategy for State-based Class Testing, Carlton University TR SCE-01-08, revised Jan. 2002.
-
(2002)
A Case Study Using the Round-trip Strategy for State-based Class Testing
-
-
Antoniol, G.1
Briand, L.2
Penta, M.3
Labiche, Y.4
-
17
-
-
84904204302
-
-
December
-
WaveFront Documentation, http://www.cs.ualberta.ca/~janvik/thesis/ Document.html, December 2001.
-
(2001)
WaveFront Documentation
-
-
-
18
-
-
72449127671
-
Patternbased object-oriented parallel programming
-
S. McDonald, J. Schaeffer, and D. Szafron. Patternbased object-oriented parallel programming. Proceedings of the First International Scientific Computing in Object-Oriented Parallel Environments Conference (ISCOPE'97), 1343 of Lecture Notes in Computer Science, 1997, 167-274.
-
(1997)
Proceedings of the First International Scientific Computing in Object-oriented Parallel Environments Conference (ISCOPE'97), 1343 of Lecture Notes in Computer Science
, pp. 167-274
-
-
McDonald, S.1
Schaeffer, J.2
Szafron, D.3
|