{"id":"https://openalex.org/W2268105597","doi":"https://doi.org/10.1145/2830719.2830727","title":"Environment Modeling Using Runtime Values for JPF-Android","display_name":"Environment Modeling Using Runtime Values for JPF-Android","publication_year":2015,"publication_date":"2015-11-11","ids":{"openalex":"https://openalex.org/W2268105597","doi":"https://doi.org/10.1145/2830719.2830727","mag":"2268105597"},"language":"en","primary_location":{"id":"doi:10.1145/2830719.2830727","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2830719.2830727","pdf_url":null,"source":{"id":"https://openalex.org/S186921487","display_name":"ACM SIGSOFT Software Engineering Notes","issn_l":"0163-5948","issn":["0163-5948","1943-5843"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM SIGSOFT Software Engineering Notes","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://ntrs.nasa.gov/api/citations/20160000935/downloads/20160000935.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5036446861","display_name":"Heila van der Merwe","orcid":null},"institutions":[{"id":"https://openalex.org/I26092322","display_name":"Stellenbosch University","ror":"https://ror.org/05bk57929","country_code":"ZA","type":"education","lineage":["https://openalex.org/I26092322"]}],"countries":["ZA"],"is_corresponding":false,"raw_author_name":"Heila van der Merwe","raw_affiliation_strings":["University of Stellenbosch, South Africa"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Stellenbosch, South Africa","institution_ids":["https://openalex.org/I26092322"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112571440","display_name":"Oksana Tkachuk","orcid":null},"institutions":[{"id":"https://openalex.org/I1280536761","display_name":"Ames Research Center","ror":"https://ror.org/02acart68","country_code":"US","type":"facility","lineage":["https://openalex.org/I1280536761","https://openalex.org/I4210124779"]},{"id":"https://openalex.org/I4210112445","display_name":"Stinger Ghaffarian Technologies (United States)","ror":"https://ror.org/02133fc38","country_code":"US","type":"company","lineage":["https://openalex.org/I4210112445"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Oksana Tkachuk","raw_affiliation_strings":["SGT Inc. /NASA Ames Research Center, Moffett Field, California"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SGT Inc. /NASA Ames Research Center, Moffett Field, California","institution_ids":["https://openalex.org/I1280536761","https://openalex.org/I4210112445"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036023541","display_name":"Sean Nel","orcid":null},"institutions":[{"id":"https://openalex.org/I26092322","display_name":"Stellenbosch University","ror":"https://ror.org/05bk57929","country_code":"ZA","type":"education","lineage":["https://openalex.org/I26092322"]}],"countries":["ZA"],"is_corresponding":false,"raw_author_name":"Sean Nel","raw_affiliation_strings":["University of Stellenbosch, South Africa"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Stellenbosch, South Africa","institution_ids":["https://openalex.org/I26092322"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000026394","display_name":"Brink van der Merwe","orcid":"https://orcid.org/0000-0001-5010-9934"},"institutions":[{"id":"https://openalex.org/I26092322","display_name":"Stellenbosch University","ror":"https://ror.org/05bk57929","country_code":"ZA","type":"education","lineage":["https://openalex.org/I26092322"]}],"countries":["ZA"],"is_corresponding":false,"raw_author_name":"Brink van der Merwe","raw_affiliation_strings":["University of Stellenbosch, South Africa"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Stellenbosch, South Africa","institution_ids":["https://openalex.org/I26092322"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5088454541","display_name":"Willem Visser","orcid":"https://orcid.org/0000-0002-0913-3091"},"institutions":[{"id":"https://openalex.org/I26092322","display_name":"Stellenbosch University","ror":"https://ror.org/05bk57929","country_code":"ZA","type":"education","lineage":["https://openalex.org/I26092322"]}],"countries":["ZA"],"is_corresponding":false,"raw_author_name":"Willem Visser","raw_affiliation_strings":["University of Stellenbosch, South Africa"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Stellenbosch, South Africa","institution_ids":["https://openalex.org/I26092322"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.3358,"has_fulltext":true,"cited_by_count":8,"citation_normalized_percentile":{"value":0.92229417,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"40","issue":"6","first_page":"1","last_page":"5"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998000264167786,"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":0.9998000264167786,"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.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.9994000196456909,"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.7774019241333008},{"id":"https://openalex.org/keywords/android","display_name":"Android (operating system)","score":0.6426469087600708},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5189568400382996},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.42024219036102295},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.3777511417865753},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.34607821702957153}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7774019241333008},{"id":"https://openalex.org/C557433098","wikidata":"https://www.wikidata.org/wiki/Q94","display_name":"Android (operating system)","level":2,"score":0.6426469087600708},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5189568400382996},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.42024219036102295},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.3777511417865753},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.34607821702957153}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/2830719.2830727","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2830719.2830727","pdf_url":null,"source":{"id":"https://openalex.org/S186921487","display_name":"ACM SIGSOFT Software Engineering Notes","issn_l":"0163-5948","issn":["0163-5948","1943-5843"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM SIGSOFT Software Engineering Notes","raw_type":"journal-article"},{"id":"pmh:oai:casi.ntrs.nasa.gov:20160000935","is_oa":true,"landing_page_url":"http://hdl.handle.net/2060/20160000935","pdf_url":"https://ntrs.nasa.gov/api/citations/20160000935/downloads/20160000935.pdf","source":{"id":"https://openalex.org/S4377196257","display_name":"NASA STI Repository (National Aeronautics and Space Administration)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210124779","host_organization_name":"National Aeronautics and Space Administration","host_organization_lineage":["https://openalex.org/I4210124779"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"CASI","raw_type":"ARC-E-DAA-TN27961"}],"best_oa_location":{"id":"pmh:oai:casi.ntrs.nasa.gov:20160000935","is_oa":true,"landing_page_url":"http://hdl.handle.net/2060/20160000935","pdf_url":"https://ntrs.nasa.gov/api/citations/20160000935/downloads/20160000935.pdf","source":{"id":"https://openalex.org/S4377196257","display_name":"NASA STI Repository (National Aeronautics and Space Administration)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210124779","host_organization_name":"National Aeronautics and Space Administration","host_organization_lineage":["https://openalex.org/I4210124779"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"CASI","raw_type":"ARC-E-DAA-TN27961"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2268105597.pdf","grobid_xml":"https://content.openalex.org/works/W2268105597.grobid-xml"},"referenced_works_count":9,"referenced_works":["https://openalex.org/W1514703713","https://openalex.org/W2013856010","https://openalex.org/W2014143312","https://openalex.org/W2044921704","https://openalex.org/W2068380505","https://openalex.org/W2078988604","https://openalex.org/W2106626492","https://openalex.org/W2110297451","https://openalex.org/W2171480813"],"related_works":["https://openalex.org/W2165251242","https://openalex.org/W2418291489","https://openalex.org/W2068121105","https://openalex.org/W3134738208","https://openalex.org/W3096519538","https://openalex.org/W1973516247","https://openalex.org/W4241166160","https://openalex.org/W589730254","https://openalex.org/W2829478414","https://openalex.org/W1565885216"],"abstract_inverted_index":{"Software":[0],"applications":[1,137],"are":[2,50,126,138,152,179],"developed":[3],"to":[4,17,20,25,52,72,87,102,123,128,154,183],"be":[5,124],"executed":[6,140],"in":[7],"a":[8,142],"specific":[9,65],"environment.":[10],"This":[11],"environment":[12,35,186],"includes":[13],"external/":[14],"native":[15],"libraries":[16],"add":[18],"functionality":[19],"the":[21,27,34,62,89,168,185],"application":[22,28,38,63],"and":[23,32,78,105,119,132,144,157,193],"drivers":[24,77,104],"fire":[26],"execution.":[29],"For":[30],"testing":[31],"verification,":[33],"of":[36,91,114,170,188],"an":[37,100],"is":[39,70],"simplified/abstracted":[40],"using":[41,115,141],"models":[42],"or":[43,175],"stubs.":[44],"Empty":[45],"stubs,":[46,83],"returning":[47],"default":[48,116],"values,":[49],"simple":[51],"generate":[53,103,155],"automatically,":[54],"but":[55,84],"they":[56],"do":[57],"not":[58],"perform":[59],"well":[60],"when":[61],"expects":[64],"return":[66,79,133],"values.":[67,117,134],"Symbolic":[68],"execution":[69,169],"used":[71,153],"find":[73],"input":[74],"parameters":[75,131],"for":[76,81,196],"values":[80,90,109,148,159],"library":[82],"it":[85],"struggles":[86],"detect":[88],"complex":[92],"objects.":[93],"In":[94],"this":[95,181],"work-in-progress":[96],"paper,":[97],"we":[98],"explore":[99],"approach":[101,182],"stubs":[106],"based":[107],"on":[108],"collected":[110,149],"during":[111,150,164],"runtime":[112,151],"instead":[113],"Entry-points":[118],"methods":[120],"that":[121,161,172],"need":[122],"modeled":[125],"instrumented":[127,136,145],"log":[129],"their":[130],"The":[135,147],"then":[139],"driver":[143,156],"libraries.":[146],"stub":[158],"on-the-y":[160],"improve":[162,184],"coverage":[163],"verification":[165],"by":[166],"enabling":[167],"code":[171],"previously":[173],"crashed":[174],"was":[176],"missed.":[177],"We":[178],"implementing":[180],"model":[187,191],"JPF-Android,":[189],"our":[190],"checking":[192],"analysis":[194],"tool":[195],"Android":[197],"applications.":[198]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}