Man Fai Lau

According to our database1, Man Fai Lau authored at least 39 papers between 1996 and 2017.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Identifying Failed Test Cases Through Metamorphic Testing.
Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops, 2017

Integration of Metamorphic Testing with Program Repair Methods Based on Adaptive Search Strategies and Program Equivalence.
Proceedings of the Formal Methods and Software Engineering, 2017

2014
Software architecture review by association.
J. Syst. Softw., 2014

A systematic literature review on modified condition and decision coverage.
Proceedings of the Symposium on Applied Computing, 2014

Identifying Data Inconsistencies Using After-State Database Testing (ASDT) Framework.
Proceedings of the 2014 14th International Conference on Quality Software, 2014

On a New Detecting Technique for Conjunctive Literal Insertion Fault in Boolean Expressions.
Proceedings of the 2014 14th International Conference on Quality Software, 2014

The Effect of Method Origin on Method Invocation Fault Frequency.
Proceedings of the 2014 14th International Conference on Quality Software, 2014

A Structured Model of Consistency Rules in After-State Database Testing.
Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

2013
Low Cost TWDM by Wavelength-Set Division Multiplexing.
Bell Labs Tech. J., 2013

2012
Fault-based test suite prioritization for specification-based testing.
Inf. Softw. Technol., 2012

On the improvement of a fault classification scheme with implications for white-box testing.
Proceedings of the ACM Symposium on Applied Computing, 2012

Redefinition of Fault Classes in Logic Expressions.
Proceedings of the 2012 12th International Conference on Quality Software, 2012

Towards a Better Understanding of Testing if Conditionals.
Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

2011
Compact Highly-Utilized Reed Solomon Decoder Architectures for Optical Access Networks.
Proceedings of the Global Communications Conference, 2011

2010
Test Case Generation: Specification-Based.
Proceedings of the Encyclopedia of Software Engineering, 2010

2009
On detecting faults for Boolean expressions.
Softw. Qual. J., 2009

On Comparing Testing Criteria for Logical Decisions.
Proceedings of the Reliable Software Technologies, 2009

2008
Testing of Heuristic Methods: A Case Study of Greedy Algorithm.
Proceedings of the Software Engineering Techniques, 2008

Towards Independent Software Architecture Review.
Proceedings of the Software Architecture, Second European Conference, 2008

2007
Detecting Double Faults on Term and Literal in Boolean Expressions.
Proceedings of the Seventh International Conference on Quality Software (QSIC 2007), 2007

On Detecting Double Literal Faults in Boolean Expressions.
Proceedings of the Reliable Software Technologies, 2007

2006
Automatic generation of test cases from Boolean specifications using the MUMCUT strategy.
J. Syst. Softw., 2006

A comparison of MC/DC, MUMCUT and several other coverage criteria for logical decisions.
J. Syst. Softw., 2006

BEAT: A Web-Based Boolean Expression Fault-Based Test Case Generation Tool.
Int. J. Distance Educ. Technol., 2006

On Detection Conditions of Double Faults Related to Terms in Boolean Expressions.
Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006

2005
An extended fault class hierarchy for specification-based testing.
ACM Trans. Softw. Eng. Methodol., 2005

2004
Comparing Several Coverage Criteria for Detecting Faults in Logical Decisions.
Proceedings of the 4th International Conference on Quality Software (QSIC 2004), 2004

2003
On the divide-and-conquer approach towards test suite reduction.
Inf. Sci., 2003

Using the Incremental Approach to Generate Test Sets: A Case Study.
Proceedings of the 3rd International Conference on Quality Software (QSIC 2003), 2003

2002
Prioritization of Test Cases in MUMCUT Test Sets: An Empirical Study.
Proceedings of the Reliable Software Technologies, 2002

2001
Test case selection strategies based on Boolean specifications.
Softw. Test. Verification Reliab., 2001

On the Relationships of Faults for Boolean Specification Based Testing.
Proceedings of the 13th Australian Software Engineering Conference (ASWEC 2001), 2001

Test Suite Reduction and Fault Detecting Effectiveness: An Empirical Evaluation.
Proceedings of the Reliable Software Technologies: Ada Europe 2001, 2001

2000
On the Minimal Essential Subsets and Minimal Representative Sets.
Proceedings of the Reliable Software Technologies, 2000

1999
On the Completeness of a Test Suite Reduction Strategy.
Comput. J., 1999

1998
A simulation study on some heuristics for test suite reduction.
Inf. Softw. Technol., 1998

A new heuristic for test suite reduction.
Inf. Softw. Technol., 1998

1997
Two test data selection strategies towards testing of Boolean specifications.
Proceedings of the 21st International Computer Software and Applications Conference (COMPSAC '97), 1997

1996
Dividing Strategies for the Optimization of a Test Suite.
Inf. Process. Lett., 1996


  Loading...