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
« November 2017 »
November
MoTuWeThFrSaSu
12345
6789101112
13141516171819
20212223242526
27282930