Software safety: why, what, and how
ACM Computing Surveys (CSUR)
A rational design process: How and why to fake it
IEEE Transactions on Software Engineering
Certifying the reliability of software
IEEE Transactions on Software Engineering
An experimental evaluation of the assumption of independence in multiversion programming
IEEE Transactions on Software Engineering
A formal approach to software error removal
Journal of Systems and Software
Active design reviews: principles and practices
ICSE '85 Proceedings of the 8th international conference on Software engineering
The new math of computer programming
Communications of the ACM
Princples of Computer Programming
Princples of Computer Programming
Structured Programming; Theory and Practice the Systems Programming Series
Structured Programming; Theory and Practice the Systems Programming Series
Reliability, sampling, and algorithmic randomness
TAV4 Proceedings of the symposium on Testing, analysis, and verification
Structured analysis and object-oriented design are compatible
ACM SIGAda Ada Letters
On the inadequacies of data state space sampling as a measure of the trustworthiness of programs
ACM SIGSOFT Software Engineering Notes
Exception handling in large Ada systems
WADAS '91 Proceedings of the eighth annual Washington Ada symposium & summer SIGAda meeting on Ada: software: foundation for competitveness
Validation of ultrahigh dependability for software-based systems
Communications of the ACM
BATCES solution #1: an object-oriented design from functional requirements analysis
ACM SIGAda Ada Letters
Communications of the ACM
How good is good enough?: an ethical analysis of software construction and use
Communications of the ACM
A Markov Chain Model for Statistical Software Testing
IEEE Transactions on Software Engineering
A process-oriented methodology for assessing and improving software trustworthiness
CCS '94 Proceedings of the 2nd ACM Conference on Computer and communications security
Using testability measures for dependability assessment
Proceedings of the 17th international conference on Software engineering
Enumerating the risks of reengineered processes
CSC '96 Proceedings of the 1996 ACM 24th annual conference on Computer science
On the Use of Testability Measures for Dependability Assessment
IEEE Transactions on Software Engineering
Documentation for safety critical software
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Formal specification techniques (extended abstract)
ICSE '94 Proceedings of the 16th international conference on Software engineering
Investigation of implicitly raised Ada predefined exceptions
WADAS '93 Proceedings of the tenth annual Washington Ada symposium on Ada: Ada's role in software engineering
A Highly Dependable Computing Architecture for Safety-CriticalControl Applications
Real-Time Systems - Special issue on safety-critical systems
An Application of Formal Analysis to Software in a Fault-Tolerant Environment
IEEE Transactions on Computers
A systematic approach to creating and maintaining software documentation
SAC '96 Proceedings of the 1996 ACM symposium on Applied Computing
Software engineering for safety: a roadmap
Proceedings of the Conference on The Future of Software Engineering
A paradigmatic analysis of conventional approaches for developing and managing secure IS
Sec '01 Proceedings of the 16th international conference on Information security: Trusted information: the new decade challenge
Ravenscar-Java: a high integrity profile for real-time Java
JGI '02 Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande
FAST: a framework for automating statistics-based testing
Software Quality Control
Ethics and the Safety of Computer Systems
Computer - Special issue on cryptography
Are We Testing for True Reliability?
IEEE Software
Planning and Certifying Software System Reliability
IEEE Software
The Effect of Imperfect Error Detection on Reliability Assessment via Life Testing
IEEE Transactions on Software Engineering
A Binary Markov Process Model for Random Testing
IEEE Transactions on Software Engineering
Exception handling in agent-oriented systems
Advances in exception handling techniques
Systems testing and statistical test data coverage
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Exception Handling in Agent-Oriented Systems
Advances in Exception Handling Techniques (the book grow out of a ECOOP 2000 workshop)
Assessing the risks of IT-enabled jobs
Managing the human side of information technology
Reuse in the application layer
CASCON '96 Proceedings of the 1996 conference of the Centre for Advanced Studies on Collaborative research
Software Reliability Corroboration
SEW '02 Proceedings of the 27th Annual NASA Goddard Software Engineering Workshop (SEW-27'02)
Assessment of the Java programming language for use in high integrity systems
ACM SIGPLAN Notices
Stopping Criteria Comparison: Towards High Quality Behavioral Verification
ISQED '01 Proceedings of the 2nd International Symposium on Quality Electronic Design
Achieving the Quality of Verification for Behavioral Models with Minimum Effort
ISQED '00 Proceedings of the 1st International Symposium on Quality of Electronic Design
Assessing Software Reliability Performance Under Highly Critical But Infrequent Event Occurrences
ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
Evaluation of Regressive Methods for Automated Generation of Test Trajectories
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
Advantages and limits of formal approaches for ultra-high dependability
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
The Ranger Robotic Satellite Servicer and Its Autonomous Software-Based Safety System
IEEE Intelligent Systems
Usage-based statistical testing of web applications
ICWE '06 Proceedings of the 6th international conference on Web engineering
Issues in the application of software safety standards
SCS '05 Proceedings of the 10th Australian workshop on Safety critical systems and software - Volume 55
On proof-test intervals for safety functions implemented in software
SCS '06 Proceedings of the eleventh Australian workshop on Safety critical systems and software - Volume 69
Towards the development of a rigorous model-driven domain-specific software engineering environment
ACST'07 Proceedings of the third conference on IASTED International Conference: Advances in Computer Science and Technology
A mobile agents-based approach to test the reliability of web services
International Journal of Web and Grid Services
The ethics of designing artificial agents
Ethics and Information Technology
Search-based multi-paths test data generation for structure-oriented testing
Proceedings of the first ACM/SIGEVO Summit on Genetic and Evolutionary Computation
ICSP '09 Proceedings of the International Conference on Software Process: Trustworthy Software Development Processes
Dependable computing: concepts, limits, challenges
FTCS'95 Proceedings of the Twenty-Fifth international conference on Fault-tolerant computing
Synthesizing a specification-based monitor for safety requirements
Iranian Journal of Science and Technology, Transaction B: Engineering
Software reliability assessment based on the evaluation of operational experience
MMB&DFT'10 Proceedings of the 15th international GI/ITG conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance
On the soundness and safety of expert systems
Artificial Intelligence in Medicine
Software reliability testing covering subsystem interactions
MMB'12/DFT'12 Proceedings of the 16th international GI/ITG conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance
Achieving highly reliable embedded software: an empirical evaluation of different approaches
SAFECOMP'07 Proceedings of the 26th international conference on Computer Safety, Reliability, and Security
| Hi-index | 48.27 |
Methods and approaches for testing the reliability and trustworthiness of software remain among the most controversial issues facing this age of high technology. The authors present some of the crucial questions faced by software programmers and eventual users.