Finding short counterexamples in promela models using estimation of distribution algorithms (2011)

First Author: John Andrew Clark (Author)
Attributed to:  SEBASE: Software Engineering By Automated SEarch funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Conference/Paper/Proceeding/Abstract