Specification-Based Test Selection in Formal Conformance Testing

Reference:

Tuomo Pyhälä. Specification-based test selection in formal conformance testing. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science, 2003.

Suggested BibTeX entry:

@mastersthesis{PyhalaMsc,
    author = {Pyh{\"a}l{\"a}, Tuomo},
    school = {Helsinki University of Technology, Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science},
    title = {Specification-Based Test Selection in Formal Conformance Testing},
    year = {2003},
}