• Efficient state space exploration for parallel test generation 

    Ramasamy Kandasamy, Manimozhian (2009-09-03)
    Automating the generation of test cases for software is an active area of research. Specification based test generation is an approach in which a formal representation of a method is analyzed to generate valid test cases. ...