Domain Specific Test Case Generation using Higher Ordered Typed Languages for Specification

@inproceedings{Sinha2005DomainST,
  title={Domain Specific Test Case Generation using Higher Ordered Typed Languages for Specification},
  author={Avik Sinha},
  year={2005}
}