Log in

Relevant bibliographies by topics / Test paths / Journal articles

To see the other types of publications on this topic, follow the link: Test paths.

Journal articles on the topic 'Test paths'

Author: Grafiati

Published: 3 June 2025

Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 journal articles for your research on the topic 'Test paths.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

Achmad, Arwan, and Sagita Denny. "Determining Basis Test Paths Using Genetic Algorithm and J48." International Journal of Electrical and Computer Engineering (IJECE) 8, no. 5 (2018): 3333–40. https://doi.org/10.11591/ijece.v8i5.pp3333-3340.

Full text

Abstract:

Basis test paths is a method that uses a graph contains nodes as a representation of codes and the lines as a sequence of code execution steps. Determination of basis test paths can be generated using a Genetic Algorithm, but the drawback was the number of iterations affect the possibility of visibility of the appropriate basis path. When the iteration is less, there is a possibility the paths do not appear all. Conversely, if the iteration is too much, all the paths have appeared in the middle of iteration. This research aims to optimize the performance of Genetic Algorithms for the generatio

APA, Harvard, Vancouver, ISO, and other styles

2

Perla, Beatriz Fernández-Oliva, Miguel Güemes-Esperón Alejandro, and Dunia Delgado-Dapena Martha. "Search-based reduction model for unit testing." Revista Facultad de Ingeniería, Universidad de Antioquia 1, no. 109 (2022): 35–47. https://doi.org/10.17533/udea.redin.20221098.

Full text

Abstract:

Software tests are fundamental in the reliability and quality of systems, contributing to their positioning in the market. Generating test data is a critical task, as exhaustive testing is costly in time and effort. An adequate design of the test cases, which contemplates a selection of adequate values, can detect a high number of defects. The effectiveness of the test cases is measured according to the number of errors they managed to detect. However, the proposals that address these issues with the use of heuristic algorithms focus on the reduction of generation time and different coverage c

APA, Harvard, Vancouver, ISO, and other styles

3

Arwan, Achmad, and Denny Sagita Rusdianto. "Determining Basis Test Paths Using Genetic Algorithm and J4." International Journal of Electrical and Computer Engineering (IJECE) 8, no. 5 (2018): 3333. http://dx.doi.org/10.11591/ijece.v8i5.pp3333-3340.

Full text

Abstract:

<span lang="EN">Basis test paths is a method that uses a graph contains nodes as a representation of codes and the lines as a sequence of code execution steps. Determination of basis test paths can be generated using a Genetic Algorithm, but the drawback was the number of iterations affect the possibility of visibility of the appropriate basis path. When the iteration is less, there is a possibility the paths do not appear all. Conversely, if the iteration is too much, all the paths have appeared in the middle of iteration. This research aims to optimize the performance of Genetic Algori

APA, Harvard, Vancouver, ISO, and other styles

4

Ahmed, Moataz A., and Irman Hermadi. "GA-based multiple paths test data generator." Computers & Operations Research 35, no. 10 (2008): 3107–24. http://dx.doi.org/10.1016/j.cor.2007.01.012.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Zazueta‐Hernández, Jorge Antonio, and José Daniel López‐Barrientos. "From Chutes and Ladders to No Te Enojes : Simulation of two (moral) random paths." Teaching Statistics 43, no. 3 (2021): 104–13. http://dx.doi.org/10.1111/test.12263.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Wasiur, Rhmann*1 Gufran Ansari2. "APPLICATION OF CLONAL SELECTION ALGORITHM IN SOFTWARE TEST DATA GENERATION." INTERNATIONAL JOURNAL OF ENGINEERING SCIENCES & RESEARCH TECHNOLOGY 6, no. 7 (2017): 452–59. https://doi.org/10.5281/zenodo.829221.

Full text

Abstract:

This paper presents an artificial immune system (AIS) based optimized test data generation technique. Software test data generation is a critical activity in software testing. Redundant test data impose an extra cost in form of more testing and increase in efforts. So the generation of effective test data can save time and efforts spent on extra testing of the software. Optimized test data is generated for critical paths of the program. Paths criticality is defined based on the presence of loops and decision. The clonal selection algorithm is an immune system based machine learning algorithm a

APA, Harvard, Vancouver, ISO, and other styles

7

Chih-Chang Lin, M. Marek-Sadowska, Kwang-Ting Cheng, and M. T. C. Lee. "Test-point insertion: scan paths through functional logic." IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 17, no. 9 (1998): 838–51. http://dx.doi.org/10.1109/43.720319.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

HANSON, DAVID. "DOE to test two paths for tritium production." Chemical & Engineering News 73, no. 42 (1995): 7. http://dx.doi.org/10.1021/cen-v073n042.p007.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Bhattacharjee, Gargi, and Sudipta Dash. "Test Path Prioritization from UML Activity Diagram Using a Hybridized Approach." International Journal of Knowledge-Based Organizations 8, no. 1 (2018): 83–96. http://dx.doi.org/10.4018/ijkbo.2018010106.

Full text

Abstract:

Software testing is regarded as a pivotal approach to realize a high reliable product. To check for the correctness of results, we require appropriate test cases. UML models are largely used to depict the specifications for software development. Test cases are created independently and based on the sequence of occurrence in the diagrams; they lead to corresponding test paths in the program. In this paper, we have analyzed an activity diagram, consisting of concurrent activities, for generating test paths. The obtained test paths are therefore required to be ranked. We have demonstrated that it

APA, Harvard, Vancouver, ISO, and other styles

10

Sahoo, Rashmi Rekha, and Mitrabinda Ray. "Forest Optimization-Based Test Case Generation for Multiple Paths With Metamorphic Relations." International Journal of Applied Metaheuristic Computing 13, no. 1 (2022): 1–18. http://dx.doi.org/10.4018/ijamc.292503.

Full text

Abstract:

In general multiple paths are covered by multiple runs which is a time consuming task. Now a days, metaheuristic techniques are widely used for path coverage. In order to reduce the time, an efficient method is proposed based on Forest Optimization Algorithm (FOA) with Metamorphic Relations (MRs) that cover multiple paths at a time in one run unlike the traditional search based testing. In the proposed approach, initial test case is generated using FOA, the successive test cases are generated using MRs without undergoing several runs. The motive of using FOA is that the searching mechanism of

APA, Harvard, Vancouver, ISO, and other styles

11

Ozev, S., I. Bayraktaroglu, and A. Orailoglu. "Seamless test of digital components in mixed-signal paths." IEEE Design & Test of Computers 21, no. 1 (2004): 44–55. http://dx.doi.org/10.1109/mdt.2004.1261849.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Neophytou, Stelios, and Maria K. Michael. "Multiple detection test generation with diversified fault partitioning paths." Microprocessors and Microsystems 38, no. 6 (2014): 585–97. http://dx.doi.org/10.1016/j.micpro.2014.04.010.

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

Diamond, Scott L. "New Microfluidic Paths to Test for Bleeding or Clotting." Cellular and Molecular Bioengineering 10, no. 1 (2017): 1–2. http://dx.doi.org/10.1007/s12195-017-0476-9.

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

Mohi-Aldeen, Shayma Mustafa, Radziah Mohamad, and Safaai Deris. "Optimal path test data generation based on hybrid negative selection algorithm and genetic algorithm." PLOS ONE 15, no. 11 (2020): e0242812. http://dx.doi.org/10.1371/journal.pone.0242812.

Full text

Abstract:

Path testing is the basic approach of white box testing and the main approach to solve it by discovering the particular input data of the searching space to encompass the paths in the software under test. Due to the increasing software complexity, exhaustive testing is impossible and computationally not feasible. The ultimate challenge is to generate suitable test data that maximize the coverage; many approaches have been developed by researchers to accomplish path coverage. The paper suggested a hybrid method (NSA-GA) based on Negative Selection Algorithm (NSA) and Genetic Algorithm (GA) to g

APA, Harvard, Vancouver, ISO, and other styles

15

Lin, Will Y. "Automatic Generation of High-Accuracy Stair Paths for Straight, Spiral, and Winder Stairs Using IFC-Based Models." ISPRS International Journal of Geo-Information 9, no. 4 (2020): 215. http://dx.doi.org/10.3390/ijgi9040215.

Full text

Abstract:

The indoor space model is the foundation of most indoor location-based services (LBS). A complete indoor space model includes floor-level paths and non-level paths. The latter includes passages connecting different floors or elevations such as stairs, elevators, escalators, and ramps. Most related studies have merely discussed the modeling and generation of floor-level paths, while those considering non-level paths usually simplify the formation and generation of non-level paths, especially stairs, which play an important role in emergency evacuation and response. Although the algorithm propos

APA, Harvard, Vancouver, ISO, and other styles

16

Sornkliang, Walaiporn, and Thimaporn Phetkaew. "Target-based test path prioritization for UML activity diagram using weight assignment methods." International Journal of Electrical and Computer Engineering (IJECE) 11, no. 1 (2021): 575. http://dx.doi.org/10.11591/ijece.v11i1.pp575-588.

Full text

Abstract:

The benefit of exploratory testing and ad hoc testing by tester’s experience is that crucial bugs are found quickly. Regression testing and test case prioritization are important processes of software testing when software functions have been changed. We propose a test path prioritization method to generate a sequence of test paths that would match the testers’ interests and focuses on the target area of interest or on the changed area. We generate test paths form the activity diagrams and survey the test path prioritization from testers. We define node and edge weight to the symbols of activi

APA, Harvard, Vancouver, ISO, and other styles

17

Walaiporn, Sornkliang, and Phetkaew Thimaporn. "Target-based test path prioritization for UML activity diagram using weight assignment methods." International Journal of Electrical and Computer Engineering (IJECE) 11, no. 1 (2021): 575–88. https://doi.org/10.11591/ijece.v11i1.pp575-588.

Full text

Abstract:

The benefit of exploratory testing and ad hoc testing by tester’s experience is that crucial bugs are found quickly. Regression testing and test case prioritization are important processes of software testing when software functions have been changed. We propose a test path prioritization method to generate a sequence of test paths that would match the testers’ interests and focuses on the target area of interest or on the changed area. We generate test paths form the activity diagrams and survey the test path prioritization from testers. We define node and edge weight to the symbo

APA, Harvard, Vancouver, ISO, and other styles

18

Leithwood, Kenneth, Jingping Sun, and Randall Schumacker. "How School Leadership Influences Student Learning: A Test of “The Four Paths Model”." Educational Administration Quarterly 56, no. 4 (2019): 570–99. http://dx.doi.org/10.1177/0013161x19878772.

Full text

Abstract:

Purpose: This study tested a set of variables mediating school leadership’s influence on students referred to as “The four paths model.” Each path in the model includes variables with significant direct effects on student learning and which are malleable to practices included in an integrated model of effective school leadership. Research Design: Evidence for the study were responses to a survey by 1,779 teachers in 81 Texas elementary schools about the status of school leadership and all 13 variables on the four paths. Student achievement data were provided by results of state tests combining

APA, Harvard, Vancouver, ISO, and other styles

19

WONG, W. ERIC, and YU LEI. "REACHABILITY GRAPH-BASED TEST SEQUENCE GENERATION FOR CONCURRENT PROGRAMS." International Journal of Software Engineering and Knowledge Engineering 18, no. 06 (2008): 803–22. http://dx.doi.org/10.1142/s0218194008003878.

Full text

Abstract:

One common approach to test sequence generation for structurally testing concurrent programs involves constructing a reachability graph (RG) and selecting a set of paths from the graph to satisfy some coverage criterion. It is often suggested that test sequence generation methods for testing sequential programs based on a control flow graph (CFG) can also be used to select paths from an RG for testing concurrent programs. However, there is a major difference between these two, as the former suffers from a feasibility problem (i.e., some paths in a CFG may not be feasible at run-time) and the l

APA, Harvard, Vancouver, ISO, and other styles

20

Yao, LI, ZHANG Xiaoxia, ZHANG Yadong, GUO Jin, and GAO Hao. "Towards A Test Paths Generation Method for CTCS Level Transition." MATEC Web of Conferences 325 (2020): 01001. http://dx.doi.org/10.1051/matecconf/202032501001.

Full text

Abstract:

Test case is an important basis for correctness and safety verification of Chinese Train Control System (CTCS). Focusing on the test cases generation method of UPPAAL which is widely used in CTCS testing activity, the problems are analyzed, and an improved test cases generation method for CTCS is proposed. First, the process and characteristics of UPPAAL test cases generation method are analyzed; then the test requirements of CTCS are studied, and a test cases generation method based on UPPAAL query file is proposed. Finally, taking the level transition function of CTCS as an example, test cas

APA, Harvard, Vancouver, ISO, and other styles

21

Żółkoś, Marcin, Marek Krok, Janusz Porzycki, Janusz Świder, and Marek Grabowy. "Grinding processes automated diagnostic test stand." Mechanik 91, no. 8-9 (2018): 747–50. http://dx.doi.org/10.17814/mechanik.2018.8-9.122.

Full text

Abstract:

Presented is the automated measuring test stand based on the modified Haas VF-2YT machining center. That allows conducting experimental research of conventional and assisted with workpiece ultrasonic oscillations grinding processes (UAG). Respective measurement paths and automated measurement data acquisition process during the experimental research was discussed. Particular notice was given to grinding force components measurement system.

APA, Harvard, Vancouver, ISO, and other styles

22

Mei, Jia, and Shengyuan Wang. "An Improved Genetic Algorithm for Test Cases Generation Oriented Paths." Chinese Journal of Electronics 23, no. 3 (2014): 494–98. https://doi.org/10.23919/cje.2014.10851197.

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

Han, Xuan, Hang Lei, and Yun-sheng Wang. "Multiple paths test data generation based on particle swarm optimisation." IET Software 11, no. 2 (2017): 41–47. http://dx.doi.org/10.1049/iet-sen.2016.0066.

Full text

APA, Harvard, Vancouver, ISO, and other styles

24

Al‐Gadhib, Ali H., and Kerry S. Havner. "Principal Direction Paths in Tension‐Torsion Test at Finite Strain." Journal of Engineering Mechanics 116, no. 5 (1990): 1002–19. http://dx.doi.org/10.1061/(asce)0733-9399(1990)116:5(1002).

Full text

APA, Harvard, Vancouver, ISO, and other styles

25

Yao, Xiangjuan, Dunwei Gong, and Wenliang Wang. "Test Data Generation for Multiple Paths Based on Local Evolution." Chinese Journal of Electronics 24, no. 1 (2015): 46–51. http://dx.doi.org/10.1049/cje.2015.01.008.

Full text

APA, Harvard, Vancouver, ISO, and other styles

26

BUENO, PAULO MARCOS SIQUEIRA, and MARIO JINO. "AUTOMATIC TEST DATA GENERATION FOR PROGRAM PATHS USING GENETIC ALGORITHMS." International Journal of Software Engineering and Knowledge Engineering 12, no. 06 (2002): 691–709. http://dx.doi.org/10.1142/s0218194002001074.

Full text

Abstract:

A new technique and tool are presented for test data generation for path testing. They are based on the dynamic technique and on a Genetic Algorithm, which evolves a population of input data towards reaching and solving the predicates along the program paths. We improve the performance of test data generation by using past input data to compose the initial population for the search. An experiment was done to assess the performance of the techniques compared to that of random data generation.

APA, Harvard, Vancouver, ISO, and other styles

27

Nicholls, K. W., and J. F. Nye. "The paths of dislocations in wave pulses: an experimental test." Journal of Physics A: Mathematical and General 19, no. 3 (1986): 375–83. http://dx.doi.org/10.1088/0305-4470/19/3/019.

Full text

APA, Harvard, Vancouver, ISO, and other styles

28

Peng, Ye Ping, and Bi Zeng. "Software Test Data Generation for Multiple Paths Based on Genetic Algorithms." Applied Mechanics and Materials 263-266 (December 2012): 1969–73. http://dx.doi.org/10.4028/www.scientific.net/amm.263-266.1969.

Full text

Abstract:

Software testing is the assurance of the quality of software, and it is an important step during software development. One of the many studies is the automation of test data generation, and this paper presents test data generation with multiple target paths by using the improved genetic algorithm. According to the features and requirements of multiple paths coverage, fitness function based on path-match was used. Finally, benchmark programs were tested to verify the efficiency of the improved GA. The experiments results show that the proposed approach can improve the efficiency of test data ge

APA, Harvard, Vancouver, ISO, and other styles

29

Althunibat, Ahmed, Mustafa Mahmood, Hend Alnuhait, Sally Almanasra, and Haneen A. Al-Khawaja. "Proposed Test Case Generation Model using Fuzzy Logic (TCGMFL)." WSEAS TRANSACTIONS ON COMPUTER RESEARCH 12 (November 22, 2023): 161–72. http://dx.doi.org/10.37394/232018.2024.12.16.

Full text

Abstract:

This research addresses the pressing need to enhance software testing, specifically focusing on white-box testing and basis path generation. Software testing is a linchpin in the software development process, ensuring software operates flawlessly and aligns with its intended objectives. However, this phase often incurs substantial time and resource investments. The primary aim of this study is to introduce an efficient and automated approach for basis path generation, a crucial component of white-box testing. The model commences by transforming source code into a tailored control flow graph (C

APA, Harvard, Vancouver, ISO, and other styles

30

Maulana, Algifanri. "Pemanfaatan Algoritma Generate and Test Dalam Kasus Travelling Salesman Problem Pencarian Jalur Terpendek." Jurnal Sistem Komputer dan Informatika (JSON) 3, no. 2 (2021): 128. http://dx.doi.org/10.30865/json.v3i2.3617.

Full text

Abstract:

The Generate and Tesr algorithm is a very simple method in a heuristic search. The completion process of this algorithm is a combination of depth-first search with backtracking because the solution must be generated completely before testing. systematically and following procedures will find a solution. The problem in this study is that if the problem discussed in the Generate test algorithm is very broad, it takes a long time to solve it. The main purpose of this study is to find the shortest alternative route to find a solution in order to obtain the smallest route so as to save transportati

APA, Harvard, Vancouver, ISO, and other styles

31

Yao, Xiangjuan, and Dunwei Gong. "Genetic Algorithm-Based Test Data Generation for Multiple Paths via Individual Sharing." Computational Intelligence and Neuroscience 2014 (2014): 1–12. http://dx.doi.org/10.1155/2014/591294.

Full text

Abstract:

The application of genetic algorithms in automatically generating test data has aroused broad concerns and obtained delightful achievements in recent years. However, the efficiency of genetic algorithm-based test data generation for path testing needs to be further improved. In this paper, we establish a mathematical model of generating test data for multiple paths coverage. Then, a multipopulation genetic algorithm with individual sharing is presented to solve the established model. We not only analyzed the performance of the proposed method theoretically, but also applied it to various progr

APA, Harvard, Vancouver, ISO, and other styles

32

Jain, Amita, Devendra Kumar Tayal, Manju Khari, and Sonakshi Vij. "A Novel Method for Test Path Prioritization using Centrality Measures." International Journal of Open Source Software and Processes 7, no. 4 (2016): 19–38. http://dx.doi.org/10.4018/ijossp.2016100102.

Full text

Abstract:

Software testing is an essential stage of the software development life cycle which helps in producing bug free software. This paper introduces a strategy to create test data consequently from the beginning of test information which is tested against the Program under test (PUT) for ampleness criteria. Initially this process produces test information set arbitrarily where a unique approach for the test path prioritization process is presented that uses the concept of centrality measures. The proposed algorithm computes the importance of each node in the test paths by using various centrality m

APA, Harvard, Vancouver, ISO, and other styles

33

Rathee, Nisha, and Rajender Singh Chhillar. "Model Driven Approach to Secure Optimized Test Paths for Smart Samsung Pay using Hybrid Genetic Tabu Search Algorithm." International Journal of Information System Modeling and Design 9, no. 1 (2018): 77–91. http://dx.doi.org/10.4018/ijismd.2018010104.

Full text

Abstract:

Smart mobile pay applications on smart devices have been considered as the most efficient and secure mode of contactless payment. To safeguard customer credit/ debit card details, testing of mobile pay solutions like Samsung Pay is most important and critical task for testers. Testing of all the test cases is very tedious and a time-consuming task, therefore optimization techniques have been used to identify most optimized test paths. In this article, a hybrid genetic and tabu search optimization (HGTO) algorithm is proposed to secure optimized test paths using activity diagram of the smart Sa

APA, Harvard, Vancouver, ISO, and other styles

34

Srivastava, Praveen Ranjan, Ashish Kumar Singh, Hemraj Kumhar, and Mohit Jain. "Optimal Test Sequence Generation in State Based Testing Using Cuckoo Search." International Journal of Applied Evolutionary Computation 3, no. 3 (2012): 17–32. http://dx.doi.org/10.4018/jaec.2012070102.

Full text

Abstract:

The present work describes a method for increasing software testing efficiency by identifying the optimal test sequences in the state machine diagram. The method employs a Meta-heuristic algorithm called Cuckoo Search to investigate best paths in the diagram. It tries to provide a technique for exhaustive coverage with minimal repetition which ensures all transitions coverage and all paths coverage at least once with minimal number of repetitions of states as well as transitions. The algorithm works by maximising an objective function which focuses on most error prone parts of the program so t

APA, Harvard, Vancouver, ISO, and other styles

35

Huang, Hua, Min Huang, and Jiangshu Ding. "Calculation of Tangent Modulus of Soils under Different Stress Paths." Mathematical Problems in Engineering 2018 (2018): 1–11. http://dx.doi.org/10.1155/2018/1916761.

Full text

Abstract:

During excavation of foundation pit, soils of different sites may undergo different unloading paths. This study focuses on the tangent modulus of soil under different stress paths and provides theoretical basis for the deformation calculation of soil. In this paper, conventional triaxial compression test and K0 consolidation unloading test were conducted with mucky soil and silty clay to obtain the deformation characteristics of soils under different stress paths. Experiment results show that the soil samples exhibit distinct stress-strain characteristics under different stress paths, but they

APA, Harvard, Vancouver, ISO, and other styles

36

Feng, Xian Bin, Rui Ding, Yan Zhang, and Hong Bin Dong. "An Advanced Genetic Algorithm Apply to Test Data Generation for Paths Coverage." Applied Mechanics and Materials 602-605 (August 2014): 3347–50. http://dx.doi.org/10.4028/www.scientific.net/amm.602-605.3347.

Full text

Abstract:

An advanced genetic algorithm is proposed to apply to test data generation for paths coverage. We advanced the classical genetic algorithm: divided the population into “families”, using the family-in-crossover in each family and PSO-crossover operator between two families which commixed the thought of particle swarm; Then, the fitness function is designed by consider of the difference degree and the degree of approximation, and the model of the advanced genetic algorithm applying to test data generation for paths coverage is given in detail. Finally, the proposed algorithm is applied to a benc

APA, Harvard, Vancouver, ISO, and other styles

37

Wang, Yan Fang, Zhi Gang Zhou, and Zheng Yin Cai. "Studies about Creep Characteristic of Silty Clay on Triaxial Drained Creep Test." Applied Mechanics and Materials 580-583 (July 2014): 355–58. http://dx.doi.org/10.4028/www.scientific.net/amm.580-583.355.

Full text

Abstract:

The creep characteristic of saturated silty clay was studied by triaxial drained creep test through two stress paths of axial loading and lateral lightening. According to test data, some conclusions were submitted. First, the axial creep laws between the two stress paths were consistent on the drainage conditions. Volume strains were much smaller than axial strains. Volume strains presented shear dilatancy along with lightening confining pressure. The silty clay creep coefficient was put forward and its variation law was summarized. The silt soil creep coefficient was closely related to the de

APA, Harvard, Vancouver, ISO, and other styles

38

Marashdih, Abdalla Wasef, Zarul Fitri Zaaba, and Khaled Suwais. "An Approach for Detecting Feasible Paths Based on Minimal SSA Representation and Symbolic Execution." Applied Sciences 11, no. 12 (2021): 5384. http://dx.doi.org/10.3390/app11125384.

Full text

Abstract:

Static analysis is one of the techniques used today to analyze source codes and minimize the issue of software vulnerability. Static analysis has the ability to observe all possible software paths in an application through the scrutiny of a web application’s source code. Among those paths, some may be considered feasible paths, which refer to any paths that the test cases can execute. The detection of feasible paths in the results of a static analysis helps to minimize the false positive rate. However, the detection of feasible paths can be challenging, especially for programs that have multip

APA, Harvard, Vancouver, ISO, and other styles

39

Cai, Gaocheng, Qinghua Su, and Zhongbo Hu. "Binary searching iterative algorithm for generating test cases to cover paths." Applied Soft Computing 113 (December 2021): 107910. http://dx.doi.org/10.1016/j.asoc.2021.107910.

Full text

APA, Harvard, Vancouver, ISO, and other styles

40

R.Girgis, Moheb, Ahmed S. Ghiduk, and Eman H. Abd-Elkawy. "Automatic Generation of Data Flow Test Paths using a Genetic Algorithm." International Journal of Computer Applications 89, no. 12 (2014): 29–36. http://dx.doi.org/10.5120/15684-4534.

Full text

APA, Harvard, Vancouver, ISO, and other styles

41

Van Sas, J., F. Catthoor, and H. De Man. "Cellular automata based deterministic self-test strategies for programmable data paths." IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 13, no. 7 (1994): 940–49. http://dx.doi.org/10.1109/43.293951.

Full text

APA, Harvard, Vancouver, ISO, and other styles

42

HILEMAN, BETTE. "U.S. to test two paths to dispose of nuclear weapons plutonium." Chemical & Engineering News 74, no. 51 (1996): 10–11. http://dx.doi.org/10.1021/cen-v074n051.p010b.

Full text

APA, Harvard, Vancouver, ISO, and other styles

43

Gong, Dunwei, Tian Tian, and Xiangjuan Yao. "Grouping target paths for evolutionary generation of test data in parallel." Journal of Systems and Software 85, no. 11 (2012): 2531–40. http://dx.doi.org/10.1016/j.jss.2012.05.071.

Full text

APA, Harvard, Vancouver, ISO, and other styles

44

Antonakopoulos, Theodoros, and Nick Kanopoulos. "Multiple boundary scan-paths for minimizing circuit-board test-application time." Microprocessing and Microprogramming 40, no. 6 (1994): 377–86. http://dx.doi.org/10.1016/0165-6074(94)90104-x.

Full text

APA, Harvard, Vancouver, ISO, and other styles

45

Benvindo-Souza, Marcelino, Eliane Andreia Santos Oliveira, Rhayane Alves Assis, et al. "Micronucleus test in tadpole erythrocytes: Trends in studies and new paths." Chemosphere 240 (February 2020): 124910. http://dx.doi.org/10.1016/j.chemosphere.2019.124910.

Full text

APA, Harvard, Vancouver, ISO, and other styles

46

Ghiduk, Ahmed S. "Automatic generation of basis test paths using variable length genetic algorithm." Information Processing Letters 114, no. 6 (2014): 304–16. http://dx.doi.org/10.1016/j.ipl.2014.01.009.

Full text

APA, Harvard, Vancouver, ISO, and other styles

47

Wang, Yu Ying, and Ping Chen. "Test Case Generation of Web Service Composition: An Approach Based on the Color Petri Net." Applied Mechanics and Materials 336-338 (July 2013): 2063–70. http://dx.doi.org/10.4028/www.scientific.net/amm.336-338.2063.

Full text

Abstract:

Based on CP-nets models, an approach of test case generation is proposed for BPEL processes, with which the semantic of BPEL concurrence is well dealt. Firstly, a web service composition which coded in BPEL language is expressed as CP-net models on which depth-first traversal works immediately, and result in sequence test paths obtained. After merging these sequence test paths into program executable units (PEU for short), constraint set of these units is solved and formed into test cases. Finally an application of the approach is illustrated with an example, which more efficiency shown with 7

APA, Harvard, Vancouver, ISO, and other styles

48

Zhou, Jian, Jie Xu, Linghui Luo, Lianggui Yu, and Xiaonan Gong. "Seepage test by HCA for remolded kaolin." E3S Web of Conferences 92 (2019): 02012. http://dx.doi.org/10.1051/e3sconf/20199202012.

Full text

Abstract:

Permeability is an import character of soil, especially in excavation and tunnelling. Hollow cylindrical apparatus (HCA) is often used to determine soil anisotropy, particularly soil strength and stiffness under different directions of major principal stress, so complex stress paths can be simulated and the corresponding soil properties can be examined. It can also be used to determine the permeability coefficient if a special mode is added, therefore the seepage test can be expected. Owing to no seepage test has been conducted by HCA before, the complete procedure of HCA seepage tests after s

APA, Harvard, Vancouver, ISO, and other styles

49

Song, Yang, Xuzhou Zhang, and Yun-Zhan Gong. "Infeasible Path Detection Based on Code Pattern and Backward Symbolic Execution." Mathematical Problems in Engineering 2020 (May 25, 2020): 1–12. http://dx.doi.org/10.1155/2020/4258291.

Full text

Abstract:

This paper sets out to reveal the relationship between code pattern and infeasible paths and gives advices to the selection of infeasible path detection techniques. Lots of program paths are proved to be infeasible, which leads to imprecision and low efficiency of program analysis. Detection of infeasible paths is required in many areas of software engineering including test coverage analysis, test case generation, and security vulnerability analysis. The immediate cause of path infeasibility is the contradiction of path constraints, whose distribution will affect the performance of different

APA, Harvard, Vancouver, ISO, and other styles

50

Shomali, Nasrin, and Bahman Arasteh. "Mutation reduction in software mutation testing using firefly optimization algorithm." Data Technologies and Applications 54, no. 4 (2020): 461–80. http://dx.doi.org/10.1108/dta-08-2019-0140.

Full text

Abstract:

PurposeFor delivering high-quality software applications, proper testing is required. A software test will function successfully if it can find more software faults. The traditional method of assessing the quality and effectiveness of a test suite is mutation testing. One of the main drawbacks of mutation testing is its computational cost. The research problem of this study is the high computational cost of the mutation test. Reducing the time and cost of the mutation test is the main goal of this study.Design/methodology/approachWith regard to the 80–20 rule, 80% of the faults are found in 20

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!