{"id":"https://openalex.org/W2017357832","doi":"https://doi.org/10.5555/800099.803225","title":"Automatic revision of formal test procedures","display_name":"Automatic revision of formal test procedures","publication_year":1978,"publication_date":"1978-05-10","ids":{"openalex":"https://openalex.org/W2017357832","doi":"https://doi.org/10.5555/800099.803225","mag":"2017357832"},"language":"en","primary_location":{"id":"mag:2017357832","doi":"https://doi.org/10.5555/800099.803225","is_oa":false,"landing_page_url":"http://dblp.uni-trier.de/db/conf/icse/icse78.html#Panzl78","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"International Conference on Software Engineering","raw_type":null},"volume":null,"type":"conference-paper","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":"https://openalex.org/A5073873333","display_name":"David J. Panzl","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"David J. Panzl","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5073873333"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.6458,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.59322034,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"320","last_page":"326"},"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/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"}},{"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"}}],"keywords":[{"id":"https://openalex.org/keywords/model-output","display_name":"model output","score":0.7279999852180481},{"id":"https://openalex.org/keywords/test-automation","display_name":"test automation","score":0.5559999942779541},{"id":"https://openalex.org/keywords/test-data-generation","display_name":"test data generation","score":0.7289999723434448}],"concepts":[{"id":"https://openalex.org/C109852812","wikidata":"https://www.wikidata.org/wiki/Q2406355","display_name":"Test harness","level":5,"score":0.7974168062210083},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7876357436180115},{"id":"https://openalex.org/C7435765","wikidata":"https://www.wikidata.org/wiki/Q7705776","display_name":"Test Management Approach","level":5,"score":0.6852097511291504},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.6262125372886658},{"id":"https://openalex.org/C109086967","wikidata":"https://www.wikidata.org/wiki/Q2509100","display_name":"Test script","level":4,"score":0.5923234820365906},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5626428723335266},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.5519570112228394},{"id":"https://openalex.org/C108913964","wikidata":"https://www.wikidata.org/wiki/Q2376856","display_name":"System under test","level":4,"score":0.5484453439712524},{"id":"https://openalex.org/C182122060","wikidata":"https://www.wikidata.org/wiki/Q6752328","display_name":"Manual testing","level":5,"score":0.5436330437660217},{"id":"https://openalex.org/C151552104","wikidata":"https://www.wikidata.org/wiki/Q7705809","display_name":"Test suite","level":4,"score":0.5322301983833313},{"id":"https://openalex.org/C169168650","wikidata":"https://www.wikidata.org/wiki/Q1675637","display_name":"Keyword-driven testing","level":5,"score":0.5146740078926086},{"id":"https://openalex.org/C16910744","wikidata":"https://www.wikidata.org/wiki/Q7705759","display_name":"Test data","level":2,"score":0.48754212260246277},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.48026323318481445},{"id":"https://openalex.org/C162443782","wikidata":"https://www.wikidata.org/wiki/Q1066228","display_name":"White-box testing","level":5,"score":0.45554912090301514},{"id":"https://openalex.org/C161821725","wikidata":"https://www.wikidata.org/wiki/Q917415","display_name":"Regression testing","level":5,"score":0.44135791063308716},{"id":"https://openalex.org/C86469151","wikidata":"https://www.wikidata.org/wiki/Q917415","display_name":"Non-regression testing","level":5,"score":0.4121800661087036},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.39898765087127686},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.37917137145996094},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.3014126718044281},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.2833865284919739},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.09743833541870117},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.09028038382530212},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"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/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:2017357832","doi":"https://doi.org/10.5555/800099.803225","is_oa":false,"landing_page_url":"http://dblp.uni-trier.de/db/conf/icse/icse78.html#Panzl78","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"International Conference on Software Engineering","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":3,"referenced_works":["https://openalex.org/W86846735","https://openalex.org/W2058950824","https://openalex.org/W2099902015"],"related_works":["https://openalex.org/W86846735","https://openalex.org/W2058950824","https://openalex.org/W2099902015","https://openalex.org/W2112262996","https://openalex.org/W7096000446","https://openalex.org/W2360532990","https://openalex.org/W1893608329","https://openalex.org/W1979976295","https://openalex.org/W2147480757","https://openalex.org/W2355167090"],"abstract_inverted_index":{"An":[0,21],"automatic":[1,22,57,159],"software":[2,10,19,36,84,93,160],"test":[3,23,30,37,40,44,47,58,101,104,116,140,161,176],"driver":[4,24,162],"is":[5,25,155],"a":[6,28,34,77,88,139],"new":[7],"type":[8],"of":[9,18,50,56,100,124,135,138,143,175],"tool":[11],"which":[12,121,146],"controls":[13],"and":[14,46,68,72,80,95,117,172],"monitors":[15],"the":[16,43,63,98,113,125,136,152,169],"execution":[17,90,102],"tests.":[20],"controlled":[26],"by":[27],"formal":[29],"procedure":[31,41,105,141,177],"coded":[32],"in":[33,164],"special":[35],"language.":[38],"The":[39,53,157],"replaces":[42],"data":[45,108],"setup":[48,91],"instructions":[49],"conventional":[51],"testing.":[52],"specific":[54],"goals":[55],"drivers":[59,67],"are":[60,128],"to":[61,75,86,96,109,112],"eliminate":[62],"need":[64],"for":[65,70,82,92],"writing":[66],"stubs":[69],"module":[71],"subsystem":[73],"testing,":[74],"provide":[76,87],"standard":[78,89],"format":[79],"language":[81],"specifying":[83],"tests,":[85,94],"automate":[97],"verification":[99],"results.A":[103],"contains":[106],"input":[107],"be":[110,148],"supplied":[111],"program":[114,127,154],"under":[115],"model":[118,144,178],"outputs":[119,123,145],"against":[120],"actual":[122],"target":[126,153],"verified.":[129],"Typically,":[130],"ninety":[131],"percent":[132],"or":[133],"more":[134],"text":[137],"consists":[142],"must":[147],"revised":[149],"each":[150],"time":[151],"modified.":[156],"TPL/2.0":[158],"described":[163],"this":[165],"paper":[166],"automates":[167],"both":[168],"initial":[170],"generation":[171],"subsequent":[173],"revision":[174],"outputs.":[179]},"counts_by_year":[],"updated_date":"2026-10-12T09:40:04.860316","created_date":"2016-06-24T00:00:00"}