Pub Date : 2010-07-01DOI: 10.1007/978-3-642-13977-2_3
Koen Claessen, Nicholas Smallbone, John Hughes
{"title":"QuickSpec: Guessing Formal Specifications Using Testing","authors":"Koen Claessen, Nicholas Smallbone, John Hughes","doi":"10.1007/978-3-642-13977-2_3","DOIUrl":"https://doi.org/10.1007/978-3-642-13977-2_3","url":null,"abstract":"","PeriodicalId":431535,"journal":{"name":"TAP@TOOLS","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127507531","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2010-07-01DOI: 10.1007/978-3-642-13977-2_7
C. Gladisch, S. Tyszberowicz, Bernhard Beckert, A. Yehudai
{"title":"Generating Regression Unit Tests Using a Combination of Verification and Capture & Replay","authors":"C. Gladisch, S. Tyszberowicz, Bernhard Beckert, A. Yehudai","doi":"10.1007/978-3-642-13977-2_7","DOIUrl":"https://doi.org/10.1007/978-3-642-13977-2_7","url":null,"abstract":"","PeriodicalId":431535,"journal":{"name":"TAP@TOOLS","volume":"277 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123230993","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2010-07-01DOI: 10.1007/978-3-642-13977-2_6
L. D. Bousquet, Michel Lévy
{"title":"Proof Process Evaluation with Mutation Analysis","authors":"L. D. Bousquet, Michel Lévy","doi":"10.1007/978-3-642-13977-2_6","DOIUrl":"https://doi.org/10.1007/978-3-642-13977-2_6","url":null,"abstract":"","PeriodicalId":431535,"journal":{"name":"TAP@TOOLS","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129406584","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2010-07-01DOI: 10.1007/978-3-642-13977-2_9
O. Chebaro, N. Kosmatov, Alain Giorgetti, J. Julliand
{"title":"Combining Static Analysis and Test Generation for C Program Debugging","authors":"O. Chebaro, N. Kosmatov, Alain Giorgetti, J. Julliand","doi":"10.1007/978-3-642-13977-2_9","DOIUrl":"https://doi.org/10.1007/978-3-642-13977-2_9","url":null,"abstract":"","PeriodicalId":431535,"journal":{"name":"TAP@TOOLS","volume":"2006 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117043355","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2010-07-01DOI: 10.1007/978-3-642-13977-2_1
Michael D. Ernst
{"title":"How Tests and Proofs Impede One Another: The Need for Always-On Static and Dynamic Feedback","authors":"Michael D. Ernst","doi":"10.1007/978-3-642-13977-2_1","DOIUrl":"https://doi.org/10.1007/978-3-642-13977-2_1","url":null,"abstract":"","PeriodicalId":431535,"journal":{"name":"TAP@TOOLS","volume":"90 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134274236","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2010-07-01DOI: 10.1007/978-3-642-13977-2_8
Suresh Thummalapenta, J. D. Halleux, N. Tillmann, Scott Wadsworth
{"title":"DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic Traces","authors":"Suresh Thummalapenta, J. D. Halleux, N. Tillmann, Scott Wadsworth","doi":"10.1007/978-3-642-13977-2_8","DOIUrl":"https://doi.org/10.1007/978-3-642-13977-2_8","url":null,"abstract":"","PeriodicalId":431535,"journal":{"name":"TAP@TOOLS","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134453400","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2010-07-01DOI: 10.1007/978-3-642-13977-2_5
Martin Gogolla, Lars Hamann, Mirco Kuhlmann
{"title":"Proving and Visualizing OCL Invariant Independence by Automatically Generated Test Cases","authors":"Martin Gogolla, Lars Hamann, Mirco Kuhlmann","doi":"10.1007/978-3-642-13977-2_5","DOIUrl":"https://doi.org/10.1007/978-3-642-13977-2_5","url":null,"abstract":"","PeriodicalId":431535,"journal":{"name":"TAP@TOOLS","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121389135","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2010-07-01DOI: 10.1007/978-3-642-13977-2_10
E. Goldberg, P. Manolios
{"title":"Generating High-Quality Tests for Boolean Circuits by Treating Tests as Proof Encoding","authors":"E. Goldberg, P. Manolios","doi":"10.1007/978-3-642-13977-2_10","DOIUrl":"https://doi.org/10.1007/978-3-642-13977-2_10","url":null,"abstract":"","PeriodicalId":431535,"journal":{"name":"TAP@TOOLS","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121613947","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2009-06-29DOI: 10.1007/978-3-642-02949-3_4
Andrea Calvagna, A. Gargantini
{"title":"Combining Satisfiability Solving and Heuristics to Constrained Combinatorial Interaction Testing","authors":"Andrea Calvagna, A. Gargantini","doi":"10.1007/978-3-642-02949-3_4","DOIUrl":"https://doi.org/10.1007/978-3-642-02949-3_4","url":null,"abstract":"","PeriodicalId":431535,"journal":{"name":"TAP@TOOLS","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-06-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125296231","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：