Specification mining in concurrent and distributed systems.

Sandeep Kumar

Browse the full ICSE paper archive.