{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T02:57:08Z","timestamp":1730257028730,"version":"3.28.0"},"reference-count":65,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,5,1]],"date-time":"2022-05-01T00:00:00Z","timestamp":1651363200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,5,1]],"date-time":"2022-05-01T00:00:00Z","timestamp":1651363200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,5]]},"DOI":"10.1109\/icse-nier55298.2022.9793513","type":"proceedings-article","created":{"date-parts":[[2022,6,13]],"date-time":"2022-06-13T17:06:24Z","timestamp":1655139984000},"page":"111-115","source":"Crossref","is-referenced-by-count":0,"title":["Towards Property-Based Tests in Natural Language"],"prefix":"10.1109","author":[{"given":"Colin S.","family":"Gordon","sequence":"first","affiliation":[{"name":"Drexel University,Philadelphia,Pennsylvania,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Behavior-Driven Development with Cucumber Better Collaboration for Better Software","year":"2019","author":"lawrence","key":"ref39"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-6878-4_11"},{"journal-title":"Compositional semantics An introduction to the syntax\/semantics interface","year":"2014","author":"jacobson","key":"ref33"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1023\/A:1005464228727"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-019-09730-9"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1162\/coli.2007.33.3.355"},{"key":"ref37","article-title":"Learning to Map Sentences to Logical Form: Structured Classification with Probabilistic Categorial Grammars","author":"collins","year":"2005","journal-title":"Proceedings of the Conference on Uncertainty in Artificial Intelligence"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1162\/COLI_a_00219"},{"key":"ref35","first-page":"238","article-title":"Automatically Generating Tests from Natural Language Descriptions of Software Behavior","author":"kamalakar","year":"2013","journal-title":"ENASE"},{"key":"ref34","first-page":"31","article-title":"The convergence of mildly context-sensitive grammatical formalisms","author":"joshi","year":"1991","journal-title":"Foundation Issues in Natural Language Processing"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2021.acl-short.21"},{"journal-title":"Programming Scala Scalability= Functional Programming+ Objects","year":"2014","author":"wampler","key":"ref62"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1007\/BF01191624"},{"journal-title":"The Cucumber Book Behaviour-Driven Development for Testers and Developers","year":"2017","author":"wynne","key":"ref63"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.3115\/1220175.1220239"},{"key":"ref64","article-title":"A CCG-Based Version of the DisCoCat Framework","author":"yeung","year":"2021","journal-title":"Workshop on Semantic Spaces at the Intersection of NLP Physics and Cognitive Science (SemSpace)"},{"journal-title":"Testing in Scala","year":"2013","author":"hinojosa","key":"ref27"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/P17-1026"},{"article-title":"CCGbank: User’s Manual","year":"2005","author":"hockenmaier","key":"ref29"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/E17-2039"},{"year":"2021","key":"ref1","article-title":"fast-check — Property based testing for JavaScript and TypeScript"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.3115\/1119355.1119368"},{"key":"ref22","article-title":"Building Deep Dependency Structures with a Wide-coverage CCG Parser","author":"clark","year":"2002","journal-title":"ACL"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.3115\/1220355.1220396"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/BF00635643"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1162\/tacl_a_00298"},{"article-title":"NLPropTest: Parsing English to Property-Based Tests with Categorial Grammars","year":"2022","author":"gordon","key":"ref26"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/2931037.2931061"},{"journal-title":"Type Logical Grammar Categorial Logic of Signs","year":"2012","author":"morrill","key":"ref50"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00035"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2012.106"},{"journal-title":"Taking Scope The Natural Semantics of Quantifiers","year":"2012","author":"steedman","key":"ref58"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-2727-8_4"},{"key":"ref56","first-page":"125","article-title":"Natural Language Generation Approach for Automated Generation of Test Cases from Logical Specification of Requirements","author":"sharma","year":"2014","journal-title":"International Conference on Evaluation of Novel Approaches to Software Engineering"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-011-9155-6"},{"key":"ref54","article-title":"Context-relative syntactic categories and the formalization of mathematical text","author":"ranta","year":"1995","journal-title":"TYPES"},{"key":"ref53","article-title":"Syntactic categories in the language of mathematics","author":"ranta","year":"1994","journal-title":"TYPES"},{"journal-title":"Real World Haskell Code You Can Believe In O’Reilly Media Inc","year":"2008","author":"o\u2019sullivan","key":"ref52"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1162\/tacl_a_00209"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.3115\/1067807.1067836"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/3387904.3389268"},{"journal-title":"2007","year":"0","author":"barker","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.2307\/416279"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.3115\/1225403.1225421"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/3213846.3213872"},{"journal-title":"Type-Logical Semantics","year":"1997","key":"ref16"},{"key":"ref17","first-page":"25","article-title":"The RSpec book: Behaviour driven development with Rspec","volume":"3","author":"chelimsky","year":"2010","journal-title":"Cucumber and Friends The Pragmatic Bookshelf"},{"journal-title":"Functional Programming in Scala","year":"2014","author":"chiusano","key":"ref18"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351266"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3212695"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/3018896.3036375"},{"article-title":"Software Testing: From Theory to Practice","year":"2020","author":"aniche","key":"ref6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s10579-017-9379-6"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/AEEICB.2017.7972390"},{"key":"ref7","article-title":"Effective Software Testing","author":"aniche","year":"2022","journal-title":"Manning Publications"},{"journal-title":"Categorial grammar Logical syntax semantics and processing","year":"2011","author":"morrill","key":"ref49"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2015.7107466"},{"year":"2021","key":"ref46","article-title":"Mockito Framework"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/D16-1242"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1007\/BF00985216"},{"journal-title":"Discontinuous Constituency","article-title":"Generalized quantifiers and discontinuous type constructors","year":"1996","key":"ref47"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3417926"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00087"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.21236\/ADA273556"},{"key":"ref43","article-title":"Property-Based Testing","author":"lundin","year":"2015","journal-title":"Testing with F# Packt Publishing Ltd"}],"event":{"name":"2022 IEEE\/ACM 44th International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER)","start":{"date-parts":[[2022,5,22]]},"location":"Pittsburgh, PA, USA","end":{"date-parts":[[2022,5,24]]}},"container-title":["2022 IEEE\/ACM 44th International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9793505\/9793506\/09793513.pdf?arnumber=9793513","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,4]],"date-time":"2022-07-04T16:09:30Z","timestamp":1656950970000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9793513\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,5]]},"references-count":65,"URL":"https:\/\/doi.org\/10.1109\/icse-nier55298.2022.9793513","relation":{},"subject":[],"published":{"date-parts":[[2022,5]]}}}