Completely validated software: error-based validation completeness (panel session)
Page 357
Abstract
No abstract available.
References
[1]
Morell, L.J. "Theoretical Insights into Fault-Based Testing", Proc. 2nd Workshop on Software Testing, Verif. and Anal., IEEE. 1988.
[2]
Richardson, D.J., and Thompson, MC., "The RELAY model of Error Detection and Its Application", Proc. 2nd Wkshp. on Software Testing, Verif. and Anal., IEEE, 1988.
[3]
Zeil, S.J. "The EQUATE Testing Strategy", Proc. Wkshp. on Software Testing, IEEE Comp. Sot. Press, 1988.
[4]
Howden, W.E., "Comments Analysis and Programming Errors", UCSD. CSE TR CS88142. 1988.
[5]
dlarke, -L.A., and Zeil. S.J. "Team: A Support Environment for Testing Evaluation, and Analysis", Proc. Sym. on A Practical Software Dev. Env.", 1988.
Index Terms
- Completely validated software: error-based validation completeness (panel session)
Recommendations
Complete validated software: validation through testing (panel session)
ICSE '89: Proceedings of the 11th international conference on Software engineeringCompletely validated software: mathematics-based software engineering for completely validated software (panel session)
ICSE '89: Proceedings of the 11th international conference on Software engineeringSoftware engineering research agendas panel (SERA) (panel session): “what can't we do, but need to learn how to do?”
ICSE '01: Proceedings of the 23rd International Conference on Software EngineeringThe software challenges of the new millennium include more mature users expecting functioning software, more critical technical and business applications requiring dependable software, globalization requiring distributed development teams, and paradigm ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
Copyright © 1989 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 15 May 1989
Check for updates
Qualifiers
- Article
Conference
ICSE89
Sponsor:
Acceptance Rates
Overall Acceptance Rate 276 of 1,856 submissions, 15%
Upcoming Conference
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 183Total Downloads
- Downloads (Last 12 months)15
- Downloads (Last 6 weeks)4
Reflects downloads up to 17 Nov 2024
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in