Paraµ - A Partial and Higher-Order Mutation Tool with Concurrency Operators

Pratyusha Madiraju, Akbar Siami Namin. Paraµ - A Partial and Higher-Order Mutation Tool with Concurrency Operators. In Fourth International IEEE Conference on Software Testing, Verification and Validation, ICST 2012, Berlin, Germany, 21-25 March, 2011, Workshop Proceedings. pages 351-356, IEEE Computer Society, 2011. [doi]

@inproceedings{MadirajuN11,
  title = {Paraµ - A Partial and Higher-Order Mutation Tool with Concurrency Operators},
  author = {Pratyusha Madiraju and Akbar Siami Namin},
  year = {2011},
  doi = {10.1109/ICSTW.2011.34},
  url = {http://doi.ieeecomputersociety.org/10.1109/ICSTW.2011.34},
  researchr = {https://researchr.org/publication/MadirajuN11},
  cites = {0},
  citedby = {0},
  pages = {351-356},
  booktitle = {Fourth International IEEE Conference on Software Testing, Verification and Validation, ICST 2012, Berlin, Germany, 21-25 March, 2011, Workshop Proceedings},
  publisher = {IEEE Computer Society},
}