Search & Read at all times.
Your portable library is online!,Hello!
Search Symbol (Half-width) Description of Search Symbols
Space "AND" indicates the intertwining of key terms used in a search
Double Quotation Marks ("") ( " " ) Double quotation marks indicate the beginning and end of a phrase, and the search will only include terms that appear in the same order of those within the quotations. Example: "image process" : " image process "
? Indicates a variable letter. Entering two ? will indicate two variable letters, and so on. Example: "Appl?", search results will yield apple, apply… e , appl y … ( (often used to English word searches) )
* Indicates an unlimited number of variable letters to follow, from 1~n. Example: Enter "appl*", search results will yield apple, apples, apply, applied, application…(often used in English word searches) e , appl es , appl y , appl ied , appl ication … ( (often used to English word searches) )

Boolean logic combinations of key words is a skill used to expand or refine search parameters.
(1) AND (1) AND: Refines search parameters
(2) OR (2) OR: Expands search parameters (3) NOT: Excludes irrelevant parameters


DOI stands for Digital Object Identifier ( D igital O bject I dentifier ) ,
and is the unique identifier for objects on the internet. It can be used to create persistent link and to cite articles.

Using DOI as a persistent link

To create a persistent link 「 」 before a DOI.
For instance, if the DOI of an article is 10.5297/ser.1201.002 , you can link persistently to the article by entering the following link in your browser: 10.5297/ser.1201.002
The DOI link will always direct you to the most updated article page no matter how the publisher changes the document's position, avoiding errors when engaging in important research.

Cite a document with DOI

When citing a document with a DOI, the DOI permanent URL should always be presented (if using APA or Chicago format, present number). If using a citation format that does not specify DOI, the DOI permanent URL should still be presented as a priority.

DOIs allow accurate citations, improve academic contents connections, and allow users to gain better experience across different platforms. Currently, there are more than 70 million DOIs registered for academic contents. If you want to understand more about DOI, please visit airiti DOI ) 。

Abstract 〈TOP〉
Parallel Abstract 〈TOP〉
Reference ( 22 ) 〈TOP〉
  1. [4] Bernard Elspas, Karl N. Levitt, Richard J. Waldinger and Abraham Waksman, "An assessment of echniques for proving program correctness," ACM Computing Surveys (CSUR), vol. 4, pp. 97-147, 1972.
  2. [5] Chittor V. Ramamoorthy and Siu-Bun Ho, "Testing large software with automated software evaluation systems," In Proceedings of the International Conference on Reliable Software Table of Contents, pp. 382-394, 1975.
  3. [7] William E. Howden, "Methodology for the generation of program test data," IEEE Transactions on Computers, vol. 100, pp. 554-560, 1975.
  4. [8] James C. King, "Symbolic execution and program testing," Communications of the ACM, vol. 19, pp. 385-394, 1976.
  5. [14] Neelam Gupta, Aditya P. Mathur and Mary Lou Soffa, "Generating test data for branch coverage," in Proceedings of the International Conference on Automated Software Engineering, pp. 219, 2000.
Times Cited (3) 〈TOP〉
  1. 王政浩(2017)。旅遊部落格特性、旅遊部落格瀏覽體驗、體驗滿意度與旅遊意願之關係研究。淡江大學企業管理學系碩士班學位論文。2017。1-77。 
  2. 李瓔(2013)。高雄市Talking Bar消費體驗與顧客滿意之研究。高雄餐旅學院餐飲管理研究所在職專班學位論文。2013。1-100。 
  3. 張嘉嘉(2014)。小汽車駕駛人之行為意向研究。中央大學土木工程學系學位論文。2014。1-190。
Altmetrics 〈TOP〉
E-mail :
When an article is available to download, a notice will be sent to your mailbox address.
E-mail :