Case Study for Regression Testing using Genetic Algorithm
BK Saraswat, B Parashar, AK Takuli… - Journal of Physics …, 2021 - iopscience.iop.org
For quality-assured information engineering software assessment has become critical.
Software quality is defined as all the features and proprieties of a software system that can …
Software quality is defined as all the features and proprieties of a software system that can …
Error-type—A novel set of software metrics for software fault prediction
In software development, identifying software faults is an important task. The presence of
faults not only reduces the quality of the software, but also increases the cost of development …
faults not only reduces the quality of the software, but also increases the cost of development …
Automatic state-based test generation using genetic algorithms
R Lefticaru, F Ipate - … on symbolic and numeric algorithms for …, 2007 - ieeexplore.ieee.org
Although a lot of research has been done in the field of state-based testing, the automatic
generation of test cases from a functional specification in the form of a state machine is not …
generation of test cases from a functional specification in the form of a state machine is not …
Designing and modeling smart environments
Although a lot of research has been done in the field of state-based testing, the automatic
generation of test cases from a functional specification in the form of a state machine is not …
generation of test cases from a functional specification in the form of a state machine is not …
JSXM: A tool for automated test generation
Abstract The Stream X-machine (SXM) is an intuitive and powerful modelling formalism that
extends finite state machines with a memory (data) structure and function-labelled …
extends finite state machines with a memory (data) structure and function-labelled …
Domain-specific implications of error-type metrics in risk-based software fault prediction
Abstract In software development, Software Fault Prediction (SFP) is essential for optimising
resource allocation and improving testing efficiency. Traditional SFP methods typically use …
resource allocation and improving testing efficiency. Traditional SFP methods typically use …
Testing data processing-oriented systems from stream X-machine models
F Ipate, M Holcombe - Theoretical Computer Science, 2008 - Elsevier
One of the great benefits of using a stream X-machine to specify a system is its associated
testing method. Under certain design for test conditions, this method produces a test suite …
testing method. Under certain design for test conditions, this method produces a test suite …
Bounded sequence testing from deterministic finite state machines
F Ipate - Theoretical Computer Science, 2010 - Elsevier
The W-andWp-methods are the basis for conformance testing from a deterministic finite state
machine (DFSM) when the conformance relation considered is equivalence. However, many …
machine (DFSM) when the conformance relation considered is equivalence. However, many …
Testing non-deterministic stream X-machine models and P systems
F Ipate, M Gheorghe - Electronic Notes in Theoretical Computer Science, 2009 - Elsevier
Under certain well defined conditions, the stream X-machine testing method can produce a
test set that is guaranteed to determine the correctness of an implementation. The testing …
test set that is guaranteed to determine the correctness of an implementation. The testing …
A comparative landscape analysis of fitness functions for search-based testing
R Lefticaru, F Ipate - … on symbolic and numeric algorithms for …, 2008 - ieeexplore.ieee.org
Landscape analysis of fitness functions is an important topic. This paper makes an attempt to
characterize the search problems associated with the fitness functions used in search-based …
characterize the search problems associated with the fitness functions used in search-based …