{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,7]],"date-time":"2023-09-07T18:02:19Z","timestamp":1694109739706},"reference-count":41,"publisher":"Elsevier BV","issue":"12","content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Journal of Systems and Software"],"published-print":{"date-parts":[[2013,12]]},"DOI":"10.1016\/j.jss.2013.07.021","type":"journal-article","created":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T23:01:23Z","timestamp":1374102083000},"page":"3109-3122","update-policy":"http:\/\/dx.doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":3,"title":["A language-independent approach to black-box testing using Erlang as test specification language"],"prefix":"10.1016","volume":"86","author":[{"given":"Laura M.","family":"Castro","sequence":"first","affiliation":[]},{"given":"Miguel A.","family":"Francisco","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.jss.2013.07.021_bib0005","series-title":"Concurrent Programming in Erlang","author":"Armstrong","year":"1996"},{"key":"10.1016\/j.jss.2013.07.021_bib0010","series-title":"5th ACM SIGPLAN Workshop on Erlang (Erlang\u201906), Portland, Oregon, USA, September 18\u201320, 2006","first-page":"2","article-title":"Testing telecoms software with Quviq QuickCheck","author":"Arts","year":"2006"},{"key":"10.1016\/j.jss.2013.07.021_bib0015","series-title":"7th ACM SIGPLAN Workshop on ERLANG (Erlang\u201908), Victoria, BC, Canada, September 20\u201328, 2008","first-page":"1","article-title":"Testing Erlang data types with Quviq QuickCheck","author":"Arts","year":"2008"},{"key":"10.1016\/j.jss.2013.07.021_bib0020","series-title":"9th ACM SIGPLAN Workshop on Erlang (Erlang\u201910), Baltimore, Maryland, USA, September 27\u201329, 2010","first-page":"1","article-title":"From test cases to FSMs: augmented test-driven development and property inference","author":"Arts","year":"2010"},{"key":"10.1016\/j.jss.2013.07.021_bib0025","series-title":"Model-Driven Testing. Using the UML Testing Profile","author":"Baker","year":"2008"},{"key":"10.1016\/j.jss.2013.07.021_bib0030","series-title":"2nd ACM SIGPLAN Workshop on Erlang (Erlang\u201903), Uppsala, Sweden, August 25\u201329, 2003","first-page":"8","article-title":"Automated test generation for industrial Erlang applications","author":"Blom","year":"2003"},{"key":"10.1016\/j.jss.2013.07.021_bib0035","series-title":"10th Spanish Conference on Programming and Languages (PROLE\u201910), Valencia, Spain, September 8\u201310, 2010. Revised Selected Papers, Vol. 271 of Electronic Notes in Theoretical Computer Science","first-page":"41","article-title":"Testing data consistency of data-intensive applications using QuickCheck","author":"Castro","year":"2011"},{"key":"10.1016\/j.jss.2013.07.021_bib0040","series-title":"12th International Conference on Computer Aided Systems Theory (EUROCAST\u201909), Las Palmas de Gran Canaria, Spain, February 15\u201320, 2009. Revised Selected Papers, Vol. 5717 of Lecture Notes in Computer Science","first-page":"881","article-title":"A practical methodology for integration testing","author":"Castro","year":"2009"},{"key":"10.1016\/j.jss.2013.07.021_bib0045","series-title":"7th International Conference on Information Technology: New Generations (ITNG\u201910), Las Vegas, Nevada, USA, April 12\u201314, 2010","first-page":"1020","article-title":"Automating Java program testing using OCL and AspectJ","author":"Cheon","year":"2010"},{"key":"10.1016\/j.jss.2013.07.021_bib0050","series-title":"5th ACM SIGPLAN International Conference on Functional Programming (ICFP\u201900), Montreal, Canada, September 18\u201321, 2000","first-page":"268","article-title":"QuickCheck: a lightweight tool for random testing of Haskell programs","author":"Claessen","year":"2000"},{"key":"10.1016\/j.jss.2013.07.021_bib0055","series-title":"8th International Symposium in Formal Methods for Components and Objects (FMCO\u201909), Eindhoven, The Netherlands, November 4\u20136, 2009. Revised Selected Papers, Vol. 6286 of Lecture Notes in Computer Science","first-page":"250","article-title":"Property-based testing \u2013 the ProTest project","author":"Derrick","year":"2010"},{"key":"10.1016\/j.jss.2013.07.021_bib0060","series-title":"1st ACM International Workshop on Empirical Assessment of Software Engineering Languages and Technologies (WEASELTech\u201907), Atlanta, Georgia, November 5\u20139, 2007","first-page":"31","article-title":"A survey on model-based testing approaches: a systematic review","author":"Dias Neto","year":"2007"},{"key":"10.1016\/j.jss.2013.07.021_bib0065","unstructured":"ETSI ES 201 873-1. Methods for Testing and Specification (MTS), The Testing and Test Control Notation version 3, Part 1: TTCN-3 Core Language, V4.4.1, April 2013."},{"key":"10.1016\/j.jss.2013.07.021_bib0070","unstructured":"European Telecommunications Standards Institute (ETSI), 2013. http:\/\/www.etsi.org\/."},{"key":"10.1016\/j.jss.2013.07.021_bib0075","series-title":"Manage Software Testing","author":"Farrell-Vinay","year":"2008"},{"issue":"4","key":"10.1016\/j.jss.2013.07.021_bib0080","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1145\/263244.263267","article-title":"Property-based testing: a new approach to testing for assurance","volume":"22","author":"Fink","year":"1997","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"10.1016\/j.jss.2013.07.021_bib0085","series-title":"12th Workshop on OCL and Textual Modelling (OCL\u201912, co-located with MODELS\u201912), Innsbruck, Austria, October 1\u20135, 2012","first-page":"49","article-title":"Automatic generation of test models and properties from UML models with OCL constraints","author":"Francisco","year":"2012"},{"issue":"3","key":"10.1016\/j.jss.2013.07.021_bib0090","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1017\/S0956796805005502","article-title":"VoDKA: developing a video-on-demand server using distributed functional programming","volume":"15","author":"Gul\u00edas","year":"2005","journal-title":"Journal on Functional Programming"},{"key":"10.1016\/j.jss.2013.07.021_bib0095","series-title":"9th International Symposium on Practical Aspects of Declarative Languages (PADL\u201907), Nice, France, January 14\u201315, 2007. Revised Selected Papers, Vol. 4354 of Lecture Notes in Computer Science","first-page":"1","article-title":"QuickCheck testing for fun and profit","author":"Hughes","year":"2007"},{"key":"10.1016\/j.jss.2013.07.021_bib0100","article-title":"Pragmatic unit testing in Java with JUnit","author":"Hunt","year":"2003","journal-title":"The Pragmatic Programmers"},{"key":"10.1016\/j.jss.2013.07.021_bib0105","unstructured":"Interoud, 2013. http:\/\/www.interoud.com\/."},{"key":"10.1016\/j.jss.2013.07.021_bib0110","unstructured":"Jinterface, 2013. http:\/\/www.erlang.org\/doc\/apps\/jinterface\/index.html."},{"key":"10.1016\/j.jss.2013.07.021_bib0115","series-title":"4th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW\u201911), Berlin, Germany, March 21\u201325, 2011","first-page":"472","article-title":"Extracting properties from test cases by refactoring","author":"Li","year":"2011"},{"key":"10.1016\/j.jss.2013.07.021_bib0120","series-title":"Extreme Programming Examined","first-page":"287","article-title":"Endo-testing: unit testing with mock objects","author":"Mackinnon","year":"2001"},{"issue":"1","key":"10.1016\/j.jss.2013.07.021_bib0125","first-page":"100","article-title":"Differential testing for software","volume":"10","author":"McKeeman","year":"1998","journal-title":"Digital Technical Journal"},{"key":"10.1016\/j.jss.2013.07.021_bib0130","series-title":"XUnit Test Patterns: Refactoring Test Code","author":"Meszaros","year":"2006"},{"key":"10.1016\/j.jss.2013.07.021_bib0135","series-title":"12th International Conference on Model Driven Engineering Languages and Systems (MODELS\u201909), Denver, CO, October 4\u20139, 2009, Vol. 5795 of Lecture Notes in Computer Science","first-page":"650","article-title":"Generating assertion Code from OCL: a transformational approach based on similarities of implementation languages","author":"Moiseev","year":"2009"},{"issue":"2","key":"10.1016\/j.jss.2013.07.021_bib0140","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1109\/TSE.2010.32","article-title":"Assessing, comparing, and combining state machine-based testing and structural testing: a series of experiments","volume":"37","author":"Mouchawrab","year":"2011","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/j.jss.2013.07.021_bib0145","first-page":"1","article-title":"Assessing the effects of introducing a new software development process \u2013 a methodological description","author":"Nilsson","year":"2013","journal-title":"Software Tools for Technology Transfer Online First Articles"},{"key":"10.1016\/j.jss.2013.07.021_bib0150","unstructured":"OpenTTCN, 2013. http:\/\/www.openttcn.com\/."},{"key":"10.1016\/j.jss.2013.07.021_bib0155","series-title":"6th International Conference on Perspectives of Systems Informatics (PSI\u201906), Novosibirsk, Russia, June 27\u201330, 2006. Selected Revised Papers, Vol. 4378 of Lecture Notes in Computer Science","article-title":"Why automata models are sexy for testers?","author":"Petrenko","year":"2007"},{"key":"10.1016\/j.jss.2013.07.021_bib0160","series-title":"41st Annual Hawaii International Conference on System Sciences (HICSS\u201908), Waikoloa, Big Island, Hawaii, January 7\u201310, 2008","first-page":"96","article-title":"Integration testing of composite applications","author":"Peyton","year":"2008"},{"key":"10.1016\/j.jss.2013.07.021_bib0165","series-title":"5th Workshop on Automation of Software Test (ASE\u201910), Cape Town, South Africa, May 1\u20138, 2010","first-page":"75","article-title":"Property driven development in Erlang, by example","author":"Rivas","year":"2010"},{"key":"10.1016\/j.jss.2013.07.021_bib0170","series-title":"The Unified Modeling Language Reference Manual","author":"Rumbaugh","year":"2004"},{"key":"10.1016\/j.jss.2013.07.021_bib0175","unstructured":"TRex: TTCN-3 Refactoring and Metrics Tool, 2013. http:\/\/www.trex.informatik.uni-goettingen.de\/trac."},{"key":"10.1016\/j.jss.2013.07.021_bib0180","unstructured":"TTCN Lab of University of Science and Technology of China, 2013. http:\/\/ttcn.ustc.edu.cn\/MainPageEn.html."},{"key":"10.1016\/j.jss.2013.07.021_bib0185","unstructured":"T3DevKit, 2013. http:\/\/www.irisa.fr\/tipi\/wiki\/doku.php\/t3devkit."},{"key":"10.1016\/j.jss.2013.07.021_bib0190","series-title":"Practical Model-Based Testing: A Tools Approach","author":"Utting","year":"2007"},{"key":"10.1016\/j.jss.2013.07.021_bib0195","series-title":"The Object Constraint Language: Getting Your Models Ready for MDA","author":"Warmer","year":"2003"},{"key":"10.1016\/j.jss.2013.07.021_bib0200","series-title":"An Introduction to TTCN-3","author":"Willcock","year":"2005"},{"issue":"2","key":"10.1016\/j.jss.2013.07.021_bib0205","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1109\/32.988498","article-title":"Simplifying and isolating failure-inducing input","volume":"28","author":"Zeller","year":"2002","journal-title":"IEEE Transactions on Software Engineering"}],"container-title":["Journal of Systems and Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0164121213001714?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0164121213001714?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2018,10,14]],"date-time":"2018-10-14T09:52:02Z","timestamp":1539510722000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0164121213001714"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,12]]},"references-count":41,"journal-issue":{"issue":"12","published-print":{"date-parts":[[2013,12]]}},"alternative-id":["S0164121213001714"],"URL":"https:\/\/doi.org\/10.1016\/j.jss.2013.07.021","relation":{},"ISSN":["0164-1212"],"issn-type":[{"value":"0164-1212","type":"print"}],"subject":[],"published":{"date-parts":[[2013,12]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"A language-independent approach to black-box testing using Erlang as test specification language","name":"articletitle","label":"Article Title"},{"value":"Journal of Systems and Software","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.jss.2013.07.021","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 2013 Elsevier Inc. All rights reserved.","name":"copyright","label":"Copyright"}]}}