Asadullah Shaikh, Robert Clarisó, Uffe Kock Wiil, Nasrullah Memon
Verification-driven slicing of UML/OCL models
ASE, 2010.
@inproceedings{ASE-2010-ShaikhCWM, author = "Asadullah Shaikh and Robert Clarisó and Uffe Kock Wiil and Nasrullah Memon", booktitle = "{Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering}", doi = "10.1145/1858996.1859038", isbn = "978-1-4503-0116-9", pages = "185--194", publisher = "{ACM}", title = "{Verification-driven slicing of UML/OCL models}", year = 2010, }