MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Symbolic execution with abstraction." – sorted by Relevance.

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

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

14 documents found, showing 1 through 10. Next 10 →

ATOM

Language Constructs and Features—Classes and inheritance
by Dino Distefano, Matthew J. Parkinson
… predicate families [24–26] and the idea of symbolic execution and abstraction using separation logic [9…
Add To MetaCart

Static Detection of Atomicity Violations in Object-Oriented Programs
by Christoph Von Praun, Thomas Gross — 2003 — Journal of Object Technology
… violations. The analysis is based on an abstract model of threads and data. A symbolic execution tracks…
Cited by 13 (0 self) – Add To MetaCart

accepted on the recommendation of
by Christoph Von Praun, C Christoph Von Praun, Prof Dr, Thomas Gross, Prof Dr, David Padua, Prof Dr, Robert Stärk — 1972
… the execution of a parallel program on these abstract domains. Thereby, precise information about locking…
Add To MetaCart

Using Dynamic Symbolic Execution to Improve Deductive Verification
by Dries Vanoverberghe, Nikolaj Bjørner, Jonathan De Halleux, Wolfram Schulte, Nikolai Tillmann
…Using Dynamic Symbolic Execution to Improve Deductive Verification Dries Vanoverberghe, Nikolaj…
Add To MetaCart

Static Conflict Analysis for Multi-Threaded Object-Oriented Programs
by Christoph von Praun, Thomas R. Gross — 2003
…. 2.4 Thread-directed heap traversal OUGs are built during a symbolic execution of the abstract…
Cited by 42 (5 self) – Add To MetaCart

Bandera: Extracting Finite-state Models from Java Source Code
by James C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Hongjun Zheng — 2000 — IN PROCEEDINGS OF THE 22ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING
….g., removing irrelevant program features, reducing the cardinality of data types via symbolic abstraction). Our…
Cited by 446 (33 self) – Add To MetaCart

Satisfiability Modulo Bit-precise Theories for Program Exploration
by Nikolaj Bjørner, Leonardo De Moura, Nikolai Tillmann
… static symbolic execution is that the abstraction of execution paths can leverage observations from…
Add To MetaCart

Feedback-directed random test generation
by Carlos Pacheco, Shuvendu K. Lahiri, Michael D. Ernst, Thomas Ball — 2007 — In ICSE
… with abstract state matching, (4) symbolic execution, (5) symbolic execution with abstract state matching…
Cited by 24 (8 self) – Add To MetaCart

Fitness-Guided Path Exploration in Dynamic Symbolic Execution
by Tao Xie, Nikolai Tillmann, Jonathan Halleux, Wolfram Schulte
… {nikolait, jhalleux, schulte}@(email omitted); Abstract Dynamic symbolic execution is a structural testing…
Add To MetaCart

Compiling Multi-Threaded Object-Oriented Programs
by Christoph von Praun, Thomas R. Gross — 2003
… execution (see [22]). 3. Determine abstract objects that are object-local. 4. Determine statements that can…
Cited by 2 (2 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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