Cited By
View all- Attiogbé C(2009)Can Component/Service-Based Systems Be Proved Correct?Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science10.1007/978-3-540-95891-8_2(3-18)Online publication date: 24-Jan-2009
- Tzoref RUr SYom-Tov ERosenblum DElbaum S(2007)Instrumenting where it hurtsProceedings of the 2007 international symposium on Software testing and analysis10.1145/1273463.1273469(27-38)Online publication date: 9-Jul-2007
- Bradbury JCordy JDingel J(2007)Comparative Assessment of Testing and Model Checking Using Program MutationTesting: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007)10.1109/TAIC.PART.2007.37(210-222)Online publication date: Sep-2007
- Show More Cited By