Lingya Sun

According to our database, Lingya Sun authored at least 1 paper in 2007.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2007

Relating counterexamples to test cases in CTL model checking specifications.

Duminda Wijesekera, Paul Ammann, Lingya Sun, Gordon Fraser

Proceedings of the 3rd Workshop on Advances in Model Based Testing, 2007