Ngày tải lên :
27/08/2016, 22:49
... Journal of the IGPL, vol 14, no 5, pp 729 -744, Oct 20 06 [26 ] OMG document, UML 2. 0 Superstructure Specification, 20 03 http://www.omg.org/cgi-bin/doc?ptc /03 -08 - 02 [27 ] UML sequence diagram http://www.uml-diagrams.org/sequence-diagrams-combined-fragment.html ... IEEE Computer So cie ty Press, pp 177 -22 2, 20 12 [16] A Gro ce, D Peled, and M Y annak a ki s, ―Black box checking", J Autom Lang Comb., p p 22 5 -24 6, Nov 20 01 [17] A Gro ce, D Peled, and M Y annak ... Java source code‖, Software Engineering, Proceedings of the 20 00 International Conference on, pp 439-448d, 20 00 [22 ] O Tkachuk, M.B Dwyer and C.S Pasareanu, ―Automated environment generation for...