Model-based test generation for embedded systems: Publications

Click here to download all publications in a single bibtex file

@article{dkw2008,
  title = "A Survey of Automated Techniques for Formal Software Verification",
  author = "Vijay D'Silva and Daniel Kroening and Georg Weissenbacher",
  year = "2008",
  journal = "IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD)",
  month = "July",
  number = "7",
  pages = "1165-1178",
  publisher = "IEEE",
  url = "http://dx.doi.org/10.1109/TCAD.2008.923410",
  volume = "27",
  doi = "10.1109/TCAD.2008.923410",
}

@inproceedings{bkossb2007-tacas,
  title = "Deciding Bit-Vector Arithmetic with Abstraction",
  author = "Bryant, Randal E. and Kroening, Daniel and Ouaknine, Joel and Seshia, Sanjit A. and Strichman, Ofer and Brady, Bryan",
  year = "2007",
  booktitle = "Proceedings of TACAS 2007",
  pages = "358--372",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "4424",
}