{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,3]],"date-time":"2026-04-03T22:36:21Z","timestamp":1775255781083,"version":"3.50.1"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030030438","type":"print"},{"value":"9783030030445","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-030-03044-5_4","type":"book-chapter","created":{"date-parts":[[2018,10,23]],"date-time":"2018-10-23T08:55:14Z","timestamp":1540284914000},"page":"39-55","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Type-Directed Algorithm to Generate Well-Typed Featherweight Java Programs"],"prefix":"10.1007","author":[{"given":"Samuel S.","family":"Feitosa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rodrigo Geraldo","family":"Ribeiro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andre","family":"Rauber Du Bois","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,10,24]]},"reference":[{"issue":"5","key":"4_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.entcs.2009.09.037","volume":"238","author":"Tristan O.R. Allwood","year":"2009","unstructured":"Allwood, T.O.R., Eisenbach, S.: Tickling Java with a feather. Electron. Notes Theor. Comput. Sci. 238(5), 3\u201316 (2009). http:\/\/dx.doi.org\/10.1016\/j.entcs.2009.09.037","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"4_CR2","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1109\/TSE.1982.235428","volume":"4","author":"F Bazzichi","year":"1982","unstructured":"Bazzichi, F., Spadafora, I.: An automatic generator for compiler testing. IEEE Trans. Softw. Eng. 4, 343\u2013353 (1982)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"4_CR3","unstructured":"Blanco, R., Miller, D., Momigliano, A.: Property-based testing via proof reconstruction work-in-progress. In: LFMTP 17: Logical Frameworks and Meta-Languages: Theory and Practice (2017)"},{"issue":"11","key":"4_CR4","first-page":"897","volume":"10","author":"A. Celentano","year":"1980","unstructured":"Celentano, A., Reghizzi, S.C., Vigna, P.D., Ghezzi, C., Granata, G., Savoretti, F.: Compiler testing using a sentence generator. Softw. Pract. Experience 10(11), 897\u2013918 (1980)","journal-title":"Software: Practice and Experience"},{"key":"4_CR5","unstructured":"Claessen, K., Hughes, J.: QuickCheck: a lightweight tool for random testing of Haskell programs. In: Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming, ICFP 2000, pp. 268\u2013279 (2000). http:\/\/doi.acm.org\/10.1145\/351240.351266"},{"key":"4_CR6","unstructured":"Daniel, B., Dig, D., Garcia, K., Marinov, D.: Automated testing of refactoring engines. In: Proceedings of the the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on The Foundations of Software Engineering, ESEC-FSE 2007, pp. 185\u2013194 (2007). http:\/\/doi.acm.org\/10.1145\/1287624.1287651"},{"issue":"8","key":"4_CR7","doi-asserted-by":"publisher","first-page":"117","DOI":"10.5381\/jot.2007.6.8.a3","volume":"6","author":"M Debbabi","year":"2007","unstructured":"Debbabi, M., Fourati, M.: A formal type system for Java. J. Object Technol. 6(8), 117\u2013184 (2007)","journal-title":"J. Object Technol."},{"key":"4_CR8","unstructured":"Drienyovszky, D., Horp\u00e1csi, D., Thompson, S.: Quickchecking refactoring tools. In: Proceedings of the 9th ACM SIGPLAN Workshop on Erlang, Erlang 2010, pp. 75\u201380 (2010). http:\/\/doi.acm.org\/10.1145\/1863509.1863521"},{"key":"4_CR9","unstructured":"Gill, A., Runciman, C.: Haskell program coverage. In: Proceedings of the ACM SIGPLAN Workshop on Haskell Workshop, Haskell 2007, pp. 1\u201312 (2007). http:\/\/doi.acm.org\/10.1145\/1291201.1291203"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Gligoric, M., Gvero, T., Jagannath, V., Khurshid, S., Kuncak, V., Marinov, D.: Test generation through programming in Udita. In: Proceedings of the 32nd ACM\/IEEE International Conference on Software Engineering, vol. 1, pp. 225\u2013234. ACM (2010)","DOI":"10.1145\/1806799.1806835"},{"key":"4_CR11","unstructured":"Gosling, J., Joy, B., Steele, G., Bracha, G., Buckley, A.: The Java language specification, Java SE 8 edition (Java series) (2014)"},{"issue":"3","key":"4_CR12","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1145\/503502.503505","volume":"23","author":"Atsushi Igarashi","year":"2001","unstructured":"Igarashi, A., Pierce, B.C., Wadler, P.: Featherweight Java: A minimal core calculus for Java and GJ. ACM Trans. Program. Lang. Syst. 23(3), 396\u2013450 (2001). http:\/\/doi.acm.org\/10.1145\/503502.503505","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"4_CR13","unstructured":"Klein, C., Flatt, M., Findler, R.B.: Random testing for higher-order, stateful programs. In: Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications, OOPSLA 2010, pp. 555\u2013566 (2010). http:\/\/doi.acm.org\/10.1145\/1869459.1869505"},{"issue":"6","key":"4_CR14","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1145\/2666356.2594334","volume":"49","author":"Vu Le","year":"2014","unstructured":"Le, V., Afshari, M., Su, Z.: Compiler validation via equivalence modulo inputs. SIGPLAN Not. 49(6), 216\u2013226 (2014). http:\/\/doi.acm.org\/10.1145\/2666356.2594334","journal-title":"ACM SIGPLAN Notices"},{"key":"4_CR15","unstructured":"Lindig, C.: Random testing of C calling conventions. In: Proceedings of the Sixth International Symposium on Automated Analysis-driven Debugging, AADEBUG 2005, pp. 3\u201312 (2005). http:\/\/doi.acm.org\/10.1145\/1085130.1085132"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"McBride, C.: Djinn, monotonic. In: PAR@ ITP, pp. 14\u201317 (2010)","DOI":"10.29007\/33k5"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"Mongiovi, M., Mendes, G., Gheyi, R., Soares, G., Ribeiro, M.: Scaling testing of refactoring engines. In: 2014 IEEE International Conference on Software Maintenance and Evolution (ICSME), pp. 371\u2013380. IEEE (2014)","DOI":"10.1109\/ICSME.2014.59"},{"key":"4_CR18","unstructured":"Palka, M.H., Claessen, K., Russo, A., Hughes, J.: Testing an optimising compiler by generating random lambda terms. In: Proceedings of the 6th International Workshop on Automation of Software Test, AST 2011, pp. 91\u201397 (2011). http:\/\/doi.acm.org\/10.1145\/1982595.1982615"},{"key":"4_CR19","unstructured":"Pierce, B.C.: Types and Programming Languages, 1st edn. The MIT Press (2002)"},{"key":"4_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1007\/978-3-319-29473-5_7","volume-title":"Formal Methods: Foundations and Applications","author":"TD Silva da","year":"2016","unstructured":"da Silva, T.D., Sampaio, A., Mota, A.: Verifying transformations of java programs using alloy. In: Corn\u00e9lio, M., Roscoe, B. (eds.) SBMF 2015. LNCS, vol. 9526, pp. 110\u2013126. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-29473-5_7"},{"issue":"2","key":"4_CR21","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1109\/TSE.2012.19","volume":"39","author":"G Soares","year":"2013","unstructured":"Soares, G., Gheyi, R., Massoni, T.: Automated behavioral testing of refactoring engines. IEEE Trans. Softw. Eng. 39(2), 147\u2013162 (2013)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"4_CR22","unstructured":"tiobe.com: TIOBE Index, April 2018. https:\/\/www.tiobe.com\/tiobe-index\/ . Accessed 09 Apr 2018"},{"issue":"6","key":"4_CR23","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1145\/1993316.1993532","volume":"46","author":"Xuejun Yang","year":"2011","unstructured":"Yang, X., Chen, Y., Eide, E., Regehr, J.: Finding and understanding bugs in C compilers. SIGPLAN Not. 46(6), 283\u2013294 (2011). http:\/\/doi.acm.org\/10.1145\/1993316.1993532","journal-title":"ACM SIGPLAN Notices"}],"container-title":["Lecture Notes in Computer Science","Formal Methods: Foundations and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-03044-5_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,3]],"date-time":"2026-04-03T21:15:55Z","timestamp":1775250955000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-03044-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030030438","9783030030445"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-03044-5_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"SBMF","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Brazilian Symposium on Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Salvador","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Brazil","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 November 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 November 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sbmf2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.sbmf2018.ufba.br\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"30","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"14","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"47% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"3.3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"1.8","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}}]}}