Back to Results
First PageMeta Content
Declarative programming / Satisfiability Modulo Theories / Type system / Prolog / Symbolic execution / Linear programming / Theoretical computer science / Software engineering / Constraint programming


Reverse Execution With Constraint Solving Raluca Sauciuc George Necula Electrical Engineering and Computer Sciences
Add to Reading List

Document Date: 2013-05-12 14:29:36

Open Document

File Size: 295,84 KB

Share Result on Facebook

Company

Case / Intel / Computer Sciences / /

/

Event

Product Issues / /

Facility

UI library / Berkeley University of California / Reverse Execution With Constraint Solving Raluca Sauciuc George Necula University of California / /

IndustryTerm

pure replay solution / typical replay systems / debugger tool / typical reverse execution solutions / event-driven applications / debugger-like tool / stand-alone applications / power algorithm / language-level solution / eventdriven applications / search space / image-processing algorithms / /

NaturalFeature

Snake / /

OperatingSystem

Android / GNU / /

Organization

University of California / /

Person

George Necula / /

Position

author / detective / interpreter / /

Product

Yices 1.0.29 / iPhone / execution path / system logs / final state / /

ProgrammingLanguage

Prolog / Java / ML / JavaScript / /

ProvinceOrState

California / /

Technology

virtual machine / cellular telephone / RAM / image-processing algorithms / Java / API / power algorithm / DOM / Android / virtual memory / same algorithm / BallLarus algorithm / AJAX / X server / GUI / /

URL

http /

SocialTag