Sciweavers

13 search results - page 1 / 3
» apaqs 2001
Sort
View
APAQS
2001
IEEE
13 years 10 months ago
Testable Use Cases in the Abstract State Machine Language
Wolfgang Grieskamp, Markus Lepper, Wolfram Schulte...
APAQS
2001
IEEE
13 years 10 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 10 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