Cited By
View all- Fehnker AHuuck R(2013)Model checking driven static analysis for the real worldInnovations in Systems and Software Engineering10.1007/s11334-012-0192-59:1(45-56)Online publication date: 1-Mar-2013
- Moha NGueheneuc YDuchien LLe Meur A(2010)DECORIEEE Transactions on Software Engineering10.1109/TSE.2009.5036:1(20-36)Online publication date: 1-Jan-2010
- Wang Q(2009)An Intuitive Approach for Specifying Interface ConstraintProceedings of the 2009 Ninth International Conference on Quality Software10.1109/QSIC.2009.62(418-425)Online publication date: 24-Aug-2009
- Show More Cited By