Formal Methods for Protocol Testing: A Detailed Study
IEEE Transactions on Software Engineering
Test Selection Based on Finite State Models
IEEE Transactions on Software Engineering
Adaptation in natural and artificial systems
Adaptation in natural and artificial systems
Object-oriented integration testing
Communications of the ACM
The ASTOOT approach to testing object-oriented programs
ACM Transactions on Software Engineering and Methodology (TOSEM)
The chaining approach for software test data generation
ACM Transactions on Software Engineering and Methodology (TOSEM)
Swarm intelligence: from natural to artificial systems
Swarm intelligence: from natural to artificial systems
Testing object-oriented systems: models, patterns, and tools
Testing object-oriented systems: models, patterns, and tools
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
TACCLE: a methodology for object-oriented software testing at the class and cluster levels
ACM Transactions on Software Engineering and Methodology (TOSEM)
Swarm intelligence
Comparing test sets and criteria in the presence of test hypotheses and fault domains
ACM Transactions on Software Engineering and Methodology (TOSEM)
Testing Finite-State Machines: State Identification and Verification
IEEE Transactions on Computers
More Experience with Data Flow Testing
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Integrating White- and Black-Box Techniques for Class-Level Regression Testing
COMPSAC '01 Proceedings of the 25th International Computer Software and Applications Conference on Invigorating Software Development
Testing of Object-Oriented Programs Based on Finite State Machines
APSEC '95 Proceedings of the Second Asia Pacific Software Engineering Conference
Criteria for Generating Specification-Based Tests
ICECCS '99 Proceedings of the 5th International Conference on Engineering of Complex Computer Systems
Using Spanning Sets for Coverage Testing
IEEE Transactions on Software Engineering
Ant Colony Optimization
FSM-Based Incremental Conformance Testing Methods
IEEE Transactions on Software Engineering
Evolutionary testing of classes
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Assessing and Improving State-Based Class Testing: A Series of Experiments
IEEE Transactions on Software Engineering
Evolutionary testing of state-based programs
GECCO '05 Proceedings of the 7th annual conference on Genetic and evolutionary computation
Using evolutionary algorithms for the unit testing of object-oriented software
GECCO '05 Proceedings of the 7th annual conference on Genetic and evolutionary computation
Journal of Software Maintenance and Evolution: Research and Practice
An Ant Colony Optimization Approach to Test Sequence Generation for Statebased Software Testin
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Testing methods for X-machines: a review
Formal Aspects of Computing
Integration testing of object-oriented components using finite state machines: Research Articles
Software Testing, Verification & Reliability
Heuristics for fault diagnosis when testing from finite state machines: Research Articles
Software Testing, Verification & Reliability
Software Testing Research: Achievements, Challenges, Dreams
FOSE '07 2007 Future of Software Engineering
A state-based approach to integration testing based on UML models
Information and Software Technology
An Immune Genetic Algorithm for Software Test Data Generation
HIS '07 Proceedings of the 7th International Conference on Hybrid Intelligent Systems
Testing Software Design Modeled by Finite-State Machines
IEEE Transactions on Software Engineering
A comparison of selection schemes used in evolutionary algorithms
Evolutionary Computation
GECCO'03 Proceedings of the 2003 international conference on Genetic and evolutionary computation: PartII
Extracting test sequences from a Markov software usage model by ACO
GECCO'03 Proceedings of the 2003 international conference on Genetic and evolutionary computation: PartII
The state problem for evolutionary testing
GECCO'03 Proceedings of the 2003 international conference on Genetic and evolutionary computation: PartII
Ant colony system: a cooperative learning approach to the traveling salesman problem
IEEE Transactions on Evolutionary Computation
Ant system: optimization by a colony of cooperating agents
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
On testing and diagnosis of communication protocols based on the FSM model
Computer Communications
Evolving intelligent algorithms for the modelling of brain and eye signals
Applied Soft Computing
Hi-index | 0.00 |
Soft computing offers a plethora of techniques for dealing with hard optimization problems. In particular, nature based techniques have been shown to be very efficient in optimization applications. The present paper investigates the suitability of various nature-inspired meta-heuristics (genetic algorithms, evolutionary programming and ant-colony systems) to the problem of software testing. The present study is part of the nature-inspired techniques for object-oriented testing (NITOT) environment. It aims at addressing the problem of conformance testing of object-oriented software to its specification expressed in terms of finite state machines. Detailed description, adaptation and evaluation of the various nature-inspired meta-heuristics are discussed showing their potential in this context of conformance testing.