{"id":"https://openalex.org/W2157675331","doi":"https://doi.org/10.3217/jucs-011-06-0962","title":"TESTAF: A Test Automation Framework for Class Testing using Object-Oriented Formal Specifications","display_name":"TESTAF: A Test Automation Framework for Class Testing using Object-Oriented Formal Specifications","publication_year":2020,"publication_date":"2020-04-07","ids":{"openalex":"https://openalex.org/W2157675331","doi":"https://doi.org/10.3217/jucs-011-06-0962","mag":"2157675331"},"language":"en","primary_location":{"id":"pmh:oai:zenodo.org:6996783","is_oa":true,"landing_page_url":"https://zenodo.org/record/6996783","pdf_url":"https://zenodo.org/record/6996783","source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"JUCS - Journal of Universal Computer Science 11((6)) 962-985","raw_type":"info:eu-repo/semantics/article"},"type":"article","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://zenodo.org/record/6996783","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5020661113","display_name":"Aamer Nadeem","orcid":"https://orcid.org/0000-0002-8641-8795"},"institutions":[{"id":"https://openalex.org/I23805111","display_name":"Mohammad Ali Jinnah University","ror":"https://ror.org/02xx4jg88","country_code":"PK","type":"education","lineage":["https://openalex.org/I23805111"]}],"countries":["PK"],"is_corresponding":true,"raw_author_name":"Aamer Nadeem","raw_affiliation_strings":["Mohammad Ali Jinnah University#TAB#"],"affiliations":[{"raw_affiliation_string":"Mohammad Ali Jinnah University#TAB#","institution_ids":["https://openalex.org/I23805111"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5109937969","display_name":"Muhammad Jaffar-Ur Rehman","orcid":null},"institutions":[{"id":"https://openalex.org/I23805111","display_name":"Mohammad Ali Jinnah University","ror":"https://ror.org/02xx4jg88","country_code":"PK","type":"education","lineage":["https://openalex.org/I23805111"]}],"countries":["PK"],"is_corresponding":false,"raw_author_name":"Muhammad Jaffar-ur-Rehman","raw_affiliation_strings":["Mohammad Ali Jinnah University#TAB#"],"affiliations":[{"raw_affiliation_string":"Mohammad Ali Jinnah University#TAB#","institution_ids":["https://openalex.org/I23805111"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5020661113"],"corresponding_institution_ids":["https://openalex.org/I23805111"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.00420856,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8329973220825195},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6787105202674866},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.6439247131347656},{"id":"https://openalex.org/keywords/specification-language","display_name":"Specification language","score":0.6032137274742126},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.5926666259765625},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.5630331039428711},{"id":"https://openalex.org/keywords/test-harness","display_name":"Test harness","score":0.5171677470207214},{"id":"https://openalex.org/keywords/language-of-temporal-ordering-specification","display_name":"Language Of Temporal Ordering Specification","score":0.4978649616241455},{"id":"https://openalex.org/keywords/oracle","display_name":"Oracle","score":0.4842071533203125},{"id":"https://openalex.org/keywords/test-script","display_name":"Test script","score":0.43973538279533386},{"id":"https://openalex.org/keywords/test-management-approach","display_name":"Test Management Approach","score":0.4336148798465729},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.17329585552215576},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.15688753128051758}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8329973220825195},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6787105202674866},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.6439247131347656},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.6032137274742126},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.5926666259765625},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.5630331039428711},{"id":"https://openalex.org/C109852812","wikidata":"https://www.wikidata.org/wiki/Q2406355","display_name":"Test harness","level":5,"score":0.5171677470207214},{"id":"https://openalex.org/C90069079","wikidata":"https://www.wikidata.org/wiki/Q1805432","display_name":"Language Of Temporal Ordering Specification","level":3,"score":0.4978649616241455},{"id":"https://openalex.org/C55166926","wikidata":"https://www.wikidata.org/wiki/Q2892946","display_name":"Oracle","level":2,"score":0.4842071533203125},{"id":"https://openalex.org/C109086967","wikidata":"https://www.wikidata.org/wiki/Q2509100","display_name":"Test script","level":4,"score":0.43973538279533386},{"id":"https://openalex.org/C7435765","wikidata":"https://www.wikidata.org/wiki/Q7705776","display_name":"Test Management Approach","level":5,"score":0.4336148798465729},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.17329585552215576},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.15688753128051758},{"id":"https://openalex.org/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","level":2,"score":0.0},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.0},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:zenodo.org:6996783","is_oa":true,"landing_page_url":"https://zenodo.org/record/6996783","pdf_url":"https://zenodo.org/record/6996783","source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"JUCS - Journal of Universal Computer Science 11((6)) 962-985","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.102.9736","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.102.9736","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.jucs.org/jucs_11_6/testaf_a_test_automation/Nadeem_A.pdf","raw_type":"text"},{"id":"doi:10.3217/jucs-011-06-0962","is_oa":true,"landing_page_url":"https://doi.org/10.3217/jucs-011-06-0962","pdf_url":null,"source":{"id":"https://openalex.org/S4306400660","display_name":"TUGraz OPEN Library (Graz University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4092182","host_organization_name":"Graz University of Technology","host_organization_lineage":["https://openalex.org/I4092182"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:zenodo.org:6996783","is_oa":true,"landing_page_url":"https://zenodo.org/record/6996783","pdf_url":"https://zenodo.org/record/6996783","source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"JUCS - Journal of Universal Computer Science 11((6)) 962-985","raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W2157675331.pdf"},"referenced_works_count":14,"referenced_works":["https://openalex.org/W1495194932","https://openalex.org/W1542040340","https://openalex.org/W1567147371","https://openalex.org/W1592027468","https://openalex.org/W1596127723","https://openalex.org/W1714805250","https://openalex.org/W1787500456","https://openalex.org/W2012685447","https://openalex.org/W2016578292","https://openalex.org/W2109921839","https://openalex.org/W2140465131","https://openalex.org/W2146972408","https://openalex.org/W2162120832","https://openalex.org/W2544293008"],"related_works":["https://openalex.org/W2823734064","https://openalex.org/W2109315538","https://openalex.org/W1824128211","https://openalex.org/W2078525501","https://openalex.org/W2066986909","https://openalex.org/W2338276337","https://openalex.org/W2878314805","https://openalex.org/W2832508537","https://openalex.org/W3033397011","https://openalex.org/W1647609750","https://openalex.org/W2097895505","https://openalex.org/W110336360","https://openalex.org/W179908295","https://openalex.org/W2159120852","https://openalex.org/W1602971876","https://openalex.org/W2862220041","https://openalex.org/W2204552931","https://openalex.org/W2055647675","https://openalex.org/W2088327537","https://openalex.org/W2285621613"],"abstract_inverted_index":{"Abstract:":[0],"In":[1],"this":[2],"paper,":[3],"we":[4],"present":[5],"a":[6,49,53,55,61,126,169,180],"novel":[7],"framework":[8,47,91],"TESTAF":[9,46,145],"to":[10,40,64,103,117,151,183,192],"support":[11],"automatic":[12],"generation":[13],"and":[14,60,66,70,99,140,167,175],"execution":[15],"of":[16,96,171],"test":[17,62,68,75,79,101,106,115,120,123,154,157,165,181,190],"cases":[18,191],"using":[19],"object-oriented":[20,42,201],"formal":[21,43,94,199],"specifications.":[22],"We":[23],"use":[24],"IFAD":[25],"VDM++":[26,50],"as":[27,179],"the":[28,32,72,93,97,100,114,131,136,141,153,161,164,176,185,193],"specification":[29,51,76,84,95,102],"language,":[30],"but":[31],"ideas":[33],"presented":[34],"can":[35],"be":[36],"applied":[37],"equally":[38],"well":[39],"other":[41],"notations.":[44],"The":[45,74,90,122,144],"requires":[48],"for":[52,125],"class,":[54,98],"corresponding":[56],"implementation":[57,162],"in":[58,81,112],"C++,":[59],"specification,":[63,200],"generate":[65,104,152],"execute":[67],"cases,":[69],"evaluate":[71,184],"results.":[73],"defines":[77],"valid":[78],"sequences":[80],"an":[82],"intermediate":[83],"language":[85],"based":[86],"on":[87],"regular":[88],"expressions.":[89],"uses":[92,168],"empty":[105],"shells,":[107],"which":[108],"are":[109,128],"then":[110,159],"filled":[111],"with":[113,163],"data":[116,124],"create":[118],"concrete":[119],"cases.":[121],"method":[127,137,172],"generated":[129],"from":[130],"input":[132],"space":[133],"defined":[134],"by":[135],"pre":[138],"condition":[139,174],"class":[142,177],"invariant.":[143],"applies":[146],"boundary":[147],"value":[148],"analysis":[149],"strategy":[150],"data.":[155],"A":[156],"driver":[158],"executes":[160],"data,":[166],"conjunction":[170],"post":[173],"invariant":[178],"oracle":[182],"results,":[186],"while":[187],"reporting":[188],"failed":[189],"user.":[194],"Key":[195],"Words:":[196],"automated":[197],"testing,":[198],"software":[202],"Category:":[203],"D.2.5":[204]},"counts_by_year":[{"year":2016,"cited_by_count":1}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2016-06-24T00:00:00"}