Back to Results
First PageMeta Content
Statistical theory / Bayesian inference / Psychometrics / Confidence interval / Bayes factor / Estimator / Statistical hypothesis testing / Monte Carlo method / Symbolic execution / Statistics / Statistical inference / Estimation theory


Statistical Symbolic Execution with Informed Sampling ˘ areanu ˘ Corina S. Pas Carnegie Mellon Silicon Valley, NASA Ames
Add to Reading List

Document Date: 2014-04-10 17:58:00

Open Document

File Size: 229,02 KB

Share Result on Facebook

Company

Red Hat / Jaco Geldenhuys Co / Intel / /

Country

Germany / South Africa / /

Currency

USD / /

Event

Product Recall / Product Issues / /

Facility

Antonio Filieri University of Stuttgart Stuttgart / /

IndustryTerm

software artifacts / software implementations / approximate solution / map-reduce algorithm / search space / flight software / transition systems / software component / software analysis / /

MusicAlbum

Monte Carlo / /

OperatingSystem

Red Hat Linux / Ubuntu / /

Organization

University of Stuttgart Stuttgart / National Aeronautics and Space Administration / Carnegie Mellon / /

Person

Windy (small) Sorting / Corina S. Pas Carnegie Mellon / /

/

Position

Onboard Abort Executive / resource arbiter / scheduler / software engineer / /

Product

hypothesis testing / Linux / LattE / SDI iP1 Speakers / /

ProgrammingLanguage

Java / Java bytecode / /

Technology

5.1 Algorithm / Java / success The algorithm / Linux / Co py Algorithm / map-reduce algorithm / simulation / /

SocialTag