{"id":"https://openalex.org/W4211156543","doi":"https://doi.org/10.1002/(sici)1099-1689(199906)9:2<83::aid-stvr183>3.0.co;2-i","title":"Editorial","display_name":"Editorial","publication_year":1999,"publication_date":"1999-06-01","ids":{"openalex":"https://openalex.org/W4211156543","doi":"https://doi.org/10.1002/(sici)1099-1689(199906)9:2<83::aid-stvr183>3.0.co;2-i"},"language":"en","primary_location":{"id":"doi:10.1002/(sici)1099-1689(199906)9:2<83::aid-stvr183>3.0.co;2-i","is_oa":true,"landing_page_url":"https://doi.org/10.1002/(sici)1099-1689(199906)9:2<83::aid-stvr183>3.0.co;2-i","pdf_url":"https://onlinelibrary.wiley.com/doi/pdfdirect/10.1002/%28SICI%291099-1689%28199906%299%3A2%3C83%3A%3AAID-STVR183%3E3.0.CO%3B2-I","source":{"id":"https://openalex.org/S83624231","display_name":"Software Testing Verification and Reliability","issn_l":"0960-0833","issn":["0960-0833","1099-1689"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software Testing, Verification and Reliability","raw_type":"journal-article"},"type":"editorial","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://onlinelibrary.wiley.com/doi/pdfdirect/10.1002/%28SICI%291099-1689%28199906%299%3A2%3C83%3A%3AAID-STVR183%3E3.0.CO%3B2-I","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5112242034","display_name":"Martin R. Woodward","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Martin Woodward","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5112242034"],"corresponding_institution_ids":[],"apc_list":{"value":3760,"currency":"USD","value_usd":3760},"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.53116227,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"9","issue":"2","first_page":"83","last_page":"84"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","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/T12423","display_name":"Software Reliability and Analysis Research","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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998999834060669,"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.9991000294685364,"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/citation","display_name":"Citation","score":0.6278135180473328},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6107038259506226},{"id":"https://openalex.org/keywords/library-science","display_name":"Library science","score":0.45872730016708374},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.40218985080718994},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.32760170102119446}],"concepts":[{"id":"https://openalex.org/C2778805511","wikidata":"https://www.wikidata.org/wiki/Q1713","display_name":"Citation","level":2,"score":0.6278135180473328},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6107038259506226},{"id":"https://openalex.org/C161191863","wikidata":"https://www.wikidata.org/wiki/Q199655","display_name":"Library science","level":1,"score":0.45872730016708374},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.40218985080718994},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.32760170102119446}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1002/(sici)1099-1689(199906)9:2<83::aid-stvr183>3.0.co;2-i","is_oa":true,"landing_page_url":"https://doi.org/10.1002/(sici)1099-1689(199906)9:2<83::aid-stvr183>3.0.co;2-i","pdf_url":"https://onlinelibrary.wiley.com/doi/pdfdirect/10.1002/%28SICI%291099-1689%28199906%299%3A2%3C83%3A%3AAID-STVR183%3E3.0.CO%3B2-I","source":{"id":"https://openalex.org/S83624231","display_name":"Software Testing Verification and Reliability","issn_l":"0960-0833","issn":["0960-0833","1099-1689"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software Testing, Verification and Reliability","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1002/(sici)1099-1689(199906)9:2<83::aid-stvr183>3.0.co;2-i","is_oa":true,"landing_page_url":"https://doi.org/10.1002/(sici)1099-1689(199906)9:2<83::aid-stvr183>3.0.co;2-i","pdf_url":"https://onlinelibrary.wiley.com/doi/pdfdirect/10.1002/%28SICI%291099-1689%28199906%299%3A2%3C83%3A%3AAID-STVR183%3E3.0.CO%3B2-I","source":{"id":"https://openalex.org/S83624231","display_name":"Software Testing Verification and Reliability","issn_l":"0960-0833","issn":["0960-0833","1099-1689"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Software Testing, Verification and Reliability","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4211156543.pdf","grobid_xml":"https://content.openalex.org/works/W4211156543.grobid-xml"},"referenced_works_count":9,"referenced_works":["https://openalex.org/W1705210632","https://openalex.org/W1964992116","https://openalex.org/W2005973420","https://openalex.org/W2063825888","https://openalex.org/W2086633531","https://openalex.org/W2111619838","https://openalex.org/W2136988154","https://openalex.org/W2987907651","https://openalex.org/W6667847518"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2478288626","https://openalex.org/W2350741829","https://openalex.org/W2530322880","https://openalex.org/W1596801655"],"abstract_inverted_index":{"V":[0],"is":[1,53,64,81,348,364],"for":[2,18,193],"VerificationThis":[3],"issue":[4,135],"of":[5,50,59,97,103,109,115,126,142,161,180,190,205,222,236,256,266,276,285,309,331],"STVR":[6,16],"contains":[7],"two":[8,129],"papers":[9,30,130,208,221],"on":[10,31,131,158,167,184,231,289,297],"verification.Of":[11],"course":[12,182,196],"the":[13,24,48,51,54,68,73,88,101,106,116,128,181,195,206,210,220,233,237,248,257,262,293,310,329,345,361,365,372,384,405,428],"'V'":[14],"in":[15,76,133,209,300,302,328,434,439],"stands":[17],"'verification',":[19],"yet":[20],"as":[21,99,215,283,313,381,383],"it":[22,42,144,314,323,390,392],"happens,":[23],"journal":[25],"has":[26],"published":[27,425],"far":[28,441],"fewer":[29],"this":[32,91,134,139,269,407],"topic":[33],"than":[34,431],"one":[35],"might":[36,216],"imagine.Perhaps":[37],"before":[38],"going":[39],"any":[40],"further":[41],"would":[43],"be":[44,174,217],"wise":[45],"to":[46,78,122,163,201,232,253,316,355,360,376,409],"clarify":[47],"meaning":[49],"term.There":[52],"clever":[55],"and":[56,93,187,225,228,259,264,344,391,422],"much-cited":[57],"quote":[58],"Boehm":[60],"(1984)":[61],"that":[62,105,177,336,415,426],"verification":[63,98,125,132,160,212,291,318,438],"concerned":[65,82,137],"with":[66,83,138,219,436],"answering":[67],"question:":[69],"'Am":[70,85],"I":[71,86,146,197,251,271,321,401],"building":[72,87],"product":[74],"right?',":[75],"contrast":[77],"validation":[79],"which":[80,153],"answering:":[84],"right":[89],"product?'.Despite":[90],"implicit":[92],"fairly":[94],"general":[95],"definition":[96],"being":[100],"act":[102],"checking":[104],"internal":[107],"workings":[108],"software":[110],"are":[111,136],"correct,":[112],"popular":[113],"usage":[114],"word":[117],"'verification'":[118],"often":[119],"refers":[120],"just":[121],"formal":[123,159,185,188,211,267,317,437],"(mathematical)":[124],"software.Certainly":[127],"latter":[140],"aspect":[141],"verification.As":[143],"happens":[145],"have":[147,198,272,368],"recently":[148],"been":[149,199,369],"teaching":[150,194],"a":[151,155,273,278,286,307,326,332,349,377,394,412,417,440],"course,":[152],"includes":[154],"major":[156],"section":[157],"programs,":[162],"third":[164],"year":[165,413],"undergraduates":[166],"our":[168],"computer":[169],"science":[170],"degree":[171],"programme.It":[172],"will":[173],"no":[175],"surprise":[176],"other":[178],"parts":[179],"focus":[183],"specification":[186],"derivation":[189],"programs.In":[191],"preparation":[192],"back":[200,375],"look":[202],"at":[203,292,338],"some":[204],"influential":[207],"field.I":[213],"started,":[214],"expected,":[218],"Floyd":[223],"(1967)":[224],"Hoare":[226],"(1969)":[227],"then":[229,353],"progressed":[230],"first":[234],"part":[235,284],"excellent":[238],"two-part":[239],"survey":[240],"by":[241,280,404,419],"Apt":[242],"(1981Apt":[243],"(":[244],",":[245],"1984)).However,":[246],"besides":[247],"technical":[249],"aspects,":[250],"wanted":[252],"remind":[254],"myself":[255],"arguments":[258],"discussion":[260],"concerning":[261],"appropriateness":[263],"usefulness":[265],"verification.In":[268],"connection,":[270],"strong":[274],"memory":[275],"attending":[277],"presentation":[279],"Richard":[281],"Waldinger":[282],"tutorial":[287],"session":[288],"program":[290],"Third":[294],"International":[295],"Conference":[296],"Software":[298],"Engineering":[299],"Atlanta":[301],"1978,":[303],"where":[304],"he":[305],"gave":[306],"drawing":[308],"'innovation-acceptance":[311],"cycle'":[312],"applied":[315],"(King,":[319],"1978).As":[320],"recall,":[322],"was":[324,393,402,424],"essentially":[325],"graph":[327],"shape":[330],"damped":[333],"sinusoidal":[334],"curve":[335,352,373],"started":[337],"its":[339,356],"deepest":[340],"trough":[341],"representing":[342],"innovation":[343],"thought:":[346,362],"'this":[347,363],"far-fetched":[350],"idea'.The":[351],"oscillated":[354],"highest":[357],"peak":[358],"corresponding":[359,386],"answer":[366],"we":[367],"looking":[370],"for'.Then":[371],"swung":[374],"trough,":[378],"not":[379],"quite":[380],"deep":[382],"first,":[385],"to:":[387],"'we":[388],"tried":[389],"big":[395],"flop'.As":[396],"readers":[397],"can":[398],"probably":[399],"tell,":[400],"impressed":[403],"insight":[406],"seemed":[408],"offer.Anyway,":[410],"about":[411],"after":[414],"conference,":[416],"paper":[418],"DeMillo,":[420],"Lipton":[421],"Perlis":[423],"tackled":[427],"people-oriented,":[429],"rather":[430],"technical,":[432],"processes":[433],"connection":[435],"more":[442],"direct":[443],"fashion.":[444]},"counts_by_year":[],"updated_date":"2026-03-11T06:11:40.159057","created_date":"2022-02-13T00:00:00"}