Back to Results
First PageMeta Content
Software / Telemetry / Software verification / Batch file / Test automation / Software development process / Software testing / Technology / Science


Document Date: 2010-02-15 16:51:24

Open Document

File Size: 625,67 KB

Share Result on Facebook

City

Sky / Turku / Vancouver / /

Company

Jet Propulsion Laboratory / MSL Flight Software / NASA’s Jet Propulsion Laboratory / Mars Science Laboratory / /

Country

Canada / Finland / /

Currency

USD / /

/

Event

Product Issues / /

Facility

OR California Institute of Technology Pasadena / Mars Science Laboratory / CA California Institute of Technology Pasadena / Jet Propulsion Laboratory / FIT library / Computer Laboratory / Another P YTHON library / Kennedy Space Center / JPL’s Laboratory / FIT P YTHON library / California Institute of Technology / /

IndustryTerm

software system / registry tool / software problem-solving / large software development project / software mediating interaction / flight software developers / flight software release / light-weight data mining / log information / software team / registry solution / drill product / embedded processing / software producing logs / software makes / FIT team management / compact car / ad hoc post-processing forced engineers / control software / software efforts / test software / test infrastructure / generated groups / space flight software / similar very lightweight data mining / flight software command / web servers / concurrent value-passing systems / stop-gap solution / flight hardware / software testing effort / ground operations software / log creation tool / drill dump product / control systems / learning tool / success protocol / software development effort / ground systems / safety-critical systems / control software system / concurrent systems / post-processing / Rule systems / automated software verification technology research / ground system software / log analysis tool / source repository mining results / flight software / flight software calls / ground software / actual flight hardware / software testing / log-analysis tool / low-level tools / large-scale software testing effort / /

MusicAlbum

Time / CHANGE / PRODUCT / Type / /

OperatingSystem

VxWorks / /

Organization

California Institute of Technology / Oregon State University / Flight Software Testing Effort Alex Groce Klaus Havelund Margaret Smith School of Electrical Engineering and Computer Laboratory for Reliable Software Software System Engineering Jet Propulsion Laboratory Jet Propulsion Laboratory Corvallis / Laboratory for Reliable Software / CA California Institute of Technology Pasadena / OR California Institute of Technology Pasadena / Kennedy Space Center / National Aeronautics and Space Administration / Swiss army / /

Person

Glenn LogScope / Cin-Young Lee / Lisa Tatge / Rajeev Joshi / Alex Moncada / Hui Ying Wen / Jesse Wright / Dave Hecox / Proc / Chris Delp / Gerard Holzmann / Hyejung Yun / Alex Groce Klaus Havelund Margaret / /

Position

tests and aid test engineer / test engineer / test engineer in the FIT team / first author / engineer / team member / same engineer / Tracing General / /

Product

L OG S COPE / Spirit / health monitoring / behaviors ure / modules / /

ProgrammingLanguage

OBJ / Python / SQL / HOC / L / /

ProvinceOrState

Montana / /

PublishedMedium

IEEE Transactions on Software Engineering / /

RadioStation

FM 2008 / /

Technology

success protocol / API / VxWorks / operating system / operating systems / monitoring algorithm / data mining / simulation / GUI / /

URL

http /

SocialTag