A calculus of refinements for program derivations
Acta Informatica
Function point analysis
Design complexity measurement and testing
Communications of the ACM
Introduction to the theory of programming languages
Introduction to the theory of programming languages
Analyzing Partition Testing Strategies
IEEE Transactions on Software Engineering
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Eiffel: the language
Programming from specifications (2nd ed.)
Programming from specifications (2nd ed.)
Object-oriented metrics: measures of complexity
Object-oriented metrics: measures of complexity
Handbook of software reliability engineering
Handbook of software reliability engineering
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Software fault injection: inoculating programs against errors
Software fault injection: inoculating programs against errors
Model checking
Testing object-oriented systems: models, patterns, and tools
Testing object-oriented systems: models, patterns, and tools
Letters to the editor: go to statement considered harmful
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
Dynamically Discovering Likely Program Invariants to Support Program Evolution
IEEE Transactions on Software Engineering - Special issue on 1999 international conference on software engineering
Automatically validating temporal safety properties of interfaces
SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software
Design by contract, by example
Design by contract, by example
Problem frames: analyzing and structuring software development problems
Problem frames: analyzing and structuring software development problems
Software Engineering Economics
Software Engineering Economics
A Discipline of Programming
Software Reliability Engineered Testing
Software Reliability Engineered Testing
Software Cost Estimation with Cocomo II with Cdrom
Software Cost Estimation with Cocomo II with Cdrom
Korat: automated testing based on Java predicates
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
The Cathedral and the Bazaar
Computer
The Role of Object-Oriented Metrics
Computer
When Good Enough Software Is Best
IEEE Software
The grand challenge of Trusted Components
Proceedings of the 25th International Conference on Software Engineering
A static analyzer for large safety-critical software
PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
The Object Constraint Language: Getting Your Models Ready for MDA
The Object Constraint Language: Getting Your Models Ready for MDA
Goal-Oriented Requirements Engineering: A Guided Tour
RE '01 Proceedings of the Fifth IEEE International Symposium on Requirements Engineering
Extreme Programming Refactored: The Case Against XP
Extreme Programming Refactored: The Case Against XP
The Art of Software Testing
Extreme Programming Explained: Embrace Change (2nd Edition)
Extreme Programming Explained: Embrace Change (2nd Edition)
Object distance and its application to adaptive random testing of object-oriented programs
Proceedings of the 1st international workshop on Random testing
Chapter I: Notes on structured programming
Structured programming
IEEE Transactions on Software Engineering
ASIAN'04 Proceedings of the 9th Asian Computing Science conference on Advances in Computer Science: dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday
Key success factors in personnel motivating projects
AIC'07 Proceedings of the 7th Conference on 7th WSEAS International Conference on Applied Informatics and Communications - Volume 7
Towards dependable software: researching work-flow gaps in the distributed organisations
AIC'07 Proceedings of the 7th Conference on 7th WSEAS International Conference on Applied Informatics and Communications - Volume 7
Evaluation and control in project management
WSEAS Transactions on Information Science and Applications
Definition and correct refinement of operation specifications
Dependable Systems
| Hi-index | 0.00 |
Achieving software reliability takes many complementary tech-niques, directed at the process or at the products. This survey summarizes some of the most fruitful ideas.