L. Osterweil, R. H. Hoffman, L. Clarke, H. Samet, R. Fairley
{"title":"SICSOFT(文件会议)","authors":"L. Osterweil, R. H. Hoffman, L. Clarke, H. Samet, R. Fairley","doi":"10.1145/800191.805644","DOIUrl":null,"url":null,"abstract":"Development 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 of allegations in static testing, Bob Hoffman will describe an interactive program testing system, and Lori Clarke will discuss symbolic execution techniques. Hanan Samet will describe an approach to validating the translations performed by a compiler. These four papers represent current trends in program testing, and illustrate the diversity of testing strategies being investigated.","PeriodicalId":379505,"journal":{"name":"ACM '76","volume":"52 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1976-10-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"SICSOFT (Paper Session)\",\"authors\":\"L. Osterweil, R. H. Hoffman, L. Clarke, H. Samet, R. Fairley\",\"doi\":\"10.1145/800191.805644\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Development 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 of allegations in static testing, Bob Hoffman will describe an interactive program testing system, and Lori Clarke will discuss symbolic execution techniques. Hanan Samet will describe an approach to validating the translations performed by a compiler. These four papers represent current trends in program testing, and illustrate the diversity of testing strategies being investigated.\",\"PeriodicalId\":379505,\"journal\":{\"name\":\"ACM '76\",\"volume\":\"52 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1976-10-20\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"ACM '76\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/800191.805644\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"ACM '76","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/800191.805644","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Development 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 of allegations in static testing, Bob Hoffman will describe an interactive program testing system, and Lori Clarke will discuss symbolic execution techniques. Hanan Samet will describe an approach to validating the translations performed by a compiler. These four papers represent current trends in program testing, and illustrate the diversity of testing strategies being investigated.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
