{"id":"https://openalex.org/W7097011964","doi":null,"title":"Producing Test Cases Robotically by Using Specification Mining and Code Coverage","display_name":"Producing Test Cases Robotically by Using Specification Mining and Code Coverage","publication_year":2013,"publication_date":"2013-11-06","ids":{"openalex":"https://openalex.org/W7097011964"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.374.8843","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.374.8843","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.ijerd.com/paper/vol5-issue12/B05121017.pdf","raw_type":"text"},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Ms. S. Vydehi","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ms. S. Vydehi","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":null,"display_name":"Ms. Sathyabama B","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ms. Sathyabama B","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.6164104,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":true,"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/T10260","display_name":"Software Engineering Research","score":0.0,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.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"}}],"keywords":[{"id":"https://openalex.org/keywords/specification-mining","display_name":"specification mining","score":0.8130000233650208},{"id":"https://openalex.org/keywords/code-coverage","display_name":"code coverage","score":0.7540000081062317},{"id":"https://openalex.org/keywords/test-case-generation","display_name":"test case generation","score":0.777999997138977},{"id":"https://openalex.org/keywords/test-suite-minimization","display_name":"test suite reduction","score":0.765999972820282},{"id":"https://openalex.org/keywords/bug-finding","display_name":"bug detection","score":0.6430000066757202},{"id":"https://openalex.org/keywords/false-positive-results","display_name":"false positives","score":0.6629999876022339},{"id":"https://openalex.org/keywords/formal-verification","display_name":"formal verification","score":0.9179999828338623},{"id":"https://openalex.org/keywords/error-diagnosis","display_name":"error diagnosis","score":0.6140000224113464},{"id":"https://openalex.org/keywords/software-testing","display_name":"software testing","score":0.42899999022483826}],"concepts":[{"id":"https://openalex.org/C53942775","wikidata":"https://www.wikidata.org/wiki/Q1211721","display_name":"Code coverage","level":3,"score":0.7419000267982483},{"id":"https://openalex.org/C151552104","wikidata":"https://www.wikidata.org/wiki/Q7705809","display_name":"Test suite","level":4,"score":0.7324000000953674},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7156000137329102},{"id":"https://openalex.org/C97256817","wikidata":"https://www.wikidata.org/wiki/Q1462316","display_name":"Spurious relationship","level":2,"score":0.6884999871253967},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.5425999760627747},{"id":"https://openalex.org/C169168650","wikidata":"https://www.wikidata.org/wiki/Q1675637","display_name":"Keyword-driven testing","level":5,"score":0.5396999716758728},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.5206999778747559},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.4921000003814697},{"id":"https://openalex.org/C152124472","wikidata":"https://www.wikidata.org/wiki/Q1204361","display_name":"Redundancy (engineering)","level":2,"score":0.48579999804496765},{"id":"https://openalex.org/C182122060","wikidata":"https://www.wikidata.org/wiki/Q6752328","display_name":"Manual testing","level":5,"score":0.4778999984264374},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4733000099658966},{"id":"https://openalex.org/C2780009758","wikidata":"https://www.wikidata.org/wiki/Q6804172","display_name":"Measure (data warehouse)","level":2,"score":0.46070000529289246},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4586000144481659},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.4399999976158142},{"id":"https://openalex.org/C109086967","wikidata":"https://www.wikidata.org/wiki/Q2509100","display_name":"Test script","level":4,"score":0.43880000710487366},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4296000003814697},{"id":"https://openalex.org/C7435765","wikidata":"https://www.wikidata.org/wiki/Q7705776","display_name":"Test Management Approach","level":5,"score":0.4268999993801117},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.4090000092983246},{"id":"https://openalex.org/C162443782","wikidata":"https://www.wikidata.org/wiki/Q1066228","display_name":"White-box testing","level":5,"score":0.40369999408721924},{"id":"https://openalex.org/C86469151","wikidata":"https://www.wikidata.org/wiki/Q917415","display_name":"Non-regression testing","level":5,"score":0.3785000145435333},{"id":"https://openalex.org/C161821725","wikidata":"https://www.wikidata.org/wiki/Q917415","display_name":"Regression testing","level":5,"score":0.3734999895095825},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.37040001153945923},{"id":"https://openalex.org/C16910744","wikidata":"https://www.wikidata.org/wiki/Q7705759","display_name":"Test data","level":2,"score":0.3603000044822693},{"id":"https://openalex.org/C106159264","wikidata":"https://www.wikidata.org/wiki/Q17146789","display_name":"Random testing","level":4,"score":0.3237999975681305},{"id":"https://openalex.org/C126953365","wikidata":"https://www.wikidata.org/wiki/Q5438152","display_name":"Fault coverage","level":3,"score":0.3158000111579895},{"id":"https://openalex.org/C111065885","wikidata":"https://www.wikidata.org/wiki/Q1189053","display_name":"Fuzz testing","level":3,"score":0.3034999966621399},{"id":"https://openalex.org/C109852812","wikidata":"https://www.wikidata.org/wiki/Q2406355","display_name":"Test harness","level":5,"score":0.301800012588501},{"id":"https://openalex.org/C188598960","wikidata":"https://www.wikidata.org/wiki/Q7705805","display_name":"Test strategy","level":3,"score":0.2962000072002411},{"id":"https://openalex.org/C79581498","wikidata":"https://www.wikidata.org/wiki/Q1367530","display_name":"Suite","level":2,"score":0.2838999927043915},{"id":"https://openalex.org/C108913964","wikidata":"https://www.wikidata.org/wiki/Q2376856","display_name":"System under test","level":4,"score":0.2806999981403351},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.2766999900341034},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.27619999647140503},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2734000086784363},{"id":"https://openalex.org/C29652920","wikidata":"https://www.wikidata.org/wiki/Q7705757","display_name":"Test compression","level":4,"score":0.2705000042915344},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.26739999651908875},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.257099986076355},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.2547000050544739},{"id":"https://openalex.org/C17626397","wikidata":"https://www.wikidata.org/wiki/Q837455","display_name":"Automatic test pattern generation","level":3,"score":0.2533000111579895},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.2524000108242035}],"mesh":[],"locations_count":1,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.374.8843","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.374.8843","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.ijerd.com/paper/vol5-issue12/B05121017.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W3147785239","https://openalex.org/W2145020764","https://openalex.org/W1531717019","https://openalex.org/W99582078","https://openalex.org/W1983981400","https://openalex.org/W1967878152","https://openalex.org/W2211657984","https://openalex.org/W2037721516","https://openalex.org/W2944435684","https://openalex.org/W2584780271"],"abstract_inverted_index":{"Abstract:-":[0],"Mining":[1],"specifications":[2],"and":[3,52,72,178,228],"using":[4],"them":[5],"for":[6,135,160],"bug":[7],"detection":[8],"is":[9,64,80,133,167,204,237],"a":[10,32,211,216,230],"promising":[11],"way":[12],"to":[13,34,81,102,146,173,194,225],"reveal":[14],"bugs":[15],"in":[16,62,86,114,119],"programs.":[17],"Existing":[18],"approaches":[19,41],"suffer":[20],"from":[21],"two":[22],"problems.":[23],"First,":[24],"dynamic":[25],"specification":[26,163,189],"miners":[27],"require":[28],"input":[29],"that":[30,45,49,169],"drives":[31],"program":[33,212],"generate":[35],"common":[36],"usage":[37],"patterns.":[38],"Second,":[39],"existing":[40],"report":[42],"false":[43],"positives,":[44],"is,":[46],"spurious":[47],"warnings":[48],"mislead":[50],"developers":[51],"reduce":[53,82,103],"the":[54,57,69,83,90,104,176,187,205],"practicability":[55],"of":[56,77,92,106,207,210,218,233,241],"approach.":[58],"The":[59,75,129],"time":[60,84],"spent":[61,85],"testing":[63,73,87],"mainly":[65],"concerned":[66],"with":[67],"generating":[68],"test":[70,93,107,115,127,131,219,223],"cases":[71,116,224],"them.":[74],"goal":[76],"this":[78,96,199],"paper":[79],"by":[88,124,215],"reducing":[89],"number":[91,105],"cases.":[94,108,128],"For":[95],"data":[97],"mining":[98,110,142],"techniques":[99],"are":[100,185],"incorporated":[101,123],"Data":[109],"finds":[111],"similar":[112],"patterns":[113],"which":[117,137,236],"helped":[118],"finding":[120,208],"out":[121],"redundancy":[122],"automatic":[125],"generated":[126],"final":[130],"suite":[132],"tested":[134],"coverage":[136,202,227],"yielded":[138],"good":[139],"results.":[140],"Specification":[141],"not":[143,182,213],"only":[144],"helps":[145],"automate":[147],"coverage-":[148],"driven":[149],"simulation":[150],"or":[151],"formal":[152],"verification,":[153],"it":[154],"can":[155,170],"also":[156],"provide":[157],"useful":[158],"information":[159],"diagnosis.":[161],"A":[162],"mining-based":[164],"diagnosis":[165],"framework":[166],"proposed":[168],"be":[171,191,195],"used":[172],"simultaneously":[174],"understand":[175],"error":[177],"locate":[179],"it.":[180],"If":[181],"enough":[183],"tests":[184],"available,":[186],"resulting":[188],"may":[190],"too":[192],"incomplete":[193],"useful.":[196],"To":[197],"solve":[198],"problem":[200],"Code":[201],"analysis":[203],"process":[206],"areas":[209],"exercised":[214],"set":[217],"cases,":[220],"creating":[221],"additional":[222],"increase":[226],"determining":[229],"quantitative":[231],"measure":[232,240],"code":[234],"coverage,":[235],"an":[238],"indirect":[239],"quality.":[242]},"counts_by_year":[],"updated_date":"2026-08-26T07:47:46.906454","created_date":"2025-10-27T00:00:00"}