Cited By
View all- Du Bousquet LLedru YMaury OOriat CLanet J(2018)Reusing a JML Specification Dedicated to Verification for Testing, and Vice-VersaJournal of Automated Reasoning10.1007/s10817-009-9132-y45:4(415-435)Online publication date: 28-Dec-2018
- Muto YOkano KKusumoto S(2011)Improvement of a Visualization Technique for the Passage Rate of Unit Testing and Static Checking and Its EvaluationProceedings of the 2011 Joint Conference of the 21st International Workshop on Software Measurement and the 6th International Conference on Software Process and Product Measurement10.1109/IWSM-MENSURA.2011.27(279-284)Online publication date: 3-Nov-2011
- Muto YOkano KKusumoto S(2011)A Visualization Technique for the Passage Rates of Unit Testing and Static Checking with Caller-Callee RelationshipsProceedings of the 2011 IEEE Ninth International Symposium on Parallel and Distributed Processing with Applications Workshops10.1109/ISPAW.2011.54(336-341)Online publication date: 26-May-2011
- Show More Cited By