On How Characteristics that Hinder Test Data Generation Using Symbolic Execution Combine: An Analysis of the SF100 Benchmark
| dc.contributor.author | Eler, Marcelo Medeiros | |
| dc.contributor.author | Endo, Andre Takeshi | |
| dc.contributor.author | Durelli, Vinicius H. S. | |
| dc.contributor.author | Eler, Danilo Medeiros [UNESP] | |
| dc.contributor.author | IEEE | |
| dc.contributor.institution | Universidade de São Paulo (USP) | |
| dc.contributor.institution | UTFPR | |
| dc.contributor.institution | Universidade Estadual Paulista (Unesp) | |
| dc.date.accessioned | 2018-11-28T12:27:36Z | |
| dc.date.available | 2018-11-28T12:27:36Z | |
| dc.date.issued | 2016-01-01 | |
| dc.description.abstract | Symbolic execution has made great strides in the last two decades. However, some characteristics of programs still pose significant challenges to test data generation techniques that use symbolic execution and constraint solving. These challenges present themselves in the form of path explosion, constraint complexity, dependency, and exception-dependent paths. The few studies conducted to date to examine the distribution of such characteristics only investigate them separately. We posit that understanding how the combination of these characteristics appear in real world software may provide a more in-depth knowledge of the limitations of current tools and test data generation techniques. Thus, we analyzed a benchmark comprising 100 open source Java programs to get some insight into the frequency of methods that have combinations of the studied characteristics and the distribution of methods whose path constraints share similar structures. | en |
| dc.description.affiliation | EACH USP, Sao Paulo, SP, Brazil | |
| dc.description.affiliation | UTFPR, Cornelio Procopio, PR, Brazil | |
| dc.description.affiliation | Univ Sao Paulo, Sao Carlos, SP, Brazil | |
| dc.description.affiliation | FCT UNESP, Presidente Prudente, SP, Brazil | |
| dc.description.affiliationUnesp | FCT UNESP, Presidente Prudente, SP, Brazil | |
| dc.description.sponsorship | Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) | |
| dc.description.sponsorship | Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) | |
| dc.description.sponsorshipId | FAPESP: 2014/08713-9 | |
| dc.description.sponsorshipId | FAPESP: 2013/03452-0 | |
| dc.description.sponsorshipId | CNPq: 445958/2014-6 | |
| dc.format.extent | 6 | |
| dc.identifier.citation | Proceedings Of The 2016 35th International Conference Of The Chilean Computer Science Society (sccc). New York: Ieee, 6 p., 2016. | |
| dc.identifier.issn | 1522-4902 | |
| dc.identifier.uri | http://hdl.handle.net/11449/165611 | |
| dc.identifier.wos | WOS:000401662600018 | |
| dc.language.iso | eng | |
| dc.publisher | Ieee | |
| dc.relation.ispartof | Proceedings Of The 2016 35th International Conference Of The Chilean Computer Science Society (sccc) | |
| dc.rights.accessRights | Acesso aberto | |
| dc.source | Web of Science | |
| dc.subject | symbolic execution | |
| dc.subject | test data generation | |
| dc.subject | visualization | |
| dc.subject | metric | |
| dc.subject | analysis | |
| dc.title | On How Characteristics that Hinder Test Data Generation Using Symbolic Execution Combine: An Analysis of the SF100 Benchmark | en |
| dc.type | Trabalho apresentado em evento | |
| dcterms.license | http://www.ieee.org/publications_standards/publications/rights/rights_policies.html | |
| dcterms.rightsHolder | Ieee |