Applying Jlint to Space Exploration Software.

Cyrille Artho Klaus Havelund

Published in: VMCAI (2004)

Keyphrases

space exploration
software development
obstacle avoidance
source code
software systems
software tools
computer systems
software projects
test cases
real time
software architecture
software design
information systems
data sets
mobile robot
multi modal
input output
decision making
software maintenance
software testing