The Daikon system for dynamic detection of likely invariants-Reference-Cited by-同舟云学术

The Daikon system for dynamic detection of likely invariants

Published:2007-12 Issue:1-3 Volume:69 Page:35-45
ISSN:0167-6423
Container-title:Science of Computer Programming
language:en
Short-container-title:Science of Computer Programming

Author:

Ernst Michael D.,Perkins Jeff H.,Guo Philip J.,McCamant Stephen,Pacheco Carlos,Tschantz Matthew S.,Xiao Chen

Publisher

Elsevier BV

Subject

Software

Reference40 articles.

1. N. Dodoo, L. Lin, M.D. Ernst, Selecting, refining, and evaluating predicates for program analysis, Tech. Rep. MIT-LCS-TR-914, MIT Lab for Computer Science, 21 July, 2003

2. B. Demsky, M.D. Ernst, P.J. Guo, S. McCamant, J.H. Perkins, M. Rinard, Inference and enforcement of data structure consistency specifications, ISSTA (2006) 233–243

3. P.J. Guo, J.H. Perkins, S. McCamant, M.D. Ernst, Dynamic inference of abstract types, ISSTA (2006) 255–265

4. Parasoft Corporation, Jtest version 4.5. http://www.parasoft.com/

5. Extended static checking for Java;Flanagan;PLDI,2002

Cited by 584 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Extraction and empirical evaluation of GUI-level invariants as GUI Oracles in mobile app testing;Information and Software Technology;2025-01

2. Obfuscation strategies for industrial control systems;International Journal of Critical Infrastructure Protection;2024-12

3. A Pyramid Of (Formal) Software Verification;Lecture Notes in Computer Science;2024-09-13

4. Abstraction Modulo Stability;Formal Methods in System Design;2024-09-12

5. Test-based patch clustering for automatically-generated patches assessment;Empirical Software Engineering;2024-07-24