You can manage bookmarks using lists, please log in to your user account for this.
Media type:
E-Book;
Thesis
Title:
Automatic test generation based on formal specifications
:
practical procedures for efficient state space exploration and improved representation of test cases