Automatic State-Based Test Generation Using Genetic Algorithms

Authors:
Raluca Lefticaru;Florentin Ipate
Affiliations:
-;-
Venue:
SYNASC '07 Proceedings of the Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
Year:
2007

Citing 0
Cited 6

Generation of improved test cases from UML state diagram using genetic algorithm

Proceedings of the 4th India Software Engineering Conference
Transition coverage testing for simulink/stateflow models using messy genetic algorithms

Proceedings of the 13th annual conference on Genetic and evolutionary computation
Search-based software testing and test data generation for a dynamic programming language

Proceedings of the 13th annual conference on Genetic and evolutionary computation
An improved test generation approach from extended finite state machines using genetic algorithms

SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
Evolutionary design of the closed loop control on the basis of NN-ANARX model using genetic algorithm

ICONIP'12 Proceedings of the 19th international conference on Neural Information Processing - Volume Part I
UML behavioral model based test case generation: a survey

ACM SIGSOFT Software Engineering Notes

Quantified Score

Hi-index	0.00

Visualization

Abstract

The MathLang project aims at computerizing mathematical texts according to various degrees of formalisations, and without any prior commitment to a particular logical framework (e.g., having to choose either set theory or category theory or type theory, ...