Please use this identifier to cite or link to this item: http://hdl.handle.net/2440/54631
Citations
Scopus Web of ScienceĀ® Altmetric
?
?
Type: Conference paper
Title: Experiments in applying evolutionary algorithms to software verification
Author: Shyang, W.
Lakos, C.
Michalewicz, Z.
Schellenberg, S.
Citation: Evolutionary Computation, 2008. CEC 2008. (proceedings from the IEEE World Congress on Computational Intelligence, Hong Kong): pp.3530-3535
Publisher: IEEE
Publisher Place: CD
Issue Date: 2008
Series/Report no.: IEEE Congress on Evolutionary Computation
ISBN: 9781424418237
Conference Name: IEEE World Congress on Computational Intelligence (2008 : Hong Kong)
Statement of
Responsibility: 
Woei Shyang, Lakos, C., Michalewicz, Z. and Schellenberg, S.
Abstract: Complex concurrent systems present a significant challenge for software verification. If those systems are safety-critical, the need for software verification becomes particularly pressing, given the serious consequences of unforeseen defects. Complex concurrent systems are characterised by extremely large state spaces. The use of testing techniques for verification means that very little of the state space is explored. On the other hand, model-checking techniques exhaustively examine the state space, but will be stymied by the actual size. In this paper, we discuss some preliminary experiments on the application of evolutionary algorithms to software verification. This approach does not explore the whole state space, but does use heuristics to guide the search through the most promising parts of the state space for locating errors.
RMID: 0020085493
DOI: 10.1109/CEC.2008.4631275
Published version: http://www.informatik.uni-trier.de/~ley/db/conf/cec/cec2008.html
Appears in Collections:Computer Science publications

Files in This Item:
There are no files associated with this item.


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.