Please use this identifier to cite or link to this item:
|Title:||Specification mining in concurrent and distributed systems|
|Source:||Kumar, S. (2011). Specification mining in concurrent and distributed systems. Proceedings - International Conference on Software Engineering : 1086-1089. ScholarBank@NUS Repository. https://doi.org/10.1145/1985793.1986002|
|Abstract:||Distributed systems contain several interacting components that perform complex computational tasks. Formal specification of the interaction protocols are crucial to the understanding of these systems. Dynamic specification mining from traces containing information about actual interactions during execution of distributed systems can play a useful role in verification and comprehension when formal specification is not available. A framework for behavioral specification mining in distributed systems is proposed. Concurrency and complexity in the distributed models raise special challenges to specification mining in such systems. © 2011 Author.|
|Source Title:||Proceedings - International Conference on Software Engineering|
|Appears in Collections:||Staff Publications|
Show full item record
Files in This Item:
There are no files associated with this item.
checked on Dec 13, 2017
checked on Dec 9, 2017
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.