Pith. sign in

In: Kowalewski, S., Philippou, A

Vanoverberghe, D · 2009 · Lecture notes in computer science · DOI 10.1007/978-3-642-00768-2

2 Pith papers cite this work, alongside 75 external citations. Polarity classification is still indexing.

2 Pith papers citing it
75 external citations · OpenAlex
open at publisher browse 2 citing papers

fields

cs.LO 1 cs.PL 1

years

2026 1 2019 1

verdicts

UNVERDICTED 2

representative citing papers

Accelerating Loops with Arrays

cs.LO · 2026-05-19 · unverdicted · novelty 7.0

A new acceleration method for array-manipulating loops uses inductive lvalues and lambdas to unify treatment with scalars and enable lemma-on-demand SMT solving.

Concolic Testing Heap-Manipulating Programs

cs.PL · 2019-07-12 · unverdicted · novelty 7.0

CSF is the first separation logic-based concolic testing engine for heap-manipulating programs that integrates specification-based testing to generate valid inputs with high coverage.

citing papers explorer

Showing 2 of 2 citing papers.

  • Accelerating Loops with Arrays cs.LO · 2026-05-19 · unverdicted · none · ref 10

    A new acceleration method for array-manipulating loops uses inductive lvalues and lambdas to unify treatment with scalars and enable lemma-on-demand SMT solving.

  • Concolic Testing Heap-Manipulating Programs cs.PL · 2019-07-12 · unverdicted · none · ref 44

    CSF is the first separation logic-based concolic testing engine for heap-manipulating programs that integrates specification-based testing to generate valid inputs with high coverage.