Digital Library
Search: "[ keyword: Software Test ]" (13)
A Dynamic Management Technique for Weighted Testcases in Software Testing
Sang Hyuck Han , Jung Su Jung , Seung Li Jin , Young Kuk Kim The KIPS Transactions:PartD,
Vol. 17, No. 6, pp. 423-430,
Dec.
2010
10.3745/KIPSTD.2010.17.6.423
![](https://d2kjln74dkk4oj.cloudfront.net/img/doi_icon.png)
Automated Functionality Test Methods for Web-based Applications
Seung Hak Kuk , Hyeon Soo Kim The KIPS Transactions:PartD,
Vol. 14, No. 5, pp. 517-530,
Aug.
2007
10.3745/KIPSTD.2007.14.5.517
![](https://d2kjln74dkk4oj.cloudfront.net/img/doi_icon.png)
A Study on the Analysis of Internal and External Factors of Software Threat Elements
Lee Eun Ser The Transactions of the Korea Information Processing Society,
Vol. 13, No. 6, pp. 278-283,
Jun.
2024
https://doi.org/10.3745/TKIPS.2024.13.6.278
Keywords: Software Test, Reliability, Software Safety
![](https://d2kjln74dkk4oj.cloudfront.net/img/doi_icon.png)
Keywords: Software Test, Reliability, Software Safety
Reengineering Black-box Test Cases
Kwang Ik Seo , Eun Man Choi The KIPS Transactions:PartD,
Vol. 13, No. 4, pp. 573-582,
Aug.
2006
10.3745/KIPSTD.2006.13.4.573
![](https://d2kjln74dkk4oj.cloudfront.net/img/doi_icon.png)
A Test Case Generation Techniques Based on J2ME Platform
Sang Il Kim , Myong Ki Roh , Sung Yul Rhew The KIPS Transactions:PartD,
Vol. 13, No. 2, pp. 215-222,
Apr.
2006
10.3745/KIPSTD.2006.13.2.215
![](https://d2kjln74dkk4oj.cloudfront.net/img/doi_icon.png)
Effective Test Case Generation for Various Types of Web-based Software
Hyun Soo Kim , Eun Man Choi The KIPS Transactions:PartD,
Vol. 12, No. 4, pp. 569-582,
Aug.
2005
10.3745/KIPSTD.2005.12.4.569
![](https://d2kjln74dkk4oj.cloudfront.net/img/doi_icon.png)
A Testing Method For Web-Based Banking Applications Using Formal Specification
Young Hee Ahn , Eun Man Choi The KIPS Transactions:PartD,
Vol. 11, No. 4, pp. 855-864,
Aug.
2004
10.3745/KIPSTD.2004.11.4.855
![](https://d2kjln74dkk4oj.cloudfront.net/img/doi_icon.png)
Program Slicing in the Presence of Complicated Data Structure
Lyu Ho Yeon , Park Jung Yang , Park Jae Heung The KIPS Transactions:PartD,
Vol. 10, No. 6, pp. 999-1010,
Oct.
2003
10.3745/KIPSTD.2003.10.6.999
![](https://d2kjln74dkk4oj.cloudfront.net/img/doi_icon.png)
MuGenFBD: Automated Mutant Generator for Function Block Diagram Programs
Lingjun Liu, Eunkyoung Jee, Doo-Hwan Bae KIPS Transactions on Software and Data Engineering,
Vol. 10, No. 4, pp. 115-124,
Apr.
2021
https://doi.org/10.3745/KTSDE.2021.10.4.115
Keywords: Mutant Generation, Mutation Analysis, Function Block Diagram, Software Testing
![](https://d2kjln74dkk4oj.cloudfront.net/img/doi_icon.png)
Keywords: Mutant Generation, Mutation Analysis, Function Block Diagram, Software Testing
CRESTIVE-DX: Design and Implementation of Distrusted Concolic Testing Tool for Embedded Software
Hyerin Leem, Hansol Choe, Hyorim Kim, Shin Hong KIPS Transactions on Software and Data Engineering,
Vol. 9, No. 8, pp. 229-234,
Aug.
2020
https://doi.org/10.3745/KTSDE.2020.9.8.229
Keywords: Concolic Testing, Test Generation, Embedded Software Testing, Symbolic Execution, Automated Testing
![](https://d2kjln74dkk4oj.cloudfront.net/img/doi_icon.png)
Keywords: Concolic Testing, Test Generation, Embedded Software Testing, Symbolic Execution, Automated Testing