Personal tools
You are here: Home Publications bibtex TSE11-KKK11.bib

TSE11-KKK11.bib

TSE11-KKK11.bib — Bibtex bibliographic data, 303 bytes

File contents

@article{KKK11,
  author={M.~Kim and Y.~Kim and H.~Kim},
  title="Comparative Study on Software Model Checkers as Unit Testing Tools: An Industrial Case Study",
  journal="IEEE Transactions on Software Engineering",
  volume=37,
  number=2,
  pages="146-160",
  year=2011,
  month="March"
}

Document Actions