SICSOFT (Paper Session)
Abstract
Index Terms
- SICSOFT (Paper Session)
Recommendations
SICSOFT (Paper Session)
ACM '76: Proceedings of the 1976 annual conferenceDevelopment of methodologies and techniques for systematic testing of computer software is an active area of investigation. In this session, four speakers will discuss four approaches to systematic program testing. Leon Osterweil will discuss the role ...
Testing Dafny (experience paper)
ISSTA 2022: Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and AnalysisVerification toolchains are widely used to prove the correctness of critical software systems. To build confidence in their results, it is important to develop testing frameworks that help detect bugs in these toolchains. Inspired by the success of ...
Session details: Paper Session: Nifty Session
SIGCSE '18: Proceedings of the 49th ACM Technical Symposium on Computer Science Education
Comments
Information & Contributors
Information
Published In
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 76Total Downloads
- Downloads (Last 12 months)8
- Downloads (Last 6 weeks)4
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in