Swinburne Home |  School of Information Technology  |  Search  |  Index  

 

Research Publications - M. F. LAU

Refereed International Journals

  1. Y. T. Yu, M. F. Lau, and T. Y. Chen, ''Automatic generation of test cases from Boolean specifications using the MUMCUT strategy'', Journal of Systems and Software 79(6):820--840, June 2006.
  2. Y. T. Yu and M. F. Lau ''A comparison of MC/DC, MUMCUT and several other coverage criteria for logical decisions'', Journal of Systems and Software, 79(5):577--590, May 2006.
  3. T. Y. Chen, D. D. Grant, M. F. Lau, S. P. Ng, and V. R. Vasa, ''BEAT: A web-based Boolean expression fault-based test case generation tool'', International Journal of Distance Education Technologies, 4(2):44--56, April 2006.
  4. M. F. Lau and Y. T. Yu, ''An extended fault class hierarchy for Boolean specifications'', ACM Transactions on Software Engineering and Methodology, 14(3):247--276, July 2005.
  5. T. Y. Chen and M. F. Lau, ''On the divide-and-conquer approach towards test suite reduction'', Information Sciences, an International Journal, 152:89--119, June 2003.
  6. T. Y. Chen and M. F. Lau, ''Test case selection strategies based on Boolean specifications'', Software Testing, Verification and Reliability, 11(3):165--180, Sep. 2001.
  7. T. Y. Chen and M. F. Lau, ''On the completeness of a test suite reduction strategy'', The Computer Journal, 42(5):430--440, May 1999.
  8. T. Y. Chen and M. F. Lau, ''A simulation study on some heuristics for test suite reduction'', Information and Software Technology, 40(13):777--787, Nov. 1998.
  9. T. Y. Chen and M. F. Lau, ''A new heuristic for test suite reduction'', Information and Software Technology, 40(5--6):347--354, July 1998.
  10. T. Y. Chen and M. F. Lau, ''Dividing strategies for the optimization of a test suite'', Information Processing Letters, 60(3):135-141, Nov. 1996.

Refereed International Conferences

  1. M. F. Lau, Y. Liu, and Y. T. Yu, ''Detecting Double Faults on Terms and Literal in Boolean Expressions'', In Proceedings of the Seventh International Conference on Quality Software (QSIC 2007), pp. 117--126, Oct. 2007.
  2. M. F. Lau, Y. Liu, T.Y. Chen, and Y. T. Yu, ''On Detecting Double Literal Faults in Boolean Expressions'', In Proceedings of 12th International Conference on Reliable Software Technologies - Ada-Europe 2007, pp. 55--68, June 2007, Lecture Notes in Computer Science, vol. 4498, Springer-Verlag, 2007.
  3. M. F. Lau, Y. Liu, and Y. T. Yu, ''On the Detection Conditions of Double Faults Related to Terms in Boolean Expressions'', In Proceedings of COMPSAC 2006: The Thirtieth International Computer Software and Applications Conference, pp. 403--410, Sep. 2006.
  4. M. F. Lau, J. Y. S. Lee, and Y. T. Yu, ''A tool for software engineers to learn and use Z'', In Proceedings of the International Conference on Computers in Education (ICCE 2004), pp. 1029-1034, Dec. 2004.
  5. M. F. Lau and Y. T. Yu, ''On the relationship between single and double faults in logical expression'', In supplementary Proceedings of the 15th International Symposium on Software Reliability Engineering (ISSRE 2004), pp. 41-42, Nov. 2004.
  6. Y. T. Yu and M. F. Lau, ''Comparing several coverage criteria for detecting faults in logical decisions'', In Proceedings of the Fourth International Conference on Quality Software (QSIC 2004), pp. 14-21, Sep. 2004, IEEE CS Press.
  7. Y. T. Yu, M. F. Lau, and T. Y. Chen, ''Using the incremental approach to generate test sets: a case study'', In Proceedings of the Third International Conference on Quality Software (QSIC 2003), pp. 263-270, Nov. 2003, IEEE CS Press.
  8. T. Y. Chen, D. D. Grant, M. F. Lau, S. P. Ng, and V. R. Vasa, ''BEAT: Boolean Expression fAult-based Test Case Generator'', In Proceedings of International Conference on Information Technology: Research and Education, pp. 625-629, August 2003, IEEE Press.
  9. M. F. Lau, T. Y. Chen, and S. P. Ng, ''Fault detecting capability and test suite reduction for Boolean specifications: an empirical evaluation'', In Proceedings of the First ACIS International Conference on Software Engineering Research and Applications (SERA 2003), pp. 64-69, June 2003.
  10. Y. T. Yu and M. F. Lau, ''Prioritization of test cases in MUMCUT test sets: an empirical study'', In Proceedings of 7th International Conference on Reliable Software Technologies - Ada-Europe 2002, pp. 245--256, June 2002, Lecture Notes in Computer Science, vol. 2361, Springer-Verlag, 2002.
  11. S. P. Ng, T. Y. Chen, and M. F. Lau, ''Relationship between the probabilities of detecting at least one failure for test case selection with and without replacement'', In Proceedings of International Symposium on Future Software Technology 2001, pp. 165--170, Nov. 2001.
  12. M. F. Lau and Y. T. Yu, ''On the relationships of faults for Boolean specification based testing'', In Proceedings of 2001 Australian Software Engineering Conference, pp. 21--28, Aug. 2001, IEEE CS Press.
  13. T. Y. Chen and M. F. Lau, ''Test suite reduction and fault detection effectiveness: an empirical evaluation'', In Proceedings of 6th International Conference on Reliable Software Technologies - Ada-Europe 2001, pp. 253--265, May 2001, Lecture Notes in Computer Science, vol. 2043, Springer-Verlag, 2001.
  14. T. Y. Chen, M. F. Lau and Y. T. Yu, ''An empirical study on some heuristics for test suite reduction'', In Proceedings of the IASTED International Conference on Applied Informatics 2001 -- Symposium 3: Software, pp. 472--477, Feb. 2001, IASTED/Acta Press.
  15. Y. T. Yu and M. F. Lau, ''A study of prioritizing test cases in MUMCUT test sets'', In Proceedings of the IASTED International Conference on Applied Informatics 2001 -- Symposium 3: Software, pp. 466--471, Feb. 2001, IASTED/Acta Press.
  16. T. Y. Chen and M. F. Lau, ''On minimal essential subsets and minimal representative sets'', In Proceedings of 5th International Conference on Reliable Software Technologies - Ada-Europe 2000, pp. 291--301, June 2000, Lecture Notes in Computer Science, vol. 1845, Springer-Verlag, 2000.
  17. T. Y. Chen and M. F. Lau, ''On the effectiveness of greedy CUTPNFP strategy for Boolean specification based testing: an empirical evaluation'', In Proceedings of the Fifth Joint Conference on Information Sciences (JCIS) 2000, pp. 627--630, February 2000.
  18. T. Y. Chen, M. F. Lau and Y. T. Yu, ''MUMCUT: a fault-based strategy for testing Boolean specifications'', In Proceedings of Asia-Pacific Software Engineering Conference 1999, pp. 606--613, December 1999, IEEE CS Press.
  19. N. Law, J. Wan, M. F. Lau, R. Lee and A. H. K. Yuen, ''Towards a model of IT training for in-service teachers'', In Proceedings of International Conference on Computers in Education 99, vol. 2, pp. 51--58, November 1999.
  20. T. Y. Chen, M. F. Lau and Y. T. Yu, ''An empirical evaluation of the MUMCUT strategy for testing Boolean specifications'', In Proceedings of the 3rd Annual IASTED International Conference on Software Engineering and Applications (SEA 99), pp.262--268, Scottsdale, Arizona, USA, November 1999.
  21. F. T. Chan, T. Y. Chen, S. C. Cheung, M. F. Lau and S. M. Yiu, ''Application of metamorphic testing in numerical analysis'', In Proceedings of IASTED Conference on Software Engineering 98, pp. 191--197, Las Vegas USA, October 1998.
  22. T. Y. Chen and M. F. Lau, ''An empirical study on the effectiveness of greedy MUTP strategy'', In Proceedings of SE:E&P 98: The Software Engineering: Education & Practices Conference, pp. 338--344, Dunedin NZ, January 1998, IEEE CS Press.
  23. T. Y. Chen and M. F. Lau, ''Two test data selection strategies for testing boolean specifications'', In Proceedings of COMPSAC 97: The Twenty-first International Computer Software and Applications Conference, pp. 608--611, Washington DC USA, August 1997, IEEE CS Press.
  24. T. Y. Chen and M. F. Lau, ''Heuristics Towards the Optimization of the Size of a Test Suite'', In Proceedings of the Third International Conference on Software Quality Management, Vol. 2, pp. 415-424, April 1995.
© Swinburne  Copyright and disclaimer information
Last Updated: November 8, 2004 
Maintained by: Webmaster (webmaster@it.swin.edu.au)
Authorised by: Doug Grant (info@it.swin.edu.au)