A combined testing and verification approach for software reliability

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2021 LNCS, Issue , 2001, Pages 611-628

  Sharygina, Natasha ^a   Peled, Doron ^a  

^a LUCENT TECHNOLOGIES   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); ERRORS; FORMAL METHODS; MACHINE DESIGN; SOFTWARE TESTING; VERIFICATION; SOFTWARE ENGINEERING;

CONSISTENCY CHECKS; DESIGN AND MODELING; EXECUTION PATHS; MATHEMATICAL METHOD; ROBOT CONTROL SYSTEMS; SOFTWARE VERIFICATION; VERIFICATION AND TESTING; VERIFICATION METHODOLOGY;

SOFTWARE RELIABILITY;

EID: 21144453077     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45251-6_35     Document Type: Conference Paper

References (19)

1. Cetin, M., Kapoor, C., Tesar, D.: Performance based robot redundancy resolution with multiple criteria, Proc. of ACME Design Engineering Technical Conference, Georgia (1998)
2. Clarke, E.M., Emerson, E.A.: Design and synthesis of synchronization skeletons using branching time temporal logic. Workshop on Logic of Programs, Yorktown Heights, NY. Lecture Notes in Computer Science, Vol. 131. Springer-Verlag, Berlin Heidelberg New York (1981)
3. Clarke, E.M., Grunberg, O., and Peled, D.: Model Checking, MIT Press (1999)
4. Dijkstra, E.W.: Guarded commands, nondeterminacy and formal derivation of programs, Comm. ACM, Vol. 18(8) 1975 453-457
5. Emerson, E.A., Clarke, E.M.: Characterizing correctness properties of parallel programs using fixpoints, Lecture Notes in Computer Science, Vol. 85, Springer-Verlag, Berlin Heidelberg New York (1980) 169-181
6. Graig, J.J: Introduction to Robotics: Mechanics and Control. Addison-Wesley (1989)
7. Gunter, E.L., Peled, D.: Path Exploration Tool, Proceeding of TACAS 1999, Am-sterdam, The Netherlands, (1999) 405-419
8. Harel, D.: From Play-In Scenarios to Code: An Achievable Dream, Proceedings of FASE 2000, Berlin, Germany, Lecture Notes in Computer Science, Vol. 1783, Springer-Verlag, Berlin Heidelberg New York (2000) 22-34
9. Hoare, C.A.R.: Communicating Sequential Processes, Comm. ACM, Vol. 21(8) (1978) 666-677
10. Hoare, C.A.R.: An axiomatic basis for computer programming, Comm. ACM, Vol. 12 (1969) 576-580
11. Holzmann, G.J.: Design and Validation of Computer Protocols, Prentice Hall Software Series, (1992)
12. Jackson, D.: Aspect: Detecting Bugs with Abstract Dependencies. ACM Transactions on Software Engineering and Methodology, Vol. 4(2) (1995) 279-295
13. Kapoor, C., and Tesar, D.: A Reusable Operational Software Architecture for Advanced Robotics (OSCAR), The University of Texas at Austin, Report to U.S. Dept. of Energy, Grant No. DE-FG01 94EW37966 and NASA Grant No. NAG 9-809 (1998)
14. Kernighan, B., and Ritchie, D.: The C programming Language, Prentice Hall (1988)
15. Myers, G.J.: The Art of Software Testing, Wiley (1979)
16. Murphy, G., Notkin, D., and Sullivan, K: Software Reflexion Models: Bridging the Gap between Source and High-Level Models, In Proceedings of SIGSOFT'95 Third ACM SIGSOFT Symposium on the Foundations of Software Engineering, ACM (1995) 18-28
17. Pnueli, A.: The temporal logic of programs, Proc. of the 18th IEEE Symp. on Foundation of Computer Science (1977) 46-57
18. Quielle, J.P., and Sifakis, J.: Specification and verification of concurrent systems in CESAR, Proceedings of the 5th International Symposium on Programming (1981) 337-350
19. SES inc., ObjectBench Technical Reference, SES Inc. (1998)