TY  - CONF
N1  - Springer
ID  - deploy305
UR  - http://www.springerlink.com/content/jq437668q5l87mx4/
A1  - Dinca, Ionut
A1  - Stefanescu, Alin
A1  - Ipate, Florentin
A1  - Lefticaru, Raluca
A1  - Tudose, Cristina
Y1  - 2011///
N2  - Event-B is a formal modeling language having set theory as its mathematical foundation and abstract state machines as its behavioral specifications. 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 paths. For that, new fitness functions adapted to the set-theoretic nature of Event-B are devised. The approach was implemented and its efficiency was proven on a carefully designed benchmark using statistically sound evaluations. 
KW  - Abstract state machines; Event-B; model-based testing; search-based testing.
TI  - Test Data Generation for Event-B Models using Genetic Algorithms
SP  - 76
M2  - Malaysia
AV  - public
EP  - 90
T2  - 2nd International Conference on Software Engineering and Computer Systems (ICSECS'11)
ER  -

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>