Ivannikov Institute for System Programming of the RAS


Concurrent Testing of Java Components Using Java PathFinder.

Authors

V.Mutilin.

Edition

IEEE ISoLA 2006 Second Intern.Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Paphos, Cyprus, 2006, pp. 45-51.

Research Group

Software Engineering

All publications during 2006 All publications