Pub Date : 2011-06-30DOI: 10.1007/978-3-642-21768-5_7
O. Chebaro, N. Kosmatov, Alain Giorgetti, J. Julliand
{"title":"The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program Debugging","authors":"O. Chebaro, N. Kosmatov, Alain Giorgetti, J. Julliand","doi":"10.1007/978-3-642-21768-5_7","DOIUrl":"https://doi.org/10.1007/978-3-642-21768-5_7","url":null,"abstract":"","PeriodicalId":431535,"journal":{"name":"TAP@TOOLS","volume":"85 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116076067","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 : 2011-06-30DOI: 10.1007/978-3-642-21768-5_4
Lina Bentakouk, P. Poizat, Fatiha Zaïdi
{"title":"Checking the Behavioral Conformance of Web Services with Symbolic Testing and an SMT Solver","authors":"Lina Bentakouk, P. Poizat, Fatiha Zaïdi","doi":"10.1007/978-3-642-21768-5_4","DOIUrl":"https://doi.org/10.1007/978-3-642-21768-5_4","url":null,"abstract":"","PeriodicalId":431535,"journal":{"name":"TAP@TOOLS","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124237426","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 : 2011-06-30DOI: 10.1007/978-3-642-21768-5_5
Pierre-Christophe Bué, J. Julliand, P. Masson
{"title":"Association of Under-Approximation Techniques for Generating Tests from Models","authors":"Pierre-Christophe Bué, J. Julliand, P. Masson","doi":"10.1007/978-3-642-21768-5_5","DOIUrl":"https://doi.org/10.1007/978-3-642-21768-5_5","url":null,"abstract":"","PeriodicalId":431535,"journal":{"name":"TAP@TOOLS","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132815439","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 : 2011-06-30DOI: 10.1007/978-3-642-21768-5_12
Mathias Soeken, R. Wille, R. Drechsler
{"title":"Encoding OCL Data Types for SAT-Based Verification of UML/OCL Models","authors":"Mathias Soeken, R. Wille, R. Drechsler","doi":"10.1007/978-3-642-21768-5_12","DOIUrl":"https://doi.org/10.1007/978-3-642-21768-5_12","url":null,"abstract":"","PeriodicalId":431535,"journal":{"name":"TAP@TOOLS","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127197624","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 : 2011-06-30DOI: 10.1007/978-3-642-21768-5_14
J. Troya, J. Bautista, F. López-Romero, Antonio Vallecillo
{"title":"Lightweight Testing of Communication Networks with e-Motions","authors":"J. Troya, J. Bautista, F. López-Romero, Antonio Vallecillo","doi":"10.1007/978-3-642-21768-5_14","DOIUrl":"https://doi.org/10.1007/978-3-642-21768-5_14","url":null,"abstract":"","PeriodicalId":431535,"journal":{"name":"TAP@TOOLS","volume":"50 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132130307","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 : 2011-06-30DOI: 10.1007/978-3-642-21768-5_3
Nazareno Aguirre, Valeria S. Bengolea, M. Frias, Juan P. Galeotti
{"title":"Incorporating Coverage Criteria in Bounded Exhaustive Black Box Test Generation of Structural Inputs","authors":"Nazareno Aguirre, Valeria S. Bengolea, M. Frias, Juan P. Galeotti","doi":"10.1007/978-3-642-21768-5_3","DOIUrl":"https://doi.org/10.1007/978-3-642-21768-5_3","url":null,"abstract":"","PeriodicalId":431535,"journal":{"name":"TAP@TOOLS","volume":"69 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126422871","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_2
Nachiappan Nagappan
{"title":"Myths in Software Engineering: From the Other Side","authors":"Nachiappan Nagappan","doi":"10.1007/978-3-642-13977-2_2","DOIUrl":"https://doi.org/10.1007/978-3-642-13977-2_2","url":null,"abstract":"","PeriodicalId":431535,"journal":{"name":"TAP@TOOLS","volume":"31 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":"125880687","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_14
Pierre-Christophe Bué, Frédéric Dadeau, Adrien De Kermadec, F. Bouquet
{"title":"Building a Test-Ready Abstraction of a Behavioral Model Using CLP","authors":"Pierre-Christophe Bué, Frédéric Dadeau, Adrien De Kermadec, F. Bouquet","doi":"10.1007/978-3-642-13977-2_14","DOIUrl":"https://doi.org/10.1007/978-3-642-13977-2_14","url":null,"abstract":"","PeriodicalId":431535,"journal":{"name":"TAP@TOOLS","volume":"10 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":"122364280","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
扫码关注我们
求助内容：
应助结果提醒方式：