Verification of scenario constraints using java pathfinder

Tóm tắt Verification of scenario constraints using java pathfinder: ...istener in JPF . . . . . . . . . . . . . . . . . 22 3.4 Analyzing the verification capability of scenarios using JPF . . . . . . 22 4 Implementation 26 4.1 Architecture of the support tool . . . . . . . . . . . . . . . . . . . . . 26 4.2 The support tool interface . . . . . . . . . . . . . . . . ...Systems, volume 3563 of LNCS, pages 516–528. Springer Verlag, 2005. [6] R. Ferguson and B. Korel. The chaining approach for software test data gen- eration. IEEE Transactions on Software Engineering 5(1)., 1996. [7] M. S. Fisher. Software Verication and Validation: An Engineering and Sci- enti... data generation. In IEEE Transactions on Software Engineering, 16(8):870-879, 1990. [14] B. Korel and A. M. Al-Yami. Assertion-oriented automated test data gen- eration. In In Proceedings of the 18th International Conferance on Software Engineering (ICSE), pages 71-80, 1996. [15] T. Lindholm a...