{"id":"https://openalex.org/W2146993371","doi":null,"title":"Invariant detection meets Random test case generation","display_name":"Invariant detection meets Random test case generation","publication_year":2011,"publication_date":"2011-12-13","ids":{"openalex":"https://openalex.org/W2146993371","mag":"2146993371"},"language":"en","primary_location":{"id":"pmh:oai:repositorium.sdum.uminho.pt:1822/27931","doi":null,"is_oa":true,"landing_page_url":"http://hdl.handle.net/1822/27931","pdf_url":"http://hdl.handle.net/1822/27931","source":{"id":"https://openalex.org/S4306402433","display_name":"Portuguese National Funding Agency for Science, Research and Technology (RCAAP Project by FCT)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"master thesis"},"volume":null,"type":"dissertation","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/1822/27931","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5016739219","display_name":"Tiago Alves Veloso","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Tiago Alves Veloso","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5016739219"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"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.0,"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/T10126","display_name":"Logic, programming, and type systems","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/test-case-generation","display_name":"test case generation","score":0.9010000228881836},{"id":"https://openalex.org/keywords/random-test-generation","display_name":"random test generation","score":0.7160000205039978},{"id":"https://openalex.org/keywords/invariant-detection","display_name":"invariant detection","score":0.8659999966621399},{"id":"https://openalex.org/keywords/software-testing","display_name":"software testing","score":0.8930000066757202},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.7689999938011169},{"id":"https://openalex.org/keywords/conformance-checking","display_name":"conformance checking","score":0.6290000081062317}],"concepts":[{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.7305673956871033},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6651077270507812},{"id":"https://openalex.org/C33054407","wikidata":"https://www.wikidata.org/wiki/Q6504747","display_name":"Software verification","level":5,"score":0.5817168951034546},{"id":"https://openalex.org/C48002344","wikidata":"https://www.wikidata.org/wiki/Q2919644","display_name":"Verification and validation","level":2,"score":0.5562015771865845},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.4914039373397827},{"id":"https://openalex.org/C52928878","wikidata":"https://www.wikidata.org/wiki/Q7554226","display_name":"Software reliability testing","level":5,"score":0.4545617699623108},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4468216300010681},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.4060443043708801},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3847915828227997},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.22461631894111633},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:repositorium.sdum.uminho.pt:1822/27931","doi":null,"is_oa":true,"landing_page_url":"http://hdl.handle.net/1822/27931","pdf_url":"http://hdl.handle.net/1822/27931","source":{"id":"https://openalex.org/S4306402433","display_name":"Portuguese National Funding Agency for Science, Research and Technology (RCAAP Project by FCT)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"master thesis"},{"id":"pmh:oai:repositorium.uminho.pt:1822/27931","doi":null,"is_oa":true,"landing_page_url":"https://hdl.handle.net/1822/27931","pdf_url":null,"source":{"id":"https://openalex.org/S4306401240","display_name":"Reposit\u00f3riUM (Universidade do Minho)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I99682543","host_organization_name":"University of Minho","host_organization_lineage":["https://openalex.org/I99682543"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/masterThesis"},{"id":"mag:2146993371","doi":null,"is_oa":false,"landing_page_url":"https://mei.di.uminho.pt/sites/default/files/dissertacoes/eeum_di_dissertacao_pg15220.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"pmh:oai:repositorium.sdum.uminho.pt:1822/27931","doi":null,"is_oa":true,"landing_page_url":"http://hdl.handle.net/1822/27931","pdf_url":"http://hdl.handle.net/1822/27931","source":{"id":"https://openalex.org/S4306402433","display_name":"Portuguese National Funding Agency for Science, Research and Technology (RCAAP Project by FCT)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"master thesis"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2146993371.pdf","grobid_xml":"https://content.openalex.org/works/W2146993371.grobid-xml"},"referenced_works_count":73,"referenced_works":["https://openalex.org/W192585322","https://openalex.org/W335711039","https://openalex.org/W649671021","https://openalex.org/W1495334377","https://openalex.org/W1501731334","https://openalex.org/W1519148922","https://openalex.org/W1522465028","https://openalex.org/W1533857697","https://openalex.org/W1534705063","https://openalex.org/W1577525693","https://openalex.org/W1578837114","https://openalex.org/W1592653808","https://openalex.org/W1608087281","https://openalex.org/W1616208858","https://openalex.org/W1625627404","https://openalex.org/W1797377815","https://openalex.org/W1811709508","https://openalex.org/W1819344253","https://openalex.org/W1845141169","https://openalex.org/W1845288303","https://openalex.org/W1877129949","https://openalex.org/W1932816805","https://openalex.org/W1965194038","https://openalex.org/W1973554267","https://openalex.org/W1987237000","https://openalex.org/W1990543981","https://openalex.org/W1998393968","https://openalex.org/W2001859357","https://openalex.org/W2029976661","https://openalex.org/W2033072042","https://openalex.org/W2047694629","https://openalex.org/W2058228613","https://openalex.org/W2074644416","https://openalex.org/W2077258409","https://openalex.org/W2082172430","https://openalex.org/W2084093324","https://openalex.org/W2095850105","https://openalex.org/W2096956640","https://openalex.org/W2098115125","https://openalex.org/W2098765895","https://openalex.org/W2099002121","https://openalex.org/W2102336971","https://openalex.org/W2103663553","https://openalex.org/W2106860490","https://openalex.org/W2107709519","https://openalex.org/W2107751709","https://openalex.org/W2110311336","https://openalex.org/W2110908283","https://openalex.org/W2114178685","https://openalex.org/W2115818354","https://openalex.org/W2115919801","https://openalex.org/W2118155805","https://openalex.org/W2119717320","https://openalex.org/W2120250853","https://openalex.org/W2125281099","https://openalex.org/W2125940008","https://openalex.org/W2126144212","https://openalex.org/W2136310957","https://openalex.org/W2139587893","https://openalex.org/W2143712427","https://openalex.org/W2145020764","https://openalex.org/W2149987967","https://openalex.org/W2154897437","https://openalex.org/W2156118771","https://openalex.org/W2159292690","https://openalex.org/W2165413178","https://openalex.org/W2166992259","https://openalex.org/W2167505017","https://openalex.org/W2170682382","https://openalex.org/W2295399529","https://openalex.org/W2484530857","https://openalex.org/W2950477885","https://openalex.org/W2962977214"],"related_works":["https://openalex.org/W7100422391","https://openalex.org/W2332676153","https://openalex.org/W1967498159","https://openalex.org/W2117411048","https://openalex.org/W2374707652","https://openalex.org/W2126293135","https://openalex.org/W2139459831","https://openalex.org/W2115220156","https://openalex.org/W2317041024","https://openalex.org/W146968190"],"abstract_inverted_index":{"Full":[0],"fledged":[1,82],"verification":[2],"of":[3,23,29,78,105,110,137,140,163,169],"software":[4,31,97,111,141],"ensures":[5],"correction":[6],"to":[7,32,68,93,119,122,129,148],"a":[8,108,131],"level":[9,77],"that":[10,38,58,107],"no":[11],"other":[12],"technique":[13,92],"can":[14,72],"reach.":[15],"However":[16],"it":[17,36,84,118],"requires":[18,37],"precise":[19],"and":[20,26,46,61,90,173],"unambiguous":[21],"specifications":[22,40],"requirements,":[24],"functionality":[25],"technical":[27],"aspects":[28],"the":[30,43,75,86,101,115,127,135,138,160,164,167,177,185],"be":[33,48],"verified.":[34],"Furthermore,":[35],"these":[39],"together":[41],"with":[42],"produced":[44],"models":[45],"code":[47],"checked":[49],"for":[50,176],"conformity.":[51],"This":[52,152],"represents":[53],"beyond":[54],"doubt":[55],"an":[56,154],"investment":[57],"most":[59,87,102],"developers":[60,116],"companies":[62],"are":[63],"neither":[64],"able":[65],"nor":[66],"willing":[67],"make.":[69],"Although":[70],"testing":[71],"not":[73],"reach":[74],"same":[76],"assurance":[79],"as":[80],"full":[81],"verification,":[83],"is":[85,100,112,153],"widely":[88],"accepted":[89],"used":[91],"validate":[94],"expectations":[95],"about":[96],"products.":[98],"Testing":[99,146],"natural":[103],"way":[104],"checking":[106],"piece":[109],"doing":[113],"what":[114],"expect":[117],"do.":[120],"Improvements":[121],"test":[123,170],"case":[124,171],"generation":[125,172],"have":[126],"potential":[128],"produce":[130],"great":[132],"impact":[133],"in":[134,166,184],"state":[136,162],"art":[139,165],"engineering,":[142],"by":[143],"putting":[144],"Software":[145,150],"closer":[147],"Formal":[149],"Verification.":[151],"exploratory":[155],"project,":[156],"aimed":[157],"at":[158],"surveying":[159],"current":[161],"field":[168],"related":[174],"techniques":[175],"Java":[178],"language,":[179],"eventually":[180],"suggesting":[181],"possible":[182],"advancements":[183],"field.":[186]},"counts_by_year":[],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2016-06-24T00:00:00"}