Multi-objective Improvement of Software Using Co-evolution and Smart Seeding
SEAL '08 Proceedings of the 7th International Conference on Simulated Evolution and Learning
Insight knowledge in search based software testing
Proceedings of the 11th Annual conference on Genetic and evolutionary computation
ASID'09 Proceedings of the 3rd international conference on Anti-Counterfeiting, security, and identification in communication
Theoretical analysis of local search in software testing
SAGA'09 Proceedings of the 5th international conference on Stochastic algorithms: foundations and applications
Proceedings of the 15th annual conference on Genetic and evolutionary computation
Runtime analysis of the (1+1) EA on computing unique input output sequences
Information Sciences: an International Journal
Hi-index | 0.00 |
Some approaches to Model-Based Testing focus on test case generation from assertions (operation pre- and post- conditions) and invariants, e.g., written in the Object Constraint Language. In such a setting, assertions must be val- idated. Validation ...