Browsing "Department of Computer Science" by Author chen, hy

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 中
Showing results 1 to 9 of 9
TitleAuthor(s)Issue Date
 
The Application of prolog to structured design
Journal:Software - Practice and Experience
Tse, THChen, TYChan, FTChen, HYXie, HL
1994
 
Automatic generation of normal forms for testing object-oriented software
Proceeding/Conference:Proceedings - International Conference on Quality Software
Chen, HYTse, TH
2009
 
Equality to equals and unequals: a revisit of the equivalence and nonequivalence criteria in object-oriented software testing
Journal:IEEE Transactions on Software Engineering
Chen, HYTse, TH
2013
 
In black and white: An integrated approach to class-level testing of object-oriented programs
Journal:ACM Transactions on Software Engineering and Methodology
Chen, HYTse, THChan, FTChen, TY
1998
 
ROCS: An object-oriented class-level testing system based on the Relevant Observable ContextS technique
Journal:Information and Software Technology
Chen, HYTse, THDeng, YT
2000
 
A scheme for dynamic detection of concurrent execution of object-oriented software
Proceeding/Conference:Proceedings of the IEEE International Conference on Systems, Man and Cybernetics
Chen, HYSun, YXTse, TH
2003
 
A Strategy for Selecting Synchronization Sequences to Test Concurrent Object-Oriented Software
Proceeding/Conference:Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003
Chen, HYSun, YXTse, TH
2003
 
TACCLE: A Methodology for Object-Oriented Software Testing at the Class and Cluster Levels
Journal:ACM Transactions on Software Engineering and Methodology
Chen, HYTse, THChen, TY
2001
 
Transformation of UML interaction diagrams into contract specifications for object-oriented testing
Proceeding/Conference:Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics
Chen, HYLi, CTse, TH
2007
Showing results 1 to 9 of 9