Author:
Markosian Lawrence Z.,Feather Martin S.,Brinza David E.
Reference39 articles.
1. Artho , C. Havelund , K. Biere , A. 2004 Using block-local atomicity to detect stale-value concurrency errors 150 64
2. Avizienis , A. Chen , L. 1977 On the implementation of N-version programming for software fault tolerance during execution 149 55
3. Bickford , R.L. Bickmore , T.W. Meyer , C.M. et al 1999 Real-time sensor data validation for Space Shuttle Main Engine telemetry monitoring
4. Blackburn , M. Buseer , R. Nauman , A. et al 2002 Mars Polar Lander fault identification using model-based testing 163 169
5. Experimental evaluation of verification and validation tools on Martian rover software;Brat;Formal Methods in System Design,2003