FETE: a Fortran execution time estimator
FETE: a Fortran execution time estimator
Verification of Concurrent Control Flow in Distributed Computer Systems
IEEE Transactions on Software Engineering
Proceedings of the 1989 ACM/IEEE conference on Supercomputing
Towards a method of programming with assertions
ICSE '92 Proceedings of the 14th international conference on Software engineering
A Practical Approach to Programming With Assertions
IEEE Transactions on Software Engineering
Assertion-oriented automated test data generation
Proceedings of the 18th international conference on Software engineering
Fault-Tolerant Software for Real-Time Applications
ACM Computing Surveys (CSUR)
Concurrent Error Detection Using Watchdog Processors-A Survey
IEEE Transactions on Computers
Software reliability and design: A survey
DAC '76 Proceedings of the 13th Design Automation Conference
Allegations as aids to static program testing
ACM '76 Proceedings of the 1976 annual conference
Using tools for verification, documentation and testing
Proceedings of the SIGNUM Conference on the Programming Environment for Development of Numerical Software
Proceedings of the SIGNUM Conference on the Programming Environment for Development of Numerical Software
Program testing techniques using simulated execution
ANSS '76 Proceedings of the 4th symposium on Simulation of computer systems
Decision table programming and reliability
ICSE '76 Proceedings of the 2nd international conference on Software engineering
A software reliability assessment based on a structural and behavioral analysis of programs
ICSE '76 Proceedings of the 2nd international conference on Software engineering
The role of debugging within software engineering environments
SIGSOFT '83 Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging
Managing the development of reliable software
Proceedings of the international conference on Reliable software
A software quality assurance experiment
Proceedings of the software quality assurance workshop on Functional and performance issues
Assertions in programming languages
ACM SIGPLAN Notices
ACM SIGSOFT Software Engineering Notes
A benefit analysis of some software reliability methodologies
ACM SIGSOFT Software Engineering Notes
A historical perspective on runtime assertion checking in software development
ACM SIGSOFT Software Engineering Notes
Protection Against External Errors in a Dedicated System
IEEE Transactions on Computers
Formal constraints on memory management for composite overloaded operations
Scientific Programming
Assertion techniques for dynamic monitoring of linear list data structures
Journal of Systems and Software
| Hi-index | 0.01 |
Automated tools and structured programming techniques are in use on a variety of scientific and business application programming projects within the McDonnell Douglas Corporation. An examination of the resulting programs reveals certain development and maintenance characteristics that suggest new and very interesting applications for automated tools. An extension of PET (a currently operational McDonnell Douglas validation tool for FORTRAN) to include a user embedded assertion capability offers a step in the direction of automatically verifying the dynamic execution of programs. A user-oriented local and global assertion capability is introduced and its implementation is discussed. Application of these tools within a well-conceived structured programming environment offers a positive step forward in the development of more reliable software systems.