Miscellaneous (9 papers)
| An Average-Case Model of Reachability; T. Menzies and B. Cukic; 1999; March; NASA/WVU IV&V tech report. ; In preperation
|
| Experiments with an Average-Case Model ofReachability; T. Menzies and B. Cukic; 1999; March; NASA/WVU IV&V tech report; in preperation
|
| RAPTURE/SP2: Efficient Testing of Temporal Properties Without Search Space Explosion; T. Menzies and M.E. Houle and J. Powell; 1999; NASA IV&V Facility Technical Report
|
| Empirical Observations of Class-level Encapsulation and Inheritance; T. Menzies and P. Haynes; 1996; softdev; Available from http:// menzies.us/pdf/96encap.pdf
|
| Subject Handbook SFT3500/SYS3030: Industrial Experience Project; T. Menzies and S. Tucker; 1996; Available from http:// menzies.us/pdf/96ie.pdf
|
| Reverse Engineering a Software Engineering Curriculum; R. F. Cohen and T. Menzies; number TR95-20; 1995; softdev;
|
| Abduction and Memoing; T.J. Menzies and A. Taylor; number TR95-36; 1995; Department of Software Development, Monash University; Available from http:// menzies.us/pdf/95memoab.pdf
|
| Frameworks for Assessing Visual Languages; T.J. Menzies; number TR95-35; 1995; Department of Software Development, Monash University; Available from http:// menzies.us/pdf/95testvl.pdf
|
| Applications of Abduction #3: ``Black-Box'' to ``Gray-Box'' Model; T.J. Menzies and S. Goss; AI in Defence Workshop, Australian AI'95, also Technical Report TR95-31, Department of Software Development, Monash University; 1995; Available from http:// menzies.us/pdf/95gray.pdf
|