{"id":"https://openalex.org/W7154592868","doi":"https://doi.org/10.48550/arxiv.2604.13463","title":"From Exploration to Specification: LLM-Based Property Generation for Mobile App Testing","display_name":"From Exploration to Specification: LLM-Based Property Generation for Mobile App Testing","publication_year":2026,"publication_date":"2026-04-15","ids":{"openalex":"https://openalex.org/W7154592868","doi":"https://doi.org/10.48550/arxiv.2604.13463"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2604.13463","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.13463","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2604.13463","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5056144530","display_name":"Yiheng Xiong","orcid":"https://orcid.org/0009-0006-9467-4891"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Xiong, Yiheng","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5104094613","display_name":"Shiwen Song","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Song, Shiwen","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5133793587","display_name":"Bo Ma","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ma, Bo","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5133733249","display_name":"Ting Su","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Su, Ting","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5133747750","display_name":"Xiaofei Xie","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Xie, Xiaofei","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5056144530"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"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":0.9142000079154968,"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.9142000079154968,"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.016300000250339508,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.016100000590085983,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/android","display_name":"Android (operating system)","score":0.7717999815940857},{"id":"https://openalex.org/keywords/mobile-apps","display_name":"Mobile apps","score":0.5899999737739563},{"id":"https://openalex.org/keywords/limiting","display_name":"Limiting","score":0.5048999786376953},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.49950000643730164},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.4489000141620636},{"id":"https://openalex.org/keywords/mobile-device","display_name":"Mobile device","score":0.4422000050544739},{"id":"https://openalex.org/keywords/fuzz-testing","display_name":"Fuzz testing","score":0.3815000057220459},{"id":"https://openalex.org/keywords/software-bug","display_name":"Software bug","score":0.3564000129699707}],"concepts":[{"id":"https://openalex.org/C557433098","wikidata":"https://www.wikidata.org/wiki/Q94","display_name":"Android (operating system)","level":2,"score":0.7717999815940857},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7592999935150146},{"id":"https://openalex.org/C2988145974","wikidata":"https://www.wikidata.org/wiki/Q620615","display_name":"Mobile apps","level":2,"score":0.5899999737739563},{"id":"https://openalex.org/C188198153","wikidata":"https://www.wikidata.org/wiki/Q1613840","display_name":"Limiting","level":2,"score":0.5048999786376953},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.49950000643730164},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.4489000141620636},{"id":"https://openalex.org/C186967261","wikidata":"https://www.wikidata.org/wiki/Q5082128","display_name":"Mobile device","level":2,"score":0.4422000050544739},{"id":"https://openalex.org/C111065885","wikidata":"https://www.wikidata.org/wiki/Q1189053","display_name":"Fuzz testing","level":3,"score":0.3815000057220459},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.3707999885082245},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.3564000129699707},{"id":"https://openalex.org/C2988045736","wikidata":"https://www.wikidata.org/wiki/Q94","display_name":"Android app","level":3,"score":0.32519999146461487},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.323199987411499},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.32170000672340393},{"id":"https://openalex.org/C144543869","wikidata":"https://www.wikidata.org/wiki/Q2738570","display_name":"Mobile computing","level":2,"score":0.32109999656677246},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3125999867916107},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.28519999980926514},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.27149999141693115},{"id":"https://openalex.org/C2984328558","wikidata":"https://www.wikidata.org/wiki/Q188522","display_name":"Software testing","level":3,"score":0.26980000734329224},{"id":"https://openalex.org/C87007009","wikidata":"https://www.wikidata.org/wiki/Q210832","display_name":"Statistical hypothesis testing","level":2,"score":0.2542000114917755},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.2542000114917755},{"id":"https://openalex.org/C175154964","wikidata":"https://www.wikidata.org/wiki/Q380077","display_name":"Task analysis","level":3,"score":0.2522999942302704}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2604.13463","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.13463","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2604.13463","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.13463","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Mobile":[0],"apps":[1],"often":[2,31,99],"suffer":[3],"from":[4,113,127,132],"functional":[5,226,243],"bugs":[6,23,227],"that":[7,158],"do":[8],"not":[9],"cause":[10],"crashes":[11],"but":[12],"instead":[13],"manifest":[14],"as":[15],"incorrect":[16],"behaviors":[17],"under":[18,47],"specific":[19],"user":[20],"interactions.":[21,49],"Such":[22],"are":[24,98,108],"difficult":[25,62,109],"to":[26,101,110,123],"detect":[27],"automatically":[28],"because":[29],"they":[30],"lack":[32],"explicit":[33],"test":[34],"oracles.":[35],"Property-based":[36],"testing":[37,142,244],"can":[38,160],"effectively":[39,161],"expose":[40],"them":[41],"by":[42,241],"checking":[43],"intended":[44],"behavioral":[45,125],"properties":[46,84,107,131,139],"diverse":[48],"However,":[50,88],"its":[51,66],"use":[52,68],"largely":[53],"depends":[54],"on":[55,141,150],"manually":[56],"written":[57],"properties,":[58,170,201,220],"whose":[59],"construction":[60],"is":[61,91],"and":[63,104,106,136,147,163,171,184,193,207],"expensive,":[64],"limiting":[65],"practical":[67],"for":[69,82,85,93,195],"mobile":[70],"apps.":[71,87,154],"To":[72,116],"address":[73],"this":[74,89,117],"limitation,":[75],"we":[76,221],"propose":[77],"PropGen,":[78],"an":[79],"automated":[80],"approach":[81],"generating":[83],"Android":[86,153],"task":[90],"challenging":[92],"two":[94],"reasons:":[95],"app":[96,128,166],"functionalities":[97,183],"hard":[100],"systematically":[102],"uncover":[103],"execute,":[105],"derive":[111],"accurately":[112],"observed":[114],"behaviors.":[115],"end,":[118],"PropGen":[119,146,159,179],"performs":[120],"functionality-guided":[121],"exploration":[122],"collect":[124],"evidence":[126],"executions,":[129],"synthesizes":[130],"the":[133,196,218,229,233],"collected":[134],"evidence,":[135],"refines":[137],"imprecise":[138,174,212],"based":[140],"feedback.":[143],"We":[144],"implemented":[145],"evaluated":[148],"it":[149],"12":[151],"real-world":[152],"The":[155],"results":[156],"show":[157],"identify":[162],"execute":[164],"valid":[165,169,182],"functionalities,":[167],"generate":[168],"repair":[172],"most":[173],"ones.":[175],"Across":[176],"all":[177],"apps,":[178,235],"identified":[180],"1,210":[181],"correctly":[185],"executed":[186],"977":[187],"of":[188,203,210,232,237],"them,":[189],"compared":[190],"with":[191],"491":[192],"187":[194],"baseline.":[197],"It":[198],"generated":[199],"985":[200],"912":[202],"which":[204,238],"were":[205,239],"valid,":[206],"repaired":[208],"118":[209],"127":[211],"ones":[213],"exposed":[214],"during":[215],"testing.":[216],"With":[217],"resulting":[219],"found":[222],"25":[223],"previously":[224],"unknown":[225],"in":[228],"latest":[230],"versions":[231],"subject":[234],"many":[236],"missed":[240],"existing":[242],"techniques.":[245]},"counts_by_year":[],"updated_date":"2026-04-17T06:04:52.305304","created_date":"2026-04-17T00:00:00"}