Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Using genetic algorithms in model checking

 
: Schwedler, Wolfgang
: Eschbach, Robert; Leucker, Martin; Beletski, Taras

Kaiserslautern, 2007, IV, 73 pp.
München, TU, Dipl.-Arb., 2007
English
Thesis
Fraunhofer IESE ()
genetic algorithm; model checking; artificial intelligence; Java programming language; software testing

: http://publica.fraunhofer.de/documents/N-66738.html