{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:09:33Z","timestamp":1750306173083,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,9,19]],"date-time":"2016-09-19T00:00:00Z","timestamp":1474243200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,9,19]]},"DOI":"10.1145\/2993288.2993300","type":"proceedings-article","created":{"date-parts":[[2016,11,2]],"date-time":"2016-11-02T12:22:17Z","timestamp":1478089337000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["ValiErlang"],"prefix":"10.1145","author":[{"given":"Alexandre P.","family":"Oliveira","sequence":"first","affiliation":[{"name":"ICMC\/USP, Universidade de S\u00e3o Paulo, S\u00e3o Carlos, SP, Brasil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paulo S. L.","family":"Souza","sequence":"additional","affiliation":[{"name":"ICMC\/USP, Universidade de S\u00e3o Paulo, S\u00e3o Carlos, SP, Brasil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simone R. S.","family":"Souza","sequence":"additional","affiliation":[{"name":"ICMC\/USP, Universidade de S\u00e3o Paulo, S\u00e3o Carlos, SP, Brasil"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2016,9,19]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"1","volume-title":"Rio de Janeiro: Elsier","author":"Delamaro M. E.","year":"2007","unstructured":"Delamaro , M. E. ; Maldonado , J. C. ; Jino , M. Introdu\u00e7\u00e3o ao teste de software, cap. 1 . Rio de Janeiro: Elsier , p. 1 -- 7 , 2007 . Delamaro, M. E.; Maldonado, J. C.; Jino, M. Introdu\u00e7\u00e3o ao teste de software, cap. 1. Rio de Janeiro: Elsier, p. 1--7, 2007."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/983238"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/1355340"},{"key":"e_1_3_2_1_4_1","volume-title":"Engenharia de Software: Uma Abordagem Profissional. 7. Ed","author":"Pressman R. S.","year":"2011","unstructured":"Pressman , R. S. Engenharia de Software: Uma Abordagem Profissional. 7. Ed . Porto Alegre : AMGH , 2011 . Pressman, R. S. Engenharia de Software: Uma Abordagem Profissional. 7. Ed. Porto Alegre: AMGH, 2011."},{"key":"e_1_3_2_1_5_1","volume-title":"A practitioner's guide to software test design","author":"Copeland L.","year":"2004","unstructured":"Copeland , L. A practitioner's guide to software test design . Artech House Publishers , 2004 . Copeland, L. A practitioner's guide to software test design. Artech House Publishers, 2004."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/983238"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/1610376"},{"key":"e_1_3_2_1_8_1","volume-title":"Teste Estrutural Aplicado \u00e0 Linguagem Funcional Erlang In: Proceedings of the 9th Brazilian Workshop on Systematic and Automated Software Testing (SAST)","author":"Oliveira A. P.","year":"2015","unstructured":"Oliveira , A. P. ; Souza , P. S. L. ; Souza , S. R. S. ; Estrella , J. C. ; Bruschi , S. M. Teste Estrutural Aplicado \u00e0 Linguagem Funcional Erlang In: Proceedings of the 9th Brazilian Workshop on Systematic and Automated Software Testing (SAST) , 2015 , Belo Horizonte\/MG - Brazil, Brazilian Computer Society . Oliveira, A. P.; Souza, P. S. L.; Souza, S. R. S.; Estrella, J. C.; Bruschi, S. M. Teste Estrutural Aplicado \u00e0 Linguagem Funcional Erlang In: Proceedings of the 9th Brazilian Workshop on Systematic and Automated Software Testing (SAST), 2015, Belo Horizonte\/MG - Brazil, Brazilian Computer Society."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199462"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/193173.195402"},{"key":"e_1_3_2_1_11_1","volume-title":"IJCSIS","volume":"10","author":"Javed","year":"2012","unstructured":"Javed , M; Ahmad, B.; Abbas , Z. ; Nawaz , A. ; Abid , M. A. ; Ullah , I. Decreasing defect rate of test cases by designing and analysis for recursive modules of a program structure: Improvement in test cases . IJCSIS , Vol. 10 No. 8. August , 2012 . Javed, M; Ahmad, B.; Abbas, Z.; Nawaz, A.; Abid, M. A.; Ullah, I. Decreasing defect rate of test cases by designing and analysis for recursive modules of a program structure: Improvement in test cases. IJCSIS, Vol. 10 No. 8. August, 2012."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2013.05.178"},{"key":"e_1_3_2_1_13_1","volume-title":"Programming Erlang: Software for a Concurrent World. Pragmatic Bookshelf","author":"Armstrong","year":"2007","unstructured":"Armstrong , Joe . Programming Erlang: Software for a Concurrent World. Pragmatic Bookshelf . 2007 . Armstrong, Joe. Programming Erlang: Software for a Concurrent World. Pragmatic Bookshelf. 2007."},{"key":"e_1_3_2_1_14_1","volume-title":"http:\/\/erlang.org\/doc\/man\/epp.html","author":"Erlang Code Preprocessor","year":"2016","unstructured":"EPP. Erlang Code Preprocessor . http:\/\/erlang.org\/doc\/man\/epp.html . 2016 . EPP. Erlang Code Preprocessor. http:\/\/erlang.org\/doc\/man\/epp.html. 2016."},{"key":"e_1_3_2_1_15_1","unstructured":"Graphviz. Graph Visualization Software. http:\/\/www.graphviz.org\/. 2016.  Graphviz. Graph Visualization Software. http:\/\/www.graphviz.org\/. 2016."},{"key":"e_1_3_2_1_16_1","volume-title":"13th Int. Conf. on Software Engineering Research and Practice (SERP). Las Vegas","author":"Oliveira A. P.","year":"2015","unstructured":"Oliveira , A. P. , Souza , P. S. L. , Souza , S. R. S. , Estrella , J. C. , Bruschi , S. M. A Systematic Mapping about Testing of Functional Programs . In: 13th Int. Conf. on Software Engineering Research and Practice (SERP). Las Vegas , July 27-30, 2015 . Oliveira, A. P., Souza, P. S. L., Souza, S. R. S., Estrella, J. C., Bruschi, S. M. A Systematic Mapping about Testing of Functional Programs. In: 13th Int. Conf. on Software Engineering Research and Practice (SERP). Las Vegas, July 27-30, 2015."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411273.1411277"},{"key":"e_1_3_2_1_18_1","unstructured":"Dialyzer. Dialyzer User's Guide. http:\/\/erlang.org\/doc\/apps\/dialyzer\/users_guide.html 2016.  Dialyzer. Dialyzer User's Guide. http:\/\/erlang.org\/doc\/apps\/dialyzer\/users_guide.html 2016."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159789.1159791"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1480945.1480971"},{"key":"e_1_3_2_1_21_1","volume-title":"Workshop on Advanced Software Development Tools and Techniques, WASDETT 2008","author":"Horv\u00e1th Z.","year":"2008","unstructured":"Horv\u00e1th , Z. ; L\u00f6vei , L. ; Kozsik , T. ; Kitlei , R. ; V\u00edg , A. ; Nagy , T. ; T\u00f3th , M. ; and Kir\u00e1ly , R . Building a refactoring tool for Erlang . In Workshop on Advanced Software Development Tools and Techniques, WASDETT 2008 , Paphos, Cyprus , Jul 2008 . Horv\u00e1th, Z.; L\u00f6vei, L.; Kozsik, T.; Kitlei, R.; V\u00edg, A.; Nagy, T.; T\u00f3th, M.; and Kir\u00e1ly, R. Building a refactoring tool for Erlang. In Workshop on Advanced Software Development Tools and Techniques, WASDETT 2008, Paphos, Cyprus, Jul 2008."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159789.1159792"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351266"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034654.2034664"},{"key":"e_1_3_2_1_25_1","unstructured":"Cover. Cover Tools User's Guide. http:\/\/erlang.org\/doc\/apps\/tools\/users_guide.html. 2016.  Cover. Cover Tools User's Guide. http:\/\/erlang.org\/doc\/apps\/tools\/users_guide.html. 2016."}],"event":{"name":"SAST '16: 1st Brazilian Symposium on Systematic and Automated Software Testing","sponsor":["SBC Sociedade Brasileira de Computa\u00e7\u00e3o"],"location":"Maringa Parana Brazil","acronym":"SAST '16"},"container-title":["Proceedings of the 1st Brazilian Symposium on Systematic and Automated Software Testing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2993288.2993300","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2993288.2993300","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:40:13Z","timestamp":1750218013000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2993288.2993300"}},"subtitle":["A Structural Testing Tool for Erlang Programs"],"short-title":[],"issued":{"date-parts":[[2016,9,19]]},"references-count":25,"alternative-id":["10.1145\/2993288.2993300","10.1145\/2993288"],"URL":"https:\/\/doi.org\/10.1145\/2993288.2993300","relation":{},"subject":[],"published":{"date-parts":[[2016,9,19]]},"assertion":[{"value":"2016-09-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}