Wen C. Pai

dblp:29/6443 · DBLP profile ↗
← Back
4ranked-venue papers
0as first author
0since 2021 · last 2000
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 3Databases, data management, data science and information retrieval · 1Applied, interdisciplinary, general and emerging computing · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
1 paper
Software testing · 87% Compilers and program optimization · 13%

Topics — the 3 heaviest of 3, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Software testing › test adequacy
coverage criteria
0.011997
An Automated Object-Oriented Testing for C++ Inheritance Hierarchy · ASE 1997
Software testing
object-oriented testing
0.011997
An Automated Object-Oriented Testing for C++ Inheritance Hierarchy · ASE 1997
Compilers and program optimization
parsing
0.011997
An Automated Object-Oriented Testing for C++ Inheritance Hierarchy · ASE 1997

Methods — techniques the papers use, named apart from their topics

z notation · 0.0YACC · 0.0LEX · 0.0
YearPublicationVenuePosition
2000 The Design and Implementation of a Virtual Conference System
abstract
With the enormous use of networks, many real-world activities are realized on the Internet. We propose a complete virtual conference system (VCS) to handle all activities of real-world conferences. The VCS includes a virtual conference management system and a mobile virtual conference system. Video conferencing is a trend of future communications. With the improvement of broadband network technologies, video conferencing becomes possible in the global society. It is feasible to use video conferencing technologies to organize future international conferences. This research proposes a total solution toward virtual conferencing. We use a mobile server/storage pre-broadcasting technique, as well as a communication network optimization algorithm, which is based on a graph computation mechanism. With the assistance of a conference management system, the system is able to support virtual conferencing in the future academic society.
Timothy K. Shih, Jiung-yao Huang, Jason C. Hung, Te-Hua Wang, Wen C. Pai
COMPSAC5
1998 An Object-Oriented Design Complexity Metric Based on Inheritance Relationships
abstract
Software metrics serve as a significant issue to improve software quality. It is an important research of software engineering. In line with the methodologies of object-oriented analysis and design widely developed, many software metrics techniques have been proposed. However, not many focus on the metrics evaluation of an inheritance hierarchy. In this paper, we propose a novel concept named unit repeated inheritance (URI) in Z notation to realize object-oriented software metrics. The approach describes an inheritance level technique (ILT) method as a guide to measure the software complexity of an inheritance hierarchy. The measures of inheritance metrics are formed based on the proposed mechanism. Also, we use Lex and Yacc to construct a windowing tool which is used in conjunction with a conventional C++ programming environment to assist a programmer to analyze and measure his/her C++ programs.
Timothy K. Shih, Yule-Chyun Lin, Wen C. Pai, Chun-Chia Wang
Int. J. Softw. Eng. Knowl. Eng.3
1997 An Automated Object-Oriented Testing for C++ Inheritance Hierarchy
abstract
This paper proposes a concept named unit repeated inheritance (URI) in Z notation to realize object-oriented testing of an inheritance hierarchy. Based on this unit, an inheritance level technique (ILT) method as a guide to test object-oriented software errors in the inheritance hierarchy is described. In addition, two testing criteria, intralevel first and interlevel first, are formed based on the proposed mechanism. Moreover, in order to make the test process automatic, we use LEX and YACC to automatically generate a lexical analyzer and a parser to demonstrate a declaration of C++ source code. And, we also construct a windowing tool used in conjunction with a conventional C++ programming environment to assist a programmer to analyze and test his/her C++ programs.
Chun-Chia Wang, Wen C. Pai, Timothy K. Shih
ASE2
1994 Selecting a Testing Criterion Based on Quantitative Analysis
Chi-Ming Chung, Wen C. Pai
Inf. Sci.2