Discovering Math APIs by Mining Unit Tests

Anirudh Santhiar, Omesh Pandita, Aditya Kanade. Discovering Math APIs by Mining Unit Tests. In Vittorio Cortellessa, Dániel Varró, editors, Fundamental Approaches to Software Engineering - 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings. Volume 7793 of Lecture Notes in Computer Science, pages 327-342, Springer, 2013. [doi]

@inproceedings{SanthiarPK13,
  title = {Discovering Math APIs by Mining Unit Tests},
  author = {Anirudh Santhiar and Omesh Pandita and Aditya Kanade},
  year = {2013},
  doi = {10.1007/978-3-642-37057-1_24},
  url = {http://dx.doi.org/10.1007/978-3-642-37057-1_24},
  researchr = {https://researchr.org/publication/SanthiarPK13},
  cites = {0},
  citedby = {0},
  pages = {327-342},
  booktitle = {Fundamental Approaches to Software Engineering - 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings},
  editor = {Vittorio Cortellessa and Dániel Varró},
  volume = {7793},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-37056-4},
}