Back to Results
First PageMeta Content
Constraint programming / Software bugs / Formal methods / Logic in computer science / Memory management / Concolic testing / Symbolic execution / Debugger / Satisfiability Modulo Theories / Software engineering / Theoretical computer science / Computing


Partial Replay of Long-Running Applications Alvin Cheung, Armando Solar-Lezama, and Samuel Madden MIT CSAIL {akcheung, asolar, madden}@csail.mit.edu
Add to Reading List

Document Date: 2011-08-15 13:47:43

Open Document

File Size: 324,83 KB

Share Result on Facebook

City

Szeged / /

Company

MySQL / 3M / /

Country

Hungary / /

Currency

USD / /

/

Facility

inst. library Assembler Linker / /

IndustryTerm

real-world applications / replay tools / database server / web servers / static analysis tools / printing / database systems / Recent tools / partial symbolic replay tool / test generation tools / computing / realworld applications / bug replay tools / deployed software / /

OperatingSystem

ISIS / Linux / Ubuntu / Windows Server 2003 / /

Organization

MIT / US Federal Reserve / /

Person

Constraint / Alvin Cheung / Samuel Madden / Armando Solar-Lezama / /

/

Position

network model mem model / trace logger / representative / General / programmer / /

ProgrammingLanguage

HTML / C++ / /

RadioStation

1 With / /

Technology

RAM / Linux system / HTTP / HTML / operating systems / 3G / web server / CGI / /

SocialTag