An approach for applying Test-Driven Development (TDD) in the development of randomized algorithms

TDD is a technique traditionally applied in applications with deterministic algorithms, in which the input and the expected result are known. However, the application of TDD with randomized algorithms have been a challenge, especially when the execution demands several random choices. The goal of th...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Journal of software engineering research and development Jg. 6; H. 1; S. 1 - 31
Hauptverfasser:	Ivo, André A. S., Guerra, Eduardo M., Porto, Sandy M., Choma, Joelma, Quiles, Marcos G.
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Berlin/Heidelberg Springer Berlin Heidelberg 18.09.2018 Sociedade Brasileira de Computação
Schlagworte:	20th Iberoamerican Conference on Software Engineering Algorithms Compilers Computer Science Feasibility studies Information Systems Applications (incl.Internet) Interpreters Programming Languages Randomization Randomized algorithms Software Engineering Software Engineering/Programming and Operating Systems Randomized Annotations TDD JUnit Metadata Code Tests Framework
ISSN:	2195-1721, 2195-1721
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Abstract	TDD is a technique traditionally applied in applications with deterministic algorithms, in which the input and the expected result are known. However, the application of TDD with randomized algorithms have been a challenge, especially when the execution demands several random choices. The goal of this paper is to present an approach to allow the use of TDD in the development of randomized algorithms, and the Random Engagement for Test (ReTest) framework, a JUnit extension that provides support for the proposed approach. Furthermore, this paper present the results of a single-subject experiment carried out to assess the feasibility of the proposed approach, and a study on developer experience when using ReTest framework. Our results support the claim that the proposed approach is suitable for the development of randomized software using TDD and that the ReTest framework is useful and easy to use.
AbstractList	TDD is a technique traditionally applied in applications with deterministic algorithms, in which the input and the expected result are known. However, the application of TDD with randomized algorithms have been a challenge, especially when the execution demands several random choices. The goal of this paper is to present an approach to allow the use of TDD in the development of randomized algorithms, and the Random Engagement for Test (ReTest) framework, a JUnit extension that provides support for the proposed approach. Furthermore, this paper present the results of a single-subject experiment carried out to assess the feasibility of the proposed approach, and a study on developer experience when using ReTest framework. Our results support the claim that the proposed approach is suitable for the development of randomized software using TDD and that the ReTest framework is useful and easy to use.
ArticleNumber	9
Author	Porto, Sandy M. Choma, Joelma Guerra, Eduardo M. Quiles, Marcos G. Ivo, André A. S.
Author_xml	– sequence: 1 givenname: André A. S. orcidid: 0000-0001-6192-7705 surname: Ivo fullname: Ivo, André A. S. email: andre.ivo@gmail.com organization: Centro Nacional de Monitoramento e Alertas de Desastres Naturais (CEMADEN), Instituto Nacional de Pesquisas Espaciais (INPE) – sequence: 2 givenname: Eduardo M. surname: Guerra fullname: Guerra, Eduardo M. organization: Instituto Nacional de Pesquisas Espaciais (INPE) – sequence: 3 givenname: Sandy M. surname: Porto fullname: Porto, Sandy M. organization: Instituto Nacional de Pesquisas Espaciais (INPE) – sequence: 4 givenname: Joelma surname: Choma fullname: Choma, Joelma organization: Instituto Nacional de Pesquisas Espaciais (INPE) – sequence: 5 givenname: Marcos G. surname: Quiles fullname: Quiles, Marcos G. organization: Instituto de Ciencias e Tecnologia, Universidade Federal de São Paulo (UNIFESP)
BookMark	eNp9kE1LAzEQhoNUsNb-AG8BL3pYzSTZ3eyxdP2Cgpd6Dmk3aVN2kzXZFuqvd0sFi6CnmWHmmXfmvUQD551G6BrIPYDIHiInHCAhIBJCUpakZ2hIoUgTyCkMTvILNI5xQwgBYIQV2RAtJg6rtg1eLdfY-HAo6r11KzzXsUvKYHfa4VLvdO3bRrsO387L8g5bh7u1xtVJwxsclKt8Yz91hVW98sF26yZeoXOj6qjH33GE3p8e59OXZPb2_DqdzJIlo6JLDNWZLngBLFVcVIZWnBhgOqecccoF03xBeCYqKECA4qZiWZrnVGQ6N5RlbIRujnv7bz62_fVy47fB9ZKSAhECCs7zfgqOU8vgYwzayDbYRoW9BCIPbsqjm7J3Ux7clGnP5L-Ype1UZ73rgrL1vyQ9krFXcSsdfm76G_oCCH-JLg
CitedBy_id	crossref_primary_10_1109_ACCESS_2022_3150878 crossref_primary_10_1109_ACCESS_2023_3284039
Cites_doi	10.1145/321420.321422 10.1109/52.43047 10.14257/ijsh.2013.7.6.11 10.1016/j.jss.2013.02.061 10.1145/356876.356881 10.1109/ICSE.1994.296780 10.1017/CBO9781139012843 10.1002/stv.430 10.1109/ICSM.1993.366927 10.1016/B978-0-12-802301-3.00009-0 10.1007/978-3-319-55907-0_7 10.1109/MS.2005.76 10.1145/248233.248262 10.1109/IWSC.2012.6227874 10.1109/ICSM.1988.10188 10.1145/337180.337196 10.1109/FOSE.2007.30 10.1007/978-3-642-29044-2 10.1109/ICSSP.2012.6225984
ContentType	Journal Article
Copyright	The Author(s) 2018 Journal of Software Engineering Research and Development is a copyright of Springer, (2018). All Rights Reserved. © 2018. This work is published under http://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.
Copyright_xml	– notice: The Author(s) 2018 – notice: Journal of Software Engineering Research and Development is a copyright of Springer, (2018). All Rights Reserved. © 2018. This work is published under http://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.
DBID	C6C AAYXX CITATION 3V. 7XB 8AL 8FE 8FG 8FK ABJCF ABUWG AFKRA ARAPS AZQEC BENPR BGLVJ CCPQU DWQXO GNUQQ HCIFZ JQ2 K7- L6V M0N M7S P5Z P62 PHGZM PHGZT PIMPY PKEHL PQEST PQGLB PQQKQ PQUKI PRINS PTHSS Q9U
DOI	10.1186/s40411-018-0053-5
DatabaseName	Springer Nature OA Free Journals (WRLC) CrossRef ProQuest Central (Corporate) ProQuest Central (purchase pre-March 2016) Computing Database (Alumni Edition) ProQuest SciTech Collection ProQuest Technology Collection ProQuest Central (Alumni) (purchase pre-March 2016) Materials Science & Engineering Collection ProQuest Central (Alumni) ProQuest Central UK/Ireland Advanced Technologies & Computer Science Collection ProQuest Central Essentials ProQuest Central ProQuest Technology Collection ProQuest One Community College ProQuest Central ProQuest Central Student SciTech Premium Collection ProQuest Computer Science Collection Computer Science Database ProQuest Engineering Collection Computing Database Engineering Database Advanced Technologies & Aerospace Database ProQuest Advanced Technologies & Aerospace Collection ProQuest One Academic ProQuest One Academic (New) ProQuest Publicly Available Content Database ProQuest One Academic Middle East (New) ProQuest One Academic Eastern Edition (DO NOT USE) One Applied & Life Sciences ProQuest One Academic (retired) ProQuest One Academic UKI Edition ProQuest Central China Engineering Collection ProQuest Central Basic
DatabaseTitle	CrossRef Publicly Available Content Database Computer Science Database ProQuest Central Student Technology Collection ProQuest One Academic Middle East (New) ProQuest Advanced Technologies & Aerospace Collection ProQuest Central Essentials ProQuest Computer Science Collection ProQuest Central (Alumni Edition) SciTech Premium Collection ProQuest One Community College ProQuest Central China ProQuest Central ProQuest One Applied & Life Sciences ProQuest Engineering Collection ProQuest Central Korea ProQuest Central (New) Engineering Collection Advanced Technologies & Aerospace Collection ProQuest Computing Engineering Database ProQuest Central Basic ProQuest Computing (Alumni Edition) ProQuest One Academic Eastern Edition ProQuest Technology Collection ProQuest SciTech Collection Advanced Technologies & Aerospace Database ProQuest One Academic UKI Edition Materials Science & Engineering Collection ProQuest One Academic ProQuest One Academic (New) ProQuest Central (Alumni)
DatabaseTitleList	Publicly Available Content Database
Database_xml	– sequence: 1 dbid: PIMPY name: ProQuest Publicly Available Content Database url: http://search.proquest.com/publiccontent sourceTypes: Aggregation Database
DeliveryMethod	fulltext_linktorsrc
Discipline	Computer Science
EISSN	2195-1721
EndPage	31
ExternalDocumentID	10_1186_s40411_018_0053_5
GroupedDBID	-A0 3V. 5VS 8FE 8FG AAKKN ABCFP ABEEZ ABFTD ABJCF ABUWG ACACY ACGFS ACULB ADBBV ADINQ AFGXO AFKRA AHBYD AHYZX ALMA_UNASSIGNED_HOLDINGS AMKLP ARAPS ASPBG AZQEC BCNDV BENPR BGLVJ BPHCQ C24 C6C CCPQU DWQXO EBS EJD GNUQQ GROUPED_DOAJ HCIFZ IAO ITC K6V K7- KQ8 L6V M0N M7S M~E OK1 P62 PIMPY PQQKQ PROAC PTHSS RSV SOJ AAYXX AFFHD CITATION PHGZM PHGZT PQGLB 7XB 8AL 8FK JQ2 PKEHL PQEST PQUKI PRINS Q9U
ID	FETCH-LOGICAL-c328t-f2e6e949135a48df2d40f13e724342483e4b0468d19181a4fd36577286e7f2363
IEDL.DBID	K7-
ISICitedReferencesCount	0
ISICitedReferencesURI	http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=001170318100006&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN	2195-1721
IngestDate	Sun Jul 13 05:28:57 EDT 2025 Tue Nov 18 22:37:51 EST 2025 Sat Nov 29 03:31:31 EST 2025 Fri Feb 21 02:31:20 EST 2025
IsDoiOpenAccess	true
IsOpenAccess	true
IsPeerReviewed	true
IsScholarly	true
Issue	1
Keywords	Randomized Annotations TDD JUnit Metadata Code Tests Framework
Language	English
LinkModel	DirectLink
MergedId	FETCHMERGED-LOGICAL-c328t-f2e6e949135a48df2d40f13e724342483e4b0468d19181a4fd36577286e7f2363
Notes	ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 14
ORCID	0000-0001-6192-7705
OpenAccessLink	https://www.proquest.com/docview/2108819447?pq-origsite=%requestingapplication%
PQID	2108819447
PQPubID	2034705
PageCount	31
ParticipantIDs	proquest_journals_2108819447 crossref_primary_10_1186_s40411_018_0053_5 crossref_citationtrail_10_1186_s40411_018_0053_5 springer_journals_10_1186_s40411_018_0053_5
PublicationCentury	2000
PublicationDate	20180918
PublicationDateYYYYMMDD	2018-09-18
PublicationDate_xml	– month: 9 year: 2018 text: 20180918 day: 18
PublicationDecade	2010
PublicationPlace	Berlin/Heidelberg
PublicationPlace_xml	– name: Berlin/Heidelberg – name: Rio Grande do Sul
PublicationTitle	Journal of software engineering research and development
PublicationTitleAbbrev	J Softw Eng Res Dev
PublicationYear	2018
Publisher	Springer Berlin Heidelberg Sociedade Brasileira de Computação
Publisher_xml	– name: Springer Berlin Heidelberg – name: Sociedade Brasileira de Computação
References	Freeman, Mackinnon, Pryce, Walnes (CR16) 2004 Xiaowen (CR33) 2013; 7 CR19 CR15 CR13 CR12 Ivo, Guerra, Silva, Estácio, Kroll, Fontana (CR24) 2017 Rothermel, Harrold (CR30) 1997; 6 CR10 CR32 CR31 Baresi, Young (CR5) 2001 Martin (CR27) 2003 Yoo, Harman (CR34) 2012; 22 Hartmann, Robson (CR22) 1990; 7 Beck, Gamma (CR8) 2000 Galbraith (CR17) 2012 Porto, Quiles, Murgante, Misra, Rocha, Torre, Rocha, Falcão, Taniar, Apduhan, Gervasi (CR28) 2014 CR4 CR3 Chen, Rosenblum, Vo (CR9) 1994 CR7 Floyd (CR14) 1967; 14 CR25 Anand, Burke, Chen, Clark, Cohen, Grieskamp, Harman, Harrold, Mcminn (CR2) 2013; 86 CR23 (CR20) 2005; 22 CR21 Beck (CR6) 2002 Dunlop, Basili (CR11) 1982; 14 Guerra, Aniche, Mistrik, Soley, Ali, Grundy, Tekinerdogan (CR18) 2016 Mackinnon, Freeman, Craig (CR26) 2001 (CR29) 2015 Agrawal, Horgan, Krauser, London (CR1) 1993 G Rothermel (53_CR30) 1997; 6 53_CR10 53_CR32 S Porto (53_CR28) 2014 53_CR31 Harrison, W (53_CR20) 2005; 22 K Beck (53_CR6) 2002 H Agrawal (53_CR1) 1993 K Beck (53_CR8) 2000 53_CR19 53_CR13 53_CR12 53_CR15 S Yoo (53_CR34) 2012; 22 53_CR21 53_CR3 53_CR7 RC Martin (53_CR27) 2003 S Anand (53_CR2) 2013; 86 53_CR4 AAS Ivo (53_CR24) 2017 L Xiaowen (53_CR33) 2013; 7 E Guerra (53_CR18) 2016 J Hartmann (53_CR22) 1990; 7 R Core Team (53_CR29) 2015 L Baresi (53_CR5) 2001 S Freeman (53_CR16) 2004 T Mackinnon (53_CR26) 2001 RW Floyd (53_CR14) 1967; 14 53_CR25 DD Dunlop (53_CR11) 1982; 14 SD Galbraith (53_CR17) 2012 53_CR23 Y-F Chen (53_CR9) 1994
References_xml	– volume: 14 start-page: 636 issue: 4 year: 1967 end-page: 644 ident: CR14 article-title: Nondeterministic algorithms publication-title: J ACM doi: 10.1145/321420.321422 – ident: CR4 – volume: 7 start-page: 31 year: 1990 end-page: 36 ident: CR22 article-title: Techniques for selective revalidation publication-title: IEEE Softw doi: 10.1109/52.43047 – ident: CR12 – year: 2015 ident: CR29 publication-title: R: A Language and Environment for Statistical Computing – ident: CR10 – volume: 7 start-page: 111 issue: 6 year: 2013 end-page: 122 ident: CR33 article-title: Research on regression testing methods for industry applications publication-title: Int J Smart Home doi: 10.14257/ijsh.2013.7.6.11 – volume: 86 start-page: 1978 issue: 8 year: 2013 end-page: 2001 ident: CR2 article-title: An orchestrated survey of methodologies for automated software test case generation publication-title: J Syst Softw doi: 10.1016/j.jss.2013.02.061 – volume: 14 start-page: 229 issue: 2 year: 1982 end-page: 244 ident: CR11 article-title: A comparative analysis of functional correctness publication-title: ACM Comput Surv doi: 10.1145/356876.356881 – ident: CR25 – start-page: 211 year: 1994 end-page: 220 ident: CR9 article-title: Testtube: A system for selective regression testing publication-title: Proceedings of the 16th International Conference on Software Engineering. ICSE ’94 doi: 10.1109/ICSE.1994.296780 – ident: CR23 – year: 2012 ident: CR17 publication-title: Mathematics of Public Key Cryptography doi: 10.1017/CBO9781139012843 – ident: CR21 – year: 2001 ident: CR5 publication-title: Test oracles. Technical report – ident: CR19 – volume: 22 start-page: 67 issue: 2 year: 2012 end-page: 120 ident: CR34 article-title: Regression testing minimization, selection and prioritization: A survey publication-title: Softw Test Verif Reliab doi: 10.1002/stv.430 – start-page: 348 year: 1993 end-page: 357 ident: CR1 article-title: Incremental regression testing publication-title: Proceedings of the Conference on Software Maintenance. ICSM ’93 doi: 10.1109/ICSM.1993.366927 – start-page: 344 year: 2014 end-page: 359 ident: CR28 article-title: A methodology for generating time-varying complex networks with community structure publication-title: Computational Science and Its Applications – ICCSA 2014 – ident: CR3 – ident: CR15 – start-page: 236 year: 2004 end-page: 246 ident: CR16 article-title: Mock roles, not objects publication-title: Companion to the 19th Annual ACM SIGPLAN Conference on Object-oriented Programming Systems, Languages, and Applications. OOPSLA ’04 – ident: CR31 – year: 2000 ident: CR8 publication-title: More java gems – ident: CR13 – year: 2001 ident: CR26 publication-title: Extreme programming examined – start-page: 201 year: 2016 end-page: 220 ident: CR18 article-title: Chapter 9 - achieving quality on software design through test-driven development publication-title: Software Quality Assurance doi: 10.1016/B978-0-12-802301-3.00009-0 – ident: CR32 – start-page: 72 year: 2017 end-page: 84 ident: CR24 article-title: Retest: framework for applying tdd in the development of non-deterministic algorithms publication-title: Agile Methods: 7th Brazilian Workshop, WBMA 2016, Curitiba, Brazil, November 7-9, 2016 doi: 10.1007/978-3-319-55907-0_7 – ident: CR7 – year: 2002 ident: CR6 publication-title: Test Driven Development. By Example (Addison-Wesley Signature) – year: 2003 ident: CR27 publication-title: Agile Software Development: Principles, Patterns, and Practices – volume: 22 start-page: 5 issue: 3 year: 2005 end-page: 7 ident: CR20 article-title: Skinner wasn’t a software engineer publication-title: IEEE Softw doi: 10.1109/MS.2005.76 – volume: 6 start-page: 173 issue: 2 year: 1997 end-page: 210 ident: CR30 article-title: A safe, efficient regression test selection technique publication-title: ACM Trans Softw Eng Methodol doi: 10.1145/248233.248262 – volume: 6 start-page: 173 issue: 2 year: 1997 ident: 53_CR30 publication-title: ACM Trans Softw Eng Methodol doi: 10.1145/248233.248262 – start-page: 211 volume-title: Proceedings of the 16th International Conference on Software Engineering. ICSE ’94 year: 1994 ident: 53_CR9 doi: 10.1109/ICSE.1994.296780 – ident: 53_CR12 doi: 10.1109/IWSC.2012.6227874 – volume-title: More java gems year: 2000 ident: 53_CR8 – start-page: 201 volume-title: Software Quality Assurance year: 2016 ident: 53_CR18 doi: 10.1016/B978-0-12-802301-3.00009-0 – volume-title: Test Driven Development. By Example (Addison-Wesley Signature) year: 2002 ident: 53_CR6 – ident: 53_CR10 – start-page: 236 volume-title: Companion to the 19th Annual ACM SIGPLAN Conference on Object-oriented Programming Systems, Languages, and Applications. OOPSLA ’04 year: 2004 ident: 53_CR16 – ident: 53_CR21 doi: 10.1109/ICSM.1988.10188 – ident: 53_CR4 – ident: 53_CR25 doi: 10.1145/337180.337196 – start-page: 72 volume-title: Agile Methods: 7th Brazilian Workshop, WBMA 2016, Curitiba, Brazil, November 7-9, 2016 year: 2017 ident: 53_CR24 doi: 10.1007/978-3-319-55907-0_7 – volume: 22 start-page: 5 issue: 3 year: 2005 ident: 53_CR20 publication-title: IEEE Softw doi: 10.1109/MS.2005.76 – ident: 53_CR3 – ident: 53_CR31 doi: 10.1109/FOSE.2007.30 – start-page: 344 volume-title: Computational Science and Its Applications – ICCSA 2014 year: 2014 ident: 53_CR28 – volume: 14 start-page: 229 issue: 2 year: 1982 ident: 53_CR11 publication-title: ACM Comput Surv doi: 10.1145/356876.356881 – ident: 53_CR19 – volume-title: Mathematics of Public Key Cryptography year: 2012 ident: 53_CR17 doi: 10.1017/CBO9781139012843 – ident: 53_CR15 – ident: 53_CR7 – volume: 14 start-page: 636 issue: 4 year: 1967 ident: 53_CR14 publication-title: J ACM doi: 10.1145/321420.321422 – ident: 53_CR32 doi: 10.1007/978-3-642-29044-2 – volume: 7 start-page: 31 year: 1990 ident: 53_CR22 publication-title: IEEE Softw doi: 10.1109/52.43047 – volume: 22 start-page: 67 issue: 2 year: 2012 ident: 53_CR34 publication-title: Softw Test Verif Reliab doi: 10.1002/stv.430 – volume-title: Test oracles. Technical report year: 2001 ident: 53_CR5 – volume-title: R: A Language and Environment for Statistical Computing year: 2015 ident: 53_CR29 – volume: 86 start-page: 1978 issue: 8 year: 2013 ident: 53_CR2 publication-title: J Syst Softw doi: 10.1016/j.jss.2013.02.061 – ident: 53_CR23 – start-page: 348 volume-title: Proceedings of the Conference on Software Maintenance. ICSM ’93 year: 1993 ident: 53_CR1 doi: 10.1109/ICSM.1993.366927 – ident: 53_CR13 doi: 10.1109/ICSSP.2012.6225984 – volume-title: Extreme programming examined year: 2001 ident: 53_CR26 – volume-title: Agile Software Development: Principles, Patterns, and Practices year: 2003 ident: 53_CR27 – volume: 7 start-page: 111 issue: 6 year: 2013 ident: 53_CR33 publication-title: Int J Smart Home doi: 10.14257/ijsh.2013.7.6.11
SSID	ssj0001130396
Score	2.0404806
Snippet	TDD is a technique traditionally applied in applications with deterministic algorithms, in which the input and the expected result are known. However, the...
SourceID	proquest crossref springer
SourceType	Aggregation Database Enrichment Source Index Database Publisher
StartPage	1
SubjectTerms	20th Iberoamerican Conference on Software Engineering Algorithms Compilers Computer Science Feasibility studies Information Systems Applications (incl.Internet) Interpreters Programming Languages Randomization Randomized algorithms Software Engineering Software Engineering/Programming and Operating Systems
SummonAdditionalLinks	– databaseName: SpringerLink Open Access Journals dbid: C24 link: http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV05T8MwFLagMLBQTlEoyAMDhywS23GcsWpBDKhiKFK3KPEBldoEJYGBX4_tJrQgQIIx8iHrnd-L_d4D4NQIgQEOQiIVehxRLLBVqQj5LE2YZp5k2iUK34XDIR-Po_s6j7tsXrs3V5LOUju15uyqpB51OWAcWclBwSpYC3weWbHu1ykO7seKtcoRq28wv1352QctgOWXu1DnYm7a_zrcFtisESXszUVgG6yobAe0m24NsFbeXZD2MthUEIcGqtqPqU1ygiNzLDQorN2DS4-I4NloMDiHkwwakAjl0kCuoXFxMp9N3pSEyfQxLybV06zcAw8316P-Lao7LCBBMK-QxoqpiEY-CRLKpcaSetonKsSUUEw5UTQ1ATSXJqrjfkK1JCwweJwzFWpMGNkHrSzP1AGAQkhhtlJpqBn1BE1THPoiCqTPpdLS6wCvoXks6vLjtgvGNHZhCGfxnIaxoWFsaRgHHXDxseR5Xnvjt8ndhpFxrYZlbOJZbiAPpWEHXDaMWwz_uNnhn2YfgQ3sOG9EnHdBqype1DFYF6_VpCxOnHS-Ayv63ik priority: 102 providerName: Springer Nature
Title	An approach for applying Test-Driven Development (TDD) in the development of randomized algorithms
URI	https://link.springer.com/article/10.1186/s40411-018-0053-5 https://www.proquest.com/docview/2108819447
Volume	6
WOSCitedRecordID	wos001170318100006&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText	1
inHoldings	1
isFullTextHit
isPrint
journalDatabaseRights	– providerCode: PRVHPJ databaseName: ROAD: Directory of Open Access Scholarly Resources customDbUrl: eissn: 2195-1721 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0001130396 issn: 2195-1721 databaseCode: M~E dateStart: 20130101 isFulltext: true titleUrlDefault: https://road.issn.org providerName: ISSN International Centre – providerCode: PRVPQU databaseName: Advanced Technologies & Aerospace Database customDbUrl: eissn: 2195-1721 dateEnd: 20210131 omitProxy: false ssIdentifier: ssj0001130396 issn: 2195-1721 databaseCode: P5Z dateStart: 20131001 isFulltext: true titleUrlDefault: https://search.proquest.com/hightechjournals providerName: ProQuest – providerCode: PRVPQU databaseName: Computer Science Database customDbUrl: eissn: 2195-1721 dateEnd: 20210131 omitProxy: false ssIdentifier: ssj0001130396 issn: 2195-1721 databaseCode: K7- dateStart: 20131001 isFulltext: true titleUrlDefault: http://search.proquest.com/compscijour providerName: ProQuest – providerCode: PRVPQU databaseName: Engineering Database customDbUrl: eissn: 2195-1721 dateEnd: 20210131 omitProxy: false ssIdentifier: ssj0001130396 issn: 2195-1721 databaseCode: M7S dateStart: 20131001 isFulltext: true titleUrlDefault: http://search.proquest.com providerName: ProQuest – providerCode: PRVPQU databaseName: ProQuest Central customDbUrl: eissn: 2195-1721 dateEnd: 20210131 omitProxy: false ssIdentifier: ssj0001130396 issn: 2195-1721 databaseCode: BENPR dateStart: 20131001 isFulltext: true titleUrlDefault: https://www.proquest.com/central providerName: ProQuest – providerCode: PRVPQU databaseName: ProQuest Publicly Available Content Database customDbUrl: eissn: 2195-1721 dateEnd: 20210131 omitProxy: false ssIdentifier: ssj0001130396 issn: 2195-1721 databaseCode: PIMPY dateStart: 20131001 isFulltext: true titleUrlDefault: http://search.proquest.com/publiccontent providerName: ProQuest – providerCode: PRVAVX databaseName: SpringerLink Open Access Journals customDbUrl: eissn: 2195-1721 dateEnd: 20181231 omitProxy: false ssIdentifier: ssj0001130396 issn: 2195-1721 databaseCode: C24 dateStart: 20131201 isFulltext: true titleUrlDefault: https://link.springer.com/search?facet-content-type=%22Journal%22 providerName: Springer Nature
link	http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV3Nb9MwFH-iKwcuG1_Tuo3KBw7AZC12HMc5obGuAgFVxIo0dokaf0ClLt2abgf-ep5ThxYkduESKXLyYuX93pf9_B7ASwQBOg7aUJtGigquuRepjDJZTqSTkZGuOSj8KR2N1MVFlocFtzqkVbY6sVHUZq79GvkxhiYKrZcQ6dvrG-q7Rvnd1dBCowNdxjnzOP-Y0vUai1fQmQybmUzJ41pEojlIpqiHH03-NEdrH_OvbdHG2gx3_neej2E7-JnkZAWMJ_DAVk9hp-3hQIJIP4PypCJtXXGCDqy_mfmjT2SM36SDhdeGZCO1iLwaDwavybQi6DoSszEwdwQNn5lfTX9aQyaz7zit5Y-r-jl8HZ6NT9_T0HeB6pirJXXcSpuJjMXJRCjjuBGRY7FNuYgFFyq2osSwWhmM9RSbCGdimaCXrqRNHY9lvAtb1byye0C0NhpJ2TJ1UkRalCVPmc4Sw5SxzkQ9iNrfX-hQlNz3xpgVTXCiZLHiWIEcKzzHiqQHb36_cr2qyHHfw4ctl4ognHWxZlEPjlo-r4f_SWz_fmIH8Ig3wEKkq0PYWi5u7Qt4qO-W03rRh-67s1H-pQ-dUy76DU77PtH0HK95conj-YfP-bdf-MfvMg
linkProvider	ProQuest
linkToHtml	http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1LbxMxEB6VFoleaHlUDZTiQ5F4yOqu7bW9B4SqhqpV0ohDkHozWT8gUrop2QCCH8VvZLzZbVokeuuB48rrkWx_8_J4ZgD2EARoOFhHvUo0FcyyyFI5TWUxkkEmToY6UbivBgN9dpZ_WIHfbS5MfFbZysRaULupjXfk--iaaNReQqh3F19p7BoVo6ttC40FLHr-5w902aq3J1083xeMHb0fHh7TpqsAtZzpOQ3MS5-LPOXZSGgXmBNJSLlXTHDBhOZeFOg0aoeejE5HIjguM7RBtfQqMC450r0Da4JrFWv19xRd3ulEhZDLJniaarlfiUTUiWuaRrjT7Lr6W9q0f4Vha-12tPG_7csm3G_saHKwAP4DWPHlQ9hoe1SQRmQ9guKgJG3ddIIGevyYxNQuMsQ10u4sSnty5ekUeTnsdl-RcUnQNCbuysA0EFTsbno-_uUdGU0-4zbMv5xXj-Hjrax0C1bLaem3gVjrLJLyhQpSJFYUBVOpzTOXaueDSzqQtMdtbFN0Pfb-mJja-dLSLBBiECEmIsRkHXh9OeViUXHkpp93WlSYRvhUZgmJDrxpcbUc_iexJzcTew73joenfdM_GfSewjqrQY1crXdgdT775p_BXft9Pq5muzVXEPh023D7A66KQiw
linkToPdf	http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV1LSwMxEB58IV6sT6zPHDz4ILibzWazR2ktilJ6qOAtdPPQQt1Kd_XgrzfZh1ZRQTyGPAiTmcw3mcwMwKFlAgscpMI68jimRBInUjH2WTJghnmKmSJQ-CbqdvndXdyr6pxm9W_32iVZxjS4LE1pfvakTCninJ1l1KNFPBjHjotwOAvzziHlrK9WFe5QPLK4GzpmlTfz25mf9dEHyPziFy3UTafx742uwHKFNNF5yRqrMKPTNWjUVRxQJdTrkJynqM4sjiyEdY2RC35CfbtF3J64-xBNfS5CR_12-xgNU2TBI1JTHWODrOpT48fhq1ZoMLofT4b5w2O2Abedi37rEleVF7AMCM-xIZrpmMZ-EA4oV4Yo6hk_0BGhASWUB5om1rDmylp73B9QowIWWpzOmY4MCViwCXPpONVbgKRU0i6lk8gw6kmaJCTyZRwqnyttlNcEr6a_kFVaclcdYyQK84QzUdJQWBoKR0MRNuHkfcpTmZPjt8G79aGKSjwzYe1cbqEQpVETTutD_Oj-cbHtP40-gMVeuyNurrrXO7BECiawUsB3YS6fPOs9WJAv-TCb7BdM-wYyseny
openUrl	ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=An+approach+for+applying+Test-Driven+Development+%28TDD%29+in+the+development+of+randomized+algorithms&rft.jtitle=Journal+of+software+engineering+research+and+development&rft.au=Ivo%2C+Andr%C3%A9+A.+S.&rft.au=Guerra%2C+Eduardo+M.&rft.au=Porto%2C+Sandy+M.&rft.au=Choma%2C+Joelma&rft.date=2018-09-18&rft.issn=2195-1721&rft.eissn=2195-1721&rft.volume=6&rft.issue=1&rft_id=info:doi/10.1186%2Fs40411-018-0053-5&rft.externalDBID=n%2Fa&rft.externalDocID=10_1186_s40411_018_0053_5
thumbnail_l	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=2195-1721&client=summon
thumbnail_m	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=2195-1721&client=summon
thumbnail_s	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=2195-1721&client=summon