Browse Research and Tech Reports - Computer Science by Author "de Halleux, Jonathan"

  • Lam, Wing; Srisakaokul, Siwakorn; Bassett, Blake; Mahdian, Peyman; Xie, Tao; Tillmann, Nikolai; de Halleux, Jonathan (2015-10-16)
    With recent advances in test generation research, powerful test generation tools are now at the fingertips of developers in software industry. For example, Microsoft Research Pex, a state-of-the-art tool based on dynamic ...


    application/pdfPDF (600kB)