Author:
Artho Cyrille,Barringer Howard,Goldberg Allen,Havelund Klaus,Khurshid Sarfraz,Lowry Mike,Pasareanu Corina,Roşu Grigore,Sen Koushik,Visser Willem,Washington Rich
Subject
General Computer Science,Theoretical Computer Science
Reference67 articles.
1. AGEDIS—model based test generation tools, http://www.agedis.de.
2. P. Ammann, P. Black, A specification-based coverage metric to evaluate test sets, in: Proc. Fourth IEEE Internat. Symp. on High Assurance Systems and Engineering, November 1999, pp. 239–248.
3. C. Artho, K. Havelund, A. Biere, High-level data races, Journal on Software Testing, Verification and Reliability (STVR) 13 (4) (2003).
4. C. Artho, V. Schuppan, A. Biere, P. Eugster, M. Baur, B. Zweimüller, JNuke: efficient dynamic analysis for Java, in: Proc. CAV’04: Computer Aided Verification, Lecture Notes in Computer Science, Springer, Berlin, 2004.
5. M. Barnett, W. Schulte, Contracts, components, and their runtime verification, Technical Report MSR-TR-2002-38, Microsoft Research, April 2002, Download: http://research.microsoft.com/fse.
Cited by
56 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献