Last edited by Yozshulkree
Saturday, July 18, 2020 | History

2 edition of Automatic software test data generation from z specifications using evolutionary algorithms. found in the catalog.

Automatic software test data generation from z specifications using evolutionary algorithms.

Xile Yang

Automatic software test data generation from z specifications using evolutionary algorithms.

by Xile Yang

  • 339 Want to read
  • 25 Currently reading

Published .
Written in English


Edition Notes

ContributionsUniversity of Glamorgan.
ID Numbers
Open LibraryOL18197190M

Dr G. Jeyakumar received his degree in Mathematics in , M.C.A. degree (under the faculty of Engineering) in from Bharathidasan University, and Ph.D. degree in Distributed Differential Evolution Algorithm in , from Amrita Vishwa Vidyapeetham, Tamil Nadu, India. He is currently an Associate Professor in the department of Computer Science and Engineering, Amrita School of. Soil, rock and underground structures mechanics on microcomputers using plasticity theory, a software package for geotechnical engineering. Getfem++ is a project focusing on the development of a generic and efficient C++ library for finite element methods elementary computations.

In: Evolutionary Computation and Optimization Algorithms in Software Engineering, ISBN , Edited by Monica Chis, IGI Global, Hershey, USA, CH2: W. Afzal, R. Torkar. Towards benchmarking feature subset selection methods for software fault prediction.   pypet (Python parameter exploration toolkit) is a new multi-platform Python toolkit for managing numerical simulations. Sampling the space of model parameters is a key aspect of simulations and numerical experiments. pypet is designed to allow easy and arbitrary sampling of trajectories through a parameter space beyond simple grid collects and stores both simulation parameters Cited by:

  Search-Based Software Testing • Express test generation problem as a search or optimization problem • Search for test input data with certain properties, i.e., source code coverage • Non-linearity of software (if, loops, ): complex, discontinuous, non- linear search spaces • Many search algorithms (metaheuristics), from local search. GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together. OpenGL - Concepts and illustrations. Software optimization resources - A. Fog. C# Notes for Professionals - Compiled from StackOverflow documentation (3.x) Thinking in C++, Second Edition, Vol. 1.


Share this book
You might also like
Amphitryon

Amphitryon

Anglo-Catholic Congress, Bristol, November 27th - 29th, 1923.

Anglo-Catholic Congress, Bristol, November 27th - 29th, 1923.

Foundations for practice in occupational therapy

Foundations for practice in occupational therapy

canon of Ryukyu Kempo

canon of Ryukyu Kempo

Observations on the second vision of St. John

Observations on the second vision of St. John

Flight of hawks

Flight of hawks

comparative study of two Jamaican fishing communities.

comparative study of two Jamaican fishing communities.

Dishpan lyrics

Dishpan lyrics

Promotion and retirement in the Army.

Promotion and retirement in the Army.

Child Of The Covenant

Child Of The Covenant

The emergence of modern Africa

The emergence of modern Africa

role of classes in historical materialism.

role of classes in historical materialism.

Pain

Pain

Rocket Report (Rocket Power)

Rocket Report (Rocket Power)

Automatic software test data generation from z specifications using evolutionary algorithms by Xile Yang Download PDF EPUB FB2

Automatic, evolutionary test data generation for dynamic software testing Article in Journal of Systems and Software 81(11) November with 16 Reads How we measure 'reads'. In this paper we analyze the application of parallel and sequential evolutionary algorithms (EAs) to the automatic test data generation problem.

The problem consists of automatically creating a set of input data to test a program. This is a fundamental step in software development and a time consuming task in existing software by: A kind of evolutionary test method based on the particle swarm optimization (PSO) algorithm is proposed for the automatic generation of appointed path software test data.

Doungsa-ard, C., et al. Test Data Generation from UML State Machine Diagrams using GAs. in The Second International Conference on Software Engineering Advances, ICSEA Cap Esterel, French Riviera, France.

47–47 CrossRef Google ScholarCited by: Optimizing for the number of tests generated in search based test data generation with an application to the oracle cost problem.

In: Proceedings of the 3rd International Workshop on Search-Based Software Testing (SBST'10), pp. Google Scholar; Harman et al, A multi-objective approach to search-based test data : AnandSaswat, K BurkeEdmund, ChenTsong Yueh, ClarkJohn, B CohenMyra, GrieskampWolfgang, HarmanMark, H.

The language has very good tool support based on theorem proving and model checking technologies, but very little support for test generation.

Motivated by industrial interest in the latter domain, this paper presents an approach based on genetic algorithms that generates test data for Event-B test by: 3. This paper presents an orchestrated survey of the most prominent techniques for automatic generation of software test cases, reviewed in self-standing sections.

The techniques presented include: (a) structural testing using symbolic execution, (b) model-based testing, (c) combinatorial testing, (d) random testing and its variant of adaptive Cited by:   Cellular-genetic test data generation.

Full Text: PDF Get this Article: Authors: Harsh Bhasin: Department of Computer Science Delhi Technological University Delhi, India M.

Tech Scholar, CE Department YMCAUST Sec 6, Faridabad, India: Published in: Newsletter: ACM SIGSOFT Software Engineering Notes archive: Volume 38 Issue 5, September Cited by: Laurent Y, Bendraou R and Gervais M Generation of process using multi-objective genetic algorithm Proceedings of the International Conference on Software and System Process, () Wang M and Hu X Data assimilation in agent based simulation of smart environment Proceedings of the 1st ACM SIGSIM Conference on Principles of Advanced.

Evolutionary Algorithms for Embedded System Design describes how Evolutionary Algorithm (EA) concepts can be applied to circuit and system design - an area where time-to-market demands are critical. EAs create an interesting alternative to other approaches since they can be scaled with the problem size and can be easily run on parallel computer.

Multi-Objective Evolutionary Algorithms (MOEAs) have been applied successfully for solving real-world multi-objective problems. Their success can depend highly on the configuration of their control parameters. Different tuning methods have been proposed in order to solve this problem.

Tuning can be performed on a set of problem instances in order to obtain robust control : Matej Črepinšek, Miha Ravber, Marjan Mernik, Tomaž Kosar. c) it can be used to identify higher-level strategies for solving software engineering tasks. For example, rather than discover test data for testing a system, we can discover programs ('startegies') which when executed generate test data.

This finds particular application in stress testing, but is. "Multicriterion Market Segmentation Using Evolutionary Algorithms", Proceedings of the NYU International Workshop on Customer Relationship Management: Data Mining Meets Marketing", Nov.(With Y. Liu and R.

Lusch). Author Summary Contemporary biology has largely become computational biology, whether it involves applying physical principles to simulate the motion of each atom in a piece of DNA, or using machine learning algorithms to integrate and mine “omics” data across whole cells (or even entire ecosystems).

The ability to design algorithms and program computers, even at a novice level, may be the Cited by: software All software latest This Just In Old School Emulation MS-DOS Games Historical Software Classic PC Games Software Library.

Internet Arcade. Top Full text of "Global Optimization Algorithms: Theory and Application" See other formats. Evolutionary programming is a type of machine learning–artificial intelligence (Mitchell ) designed to perform symbolic variants in evolutionary programming are “genetic algorithms,” “genetic programming,” and “gene-expression programming” (Ferreira ).Genetic algorithms (GAs) were devised in the s by Holland (), and are coded as symbolic strings Cited by: You can write a book review and share your experiences.

Other readers will always be interested in your opinion of the books you've read. Whether you've loved the book or not, if you give your honest and detailed thoughts then people will find new books that are right for them. Enabling Automated Software Testing with Artificial Intelligence Automatic Generation of System Test Cases from Requirements in Natural Language [Wang et al.] 39 "Testing Vision-Based Control Systems Using Learnable Evolutionary Algorithms”, ICSE • Ben Abdessalem et al., "Testing Autonomous Cars for Feature Interaction Failures.

Artificial intelligence and data science are two main technologies that form the processes of the automotive.

The huge advance in machine learning algorithms due to the deep learning; moreover, With AI as a raising common technology platform, the automotive industry is set to test various changes in the following years.

Reply. Inductive programming (IP) is a special area of automatic programming, covering research from artificial intelligence and programming, which addresses learning of typically declarative (logic or functional) and often recursive programs from incomplete specifications, such as input/output examples or constraints.

Depending on the programming language used, there are several kinds of inductive. In mathematics and computer science, an algorithm (/ ˈ æ l ɡ ə r ɪ ð əm / ()) is a finite sequence of well-defined, computer-implementable instructions, typically to solve a class of problems or to perform a computation.

Algorithms are always unambiguous and are used as specifications for performing calculations, data processing, automated reasoning, and other tasks. Numerous techniques for automatic test generation based on code coverage criteria [52]–[56] have been proposed in the last decade.

An example of such an approach is EvoSuite [52], a tool based on genetic algorithms for automatic test generation of Java programs.In this paper, automatic test cases have been developed with the help of a genetic algorithm for data flow testing and these tests are divided in different groups using Euclidean distance.

Elements of each group are applied on the data flow diagram of the program/software and all .