Sciweavers

13 search results - page 1 / 3
» apaqs 2001
Sort
View
APAQS
2001
IEEE
13 years 8 months ago
Testable Use Cases in the Abstract State Machine Language
Wolfgang Grieskamp, Markus Lepper, Wolfram Schulte...
APAQS
2001
IEEE
13 years 8 months ago
A Selective Software Testing Method Based on Priorities Assigned to Functional Modules
Masayuki Hirayama, Tetsuya Yamamoto, Jiro Okayasu,...
APAQS
2001
IEEE
13 years 8 months ago
Combining the Animation and Testing of Abstract Data Types
Data Types Tim Miller Paul Strooper May 2001 Phone: +61 7 3365 1003 Fax: +61 7 3365 1533 http://svrc.it.uq.edu.au
Tim Miller, Paul A. Strooper