Weiss, M.A.: Data Structures and Algorithm Analysis in Java. Addison Wesley Longman (1999) Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
Automatic Generation and Checking of Program Specifications - Nimmer (2001) (2 citations) (Correct)
Dynamically Discovering Program Invariants Involving.. - Ernst, Griswold.. (2000) (1 citation) (Correct)
Quickly Detecting Relevant Program Invariants - Ernst, Czeisler, Griswold.. (1999) (26 citations) (Correct)
Quickly Detecting Relevant Program Invariants - Ernst, Griswold, Notkin (1999) (26 citations) (Correct)
Dynamically Discovering Pointer-Based Program Invariants - Ernst, Griswold, Kataoka.. (1999) (4 citations) (Correct)
Fast Node Overlap Removal in Graph Layout - Adjustment Tim Dwyer (2005) (Correct)
Fast Node Overlap Removal - Addendum - Dwyer, Marriott, Stuckey (2006) (Correct)
Fast Node Overlap Removal in Graph Layout Adjustment - Dwyer, Marriott, Stuckey (2005) (Correct)
Number Theoretic Transform-Based Block Motion Estimation - Toivonen (2002) (Correct)
Selecting, Refining, and Evaluating Predicates for Program.. - Dodoo, Lin, Ernst (2003) (Correct)
Invariant Inference for Static Checking: An Empirical Evaluation - Nimmer, Ernst (2002) (1 citation) (Correct)
Static verification of dynamically detected program.. - Nimmer, Ernst (2001) (11 citations) (Correct)
Dynamically Discovering Likely Program Invariants - Ernst (2000) (108 citations) (Correct)
Tool-Assisted Unit Test Selection Based on Operational Violations - Xie, Notkin (2003) (5 citations) (Correct)
Selecting Predicates for Implications in Program Analysis - Dodoo, Donovan, Lin, Ernst (2002) (6 citations) (Correct)
Improving Generation of Object-Oriented Test Suites by.. - Xie, Marinov, Notkin (2004) (Correct)
Algorithm Selection for Sorting and Probabilistic Inference: A.. - Guo (2003) (Correct)
Invariant Inference for Static Checking: An Empirical Evaluation - Nimmer, Ernst (2002) (1 citation) (Correct)
Dynamically Discovering Likely Program Invariants - Ernst (2000) (108 citations) (Correct)
Simulating Critical Software Engineering - Evans, Peck (2004) (Correct)
Tool-Assisted Unit Test Selection Based on Operational Violations - Xie, Notkin (2003) (5 citations) (Correct)
Lecture Note on Data Structures - Kwon (2000) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC