{"id":"https://openalex.org/W2943730884","doi":"https://doi.org/10.1145/3297280.3297453","title":"JUniVerse","display_name":"JUniVerse","publication_year":2019,"publication_date":"2019-04-08","ids":{"openalex":"https://openalex.org/W2943730884","doi":"https://doi.org/10.1145/3297280.3297453","mag":"2943730884"},"language":"en","primary_location":{"id":"doi:10.1145/3297280.3297453","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3297280.3297453","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"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/A5051572547","display_name":"Omar Javed","orcid":null},"institutions":[{"id":"https://openalex.org/I57201433","display_name":"Universit\u00e0 della Svizzera italiana","ror":"https://ror.org/03c4atk17","country_code":"CH","type":"education","lineage":["https://openalex.org/I57201433"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Omar Javed","raw_affiliation_strings":["Universit\u00e0 della Svizzera italiana, Lugano, Switzerland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e0 della Svizzera italiana, Lugano, Switzerland","institution_ids":["https://openalex.org/I57201433"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042176660","display_name":"Alex Villaz\u00f3n","orcid":"https://orcid.org/0000-0001-8428-3420"},"institutions":[{"id":"https://openalex.org/I4210131140","display_name":"Universidad Privada Boliviana","ror":"https://ror.org/03758j340","country_code":"BO","type":"education","lineage":["https://openalex.org/I4210131140"]}],"countries":["BO"],"is_corresponding":false,"raw_author_name":"Alex Villaz\u00f3n","raw_affiliation_strings":["Universidad Privada Boliviana, Cochabamba, Bolivia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universidad Privada Boliviana, Cochabamba, Bolivia","institution_ids":["https://openalex.org/I4210131140"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5074152163","display_name":"Walter Binder","orcid":"https://orcid.org/0000-0002-2477-2182"},"institutions":[{"id":"https://openalex.org/I57201433","display_name":"Universit\u00e0 della Svizzera italiana","ror":"https://ror.org/03c4atk17","country_code":"CH","type":"education","lineage":["https://openalex.org/I57201433"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Walter Binder","raw_affiliation_strings":["Universit\u00e0 della Svizzera italiana, Lugano, Switzerland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e0 della Svizzera italiana, Lugano, Switzerland","institution_ids":["https://openalex.org/I57201433"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"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.04549958,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1768","last_page":"1775"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":1.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"}},"topics":[{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":1.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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9997000098228455,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.8069517612457275},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.7091983556747437},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.6358822584152222},{"id":"https://openalex.org/keywords/unit-testing","display_name":"Unit testing","score":0.6138662695884705},{"id":"https://openalex.org/keywords/open-source","display_name":"Open source","score":0.5615379214286804},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5187019109725952},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.5132579803466797},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.502886950969696},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4899870455265045},{"id":"https://openalex.org/keywords/scale","display_name":"Scale (ratio)","score":0.4864647090435028},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.4838794469833374},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.48346027731895447},{"id":"https://openalex.org/keywords/open-source-software","display_name":"Open source software","score":0.46420082449913025},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.2736373245716095},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.25489747524261475}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8069517612457275},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.7091983556747437},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.6358822584152222},{"id":"https://openalex.org/C148027188","wikidata":"https://www.wikidata.org/wiki/Q907375","display_name":"Unit testing","level":3,"score":0.6138662695884705},{"id":"https://openalex.org/C3018397939","wikidata":"https://www.wikidata.org/wiki/Q3644502","display_name":"Open source","level":3,"score":0.5615379214286804},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5187019109725952},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.5132579803466797},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.502886950969696},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4899870455265045},{"id":"https://openalex.org/C2778755073","wikidata":"https://www.wikidata.org/wiki/Q10858537","display_name":"Scale (ratio)","level":2,"score":0.4864647090435028},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4838794469833374},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.48346027731895447},{"id":"https://openalex.org/C2988343187","wikidata":"https://www.wikidata.org/wiki/Q1130645","display_name":"Open source software","level":3,"score":0.46420082449913025},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.2736373245716095},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.25489747524261475},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3297280.3297453","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3297280.3297453","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.6299999952316284,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W285841728","https://openalex.org/W1674657720","https://openalex.org/W1987615754","https://openalex.org/W1992322765","https://openalex.org/W2011273231","https://openalex.org/W2026926213","https://openalex.org/W2045945872","https://openalex.org/W2046368282","https://openalex.org/W2051162588","https://openalex.org/W2057049321","https://openalex.org/W2079777989","https://openalex.org/W2108632968","https://openalex.org/W2110374486","https://openalex.org/W2140952846","https://openalex.org/W2141852905","https://openalex.org/W2142958724","https://openalex.org/W2160767434","https://openalex.org/W2167242133","https://openalex.org/W2226278679","https://openalex.org/W2402827504","https://openalex.org/W2404313524","https://openalex.org/W2405916544","https://openalex.org/W2508117657","https://openalex.org/W2511368574","https://openalex.org/W2762844179","https://openalex.org/W2788962378","https://openalex.org/W2793138221","https://openalex.org/W3145806289"],"related_works":["https://openalex.org/W4376877853","https://openalex.org/W1493891899","https://openalex.org/W4250928611","https://openalex.org/W166480398","https://openalex.org/W1612808768","https://openalex.org/W2113128227","https://openalex.org/W2491403535","https://openalex.org/W632256878","https://openalex.org/W2104915799","https://openalex.org/W4311938462"],"abstract_inverted_index":{"Current":[0],"approaches":[1],"for":[2,44,88,191],"analyzing":[3],"large":[4],"number":[5],"of":[6,41,48,95,127,140,159,174,187],"open-source":[7,32,76],"projects":[8,33,77,104,190],"mainly":[9],"focus":[10],"on":[11,15,52,72,85,102,106,114],"data":[12],"mining":[13],"or":[14],"static":[16,115],"analysis":[17,116],"techniques.":[18],"On":[19],"the":[20,79,93,125,138,147,168],"contrary,":[21],"research":[22],"applying":[23],"dynamic":[24],"analyses":[25],"such":[26],"as":[27,132],"Runtime":[28],"Verification":[29],"(RV)":[30],"to":[31,39,68,117,146,167,183],"is":[34,37],"scarce.":[35],"This":[36],"due":[38],"lack":[40],"automatic":[42],"means":[43],"executing":[45],"arbitrary":[46],"pieces":[47],"software":[49],"that":[50,156],"rely":[51],"complex":[53],"dependencies":[54],"and":[55,136,189],"input":[56],"parameters.":[57],"In":[58],"this":[59],"paper,":[60],"we":[61,129,180],"present":[62],"a":[63,86,99,110,133,185],"fully":[64],"automated":[65],"infrastructure,":[66],"JUniVerse,":[67,128,179],"conduct":[69],"large-scale":[70,100],"studies":[71],"unit":[73,151,172],"tests":[74,173],"in":[75,78],"wild.":[80],"The":[81],"proposed":[82],"infrastructure":[83],"runs":[84],"cluster":[87],"parallel":[89],"execution.":[90],"We":[91,108],"demonstrate":[92],"effectiveness":[94],"JUniVerse":[96],"by":[97,150,171],"conducting":[98],"study":[101,154],"Java":[103],"hosted":[105],"GitHub.":[107],"apply":[109],"selection":[111],"criteria":[112],"based":[113],"select":[118],"3":[119],"490":[120],"active":[121],"projects.":[122,176],"To":[123],"show":[124],"feasibility":[126],"choose":[130],"RV":[131,193],"case":[134],"study,":[135],"investigate":[137],"applicability":[139],"182":[141],"publicly":[142],"available":[143],"JavaMOP":[144],"specifications":[145,161],"code":[148,169],"exercised":[149,170],"tests.":[152],"Our":[153],"reveals":[155],"37":[157],"(out":[158],"182)":[160],"(i.e.,":[162],"20%)":[163],"are":[164,181],"not":[165],"applicable":[166],"real-world":[175],"Finally,":[177],"with":[178],"able":[182],"identify":[184],"set":[186],"specs":[188],"future":[192],"studies.":[194]},"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2019-05-09T00:00:00"}