Searching for "Locality-Based Abstractions." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

S.: Locality-based abstractions
by Javier Esparza, Pierre Ganty, Stefan Schwoon, Université Libre De Bruxelles — 2005 — In: SAS ’05: Proc. 12th Int. Symp. on Static Analysis. Volume 3672 of LNCS., Springer-Verlag
…’Informatique, Université Libre de Bruxelles pganty@(email omitted); Abstract. We present locality-based abstractions, in which a…
Cited by 1 (1 self) – Add To MetaCart

Automated Fault Localization Using Potential Invariants
by Brock Pytlik, Manos Renieris, Shriram Krishnamurthi, Steven P. Reiss — 2003
…, Providence, RI 02912, USA ABSTRACT We present a general method for fault localization based on abstracting…
Cited by 30 (1 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB