The infeasibility of experimental quantification of life-critical software reliability
SIGSOFT '91 Proceedings of the conference on Software for citical systems
High-pressure steam engines and computer software
ICSE '92 Proceedings of the 14th international conference on Software engineering
Modeling software design diversity: a review
ACM Computing Surveys (CSUR)
Splitting the Difference: The Historical Necessity of Synthesis in Software Engineering
IEEE Annals of the History of Computing
The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software
IEEE Transactions on Software Engineering
Comparison-based file server verification
ATEC '05 Proceedings of the annual conference on USENIX Annual Technical Conference
Virtually eliminating router bugs
Proceedings of the 5th international conference on Emerging networking experiments and technologies
Automated harvesting of test oracles for reliability testing
COMPSAC-W'05 Proceedings of the 29th annual international conference on Computer software and applications conference
The SSP: an example of high-assurance systems engineering
HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
Proceedings of the 17th Conference on Pattern Languages of Programs
| Hi-index | 0.00 |