1 |
Hailpern B. and Santhanam, P.(2002), Software Debugging, Testing, and Verification, IBM Systems Journal, 41(1), 4-12
|
2 |
Kim, S.-H., Roh, M.-C, Sec, B.-S., Jang, C, Jung, S.-W. and Kim, J.-B.(2002), E504 EJB(Enterprise Java Beans) Server System for Enterprise e-Business, Proceeding of CALS/EC Korea 2002, Korea Institute of CALS/EC, 478-485
|
3 |
Lee K.W. and Krishnan, P.(2001), Towards a Formal Framework for javaBean and Enterprise javeBeans, Reports in Computer Science, University of Canterbury
|
4 |
Lenstra J.K and Rinnooy Kan, A.H.G.(1976), On General Routing Problems, Network, 6, 273-280
|
5 |
Minieka, E.(1978), Optimization Algorithms for Network and Graphs, Marcel Dekker Inc
|
6 |
Nakajima S. and Tarnai, T.(2001), Behavioural Analysis of the Enterprise JavaBeans Component Architecture, ucture Notes in Computer Science(LNCS), 2057, 163-182
|
7 |
Sidhu, D.P. and Leung, T.-K.(1989), Formal Methods for Protocol Testing: A Detailed Study, IEEE Transactions on Software Engineering, 15(4), 413-426
|
8 |
Sousa J.P. and Garlan, D.(2001), Formal Modeling of Enterprise JavaBeans Component Integration Framework, Information and Software Technology, 43, 171-188
|
9 |
Sun Microsystems (2003), Enterprise javaBeans(TM) Specification, http://java.sun.com/ products/ejb
|
10 |
Uyar M.U. and Dahbura, A.T.(1986), Optimal Test Sequence Generation for Protocols: the Chinese Postman Algorithm Applied to Q.931, Globecom'86, 3.1.1-3.1.5
|
11 |
Holzmann, G.J.(1991), Design and Validation of Computer Protocols, Prentice-Hall
|
12 |
Abo, A.V., Dahbura, AT., Lee, D. and Vyar, M.V.(1991), An Optimization Technique for Protocol Conformance Test Generation based on VIO Sequence and Rural Chinese Postman Tours, IEEE Transactions on Communications, 39(11), 1604-1615
|
13 |
Lindo Systems (2003), LINDO System's Index Page, http://www.lindo.com
|
14 |
Csondes, T., Kotnyek, B. and Szabo, J.Z.(2002), Application of Heuristic Methods for Conformance Test Selection, European Journal of Operational Research, 142, 203-218
|