Concepedia

Experimental Evaluation of Verification and Validation Tools on Martian Rover Software

Guillaume Brat, Doron Drusinsky, Dimitra Giannakopoulou, Allen Goldberg, Klaus Havelund, Mike Lowry, Corina S. Păsăreanu, Arnaud Venet, Willem Visser, Rich Washington

Formal Methods in System Design · 2004 · 85 citations · 13 references

Concepts

EngineeringExperimental EvaluationCalibrationValidation ToolsSoftware ValidationField RoboticsAutomationVerificationSoftware TestingSystems EngineeringMartian ExplorationMartian Rover SoftwareCode ValidationComputer ScienceVerification And ValidationModel VerificationRoboticsRobotics Simulator

References

13

Stefan Savage, Michael T. Burrows, Greg Nelson et al. · ACM Transactions on Computer Systems · 1997 · 1.6K citations · Full text

Engineering, Software Engineering, Concurrent System +17

Model Checking Programs

Willem Visser, Klaus Havelund, Guillaume Brat et al. · Automated Software Engineering · 2003 · 1.3K citations

Model checking programs

Willem Visser, Klaus Havelund, Guillaume Brat et al. · 2000 · 337 citations

Program Checking, Engineering, Verification +17

Evaluating deadlock detection methods for concurrent software

James C. Corbett · IEEE Transactions on Software Engineering · 1996 · 230 citations

Engineering, Verification, Symbolic Model Checking +17

Monitoring Java Programs with Java PathExplorer

Klaus Havelund, Grigore Roşu · NASA Technical Reports Server (NASA) · 2001 · 108 citations

Software Maintenance, Program Checking, Engineering +19