Simulation-verification: biting at the state explosion problem

@article{stuart2001,
   apice = {TranSe01},
   author = {Stuart, Douglas A. and Brockmeyer, Monica and Mok, Aloysius K. and Jahanian, Farnam},
   doi = {10.1109/32.935853},
   issn = {0098-5589},
   journal = {IEEE Transactions on Software Engineering},
   month = {july},
   number = 7,
   pages = {599--617},
   publisher = {IEEE Computer Sosciety},
   title = {Simulation-verification: biting at the state explosion problem},
   volume = 27,
   year = 2001
}