Parf: An Adaptive Abstraction-Strategy Tuner for Static Analysis

Saved in:
Bibliographic Details
Published inJournal of computer science and technology
Main Authors Wang, Zhong-Yi, Chen, Ming-Shuai, Lin, Teng-Jie, Yang, Lin-Yu, Zhuo, Jun-Hao, Wang, Qiu-Ye, Qin, Sheng-Chao, Yi, Xiao, Yin, Jian-Wei
Format Journal Article
LanguageEnglish
Published 11.08.2025
Online AccessGet full text

Cover

Author Chen, Ming-Shuai
Yin, Jian-Wei
Zhuo, Jun-Hao
Yang, Lin-Yu
Lin, Teng-Jie
Yi, Xiao
Wang, Qiu-Ye
Wang, Zhong-Yi
Qin, Sheng-Chao
Author_xml – sequence: 1
  givenname: Zhong-Yi
  surname: Wang
  fullname: Wang, Zhong-Yi
– sequence: 2
  givenname: Ming-Shuai
  surname: Chen
  fullname: Chen, Ming-Shuai
– sequence: 3
  givenname: Teng-Jie
  surname: Lin
  fullname: Lin, Teng-Jie
– sequence: 4
  givenname: Lin-Yu
  surname: Yang
  fullname: Yang, Lin-Yu
– sequence: 5
  givenname: Jun-Hao
  surname: Zhuo
  fullname: Zhuo, Jun-Hao
– sequence: 6
  givenname: Qiu-Ye
  surname: Wang
  fullname: Wang, Qiu-Ye
– sequence: 7
  givenname: Sheng-Chao
  surname: Qin
  fullname: Qin, Sheng-Chao
– sequence: 8
  givenname: Xiao
  surname: Yi
  fullname: Yi, Xiao
– sequence: 9
  givenname: Jian-Wei
  surname: Yin
  fullname: Yin, Jian-Wei
BookMark eNotkM1KAzEUhYNUsK0-gLu8QPTmZ5KJK4eiVSgotK7DnUwiI3WmJFHo2zulbs75NucsvgWZDeMQCLnlcMcBzH3mXFpgICpWcQVMX5A5rzUwZZSdTQwAzE5xRRY5fwFIA0rNyeM7pvhAm4E2HR5K_xto0-aS0Jd-HNh2ohI-j3T3M4RE45jotmDp_bTA_TH3-ZpcRtzncPPfS_Lx_LRbvbDN2_p11WyY51wVpuogpY4gfBekUJ4Lj16HGq2pDGprPe9aQK9EK6OIWrZWt8LWwaIxUQe5JPz869OYcwrRHVL_jenoOLiTAndW4CYF7qTAafkH7_BQbA
Cites_doi 10.1007/978-3-030-99527-0_26
10.1007/978-3-540-73368-3_51
10.1007/978-3-031-44245-22
10.1007/978-3-031-57256-2_26
10.1007/978-3-031-57256-2_15
10.1007/978-3-642-31424-7_15
10.1145/3689765
10.1145/3649845
10.1007/978-3-031-30820-8_34
10.1145/781131.781153
10.1145/512950.512973
10.1109/ASE.2008.13
ContentType Journal Article
DBID AAYXX
CITATION
DOI 10.1007/s11390-025-5140-6
DatabaseName CrossRef
DatabaseTitle CrossRef
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISSN 1860-4749
ExternalDocumentID 10_1007_s11390_025_5140_6
GroupedDBID -~C
.86
.VR
06D
0R~
0VY
1N0
29K
2J2
2JN
2JY
2KG
2KM
2LR
2~H
30V
4.4
406
408
409
40D
40E
5GY
5VR
5VS
67Z
6NX
7WY
8FL
8TC
8UJ
92H
92I
95-
95.
95~
96X
AABHQ
AACDK
AAHNG
AAIAL
AAJBT
AAJKR
AANZL
AAPKM
AARTL
AASML
AATNV
AATVU
AAUYE
AAWCG
AAYIU
AAYQN
AAYXX
AAYZH
ABAKF
ABBBX
ABBRH
ABBXA
ABDBE
ABDZT
ABECU
ABFSG
ABFTD
ABFTV
ABHLI
ABHQN
ABJNI
ABJOX
ABKCH
ABKTR
ABMNI
ABMQK
ABNWP
ABQBU
ABRTQ
ABSXP
ABTEG
ABTHY
ABTKH
ABTMW
ABWNU
ABXPI
ACAOD
ACDTI
ACGFS
ACHSB
ACHXU
ACKNC
ACMDZ
ACMLO
ACOKC
ACOMO
ACPIV
ACSNA
ACSTC
ACZOJ
ADHHG
ADHIR
ADKNI
ADKPE
ADRFC
ADTPH
ADURQ
ADYFF
ADZKW
AEFQL
AEGAL
AEGNC
AEJHL
AEJRE
AEMSY
AENEX
AEOHA
AEPYU
AESKC
AETLH
AEVLU
AEXYK
AEZWR
AFBBN
AFDZB
AFHIU
AFLOW
AFOHR
AFQWF
AFWTZ
AFZKB
AGAYW
AGDGC
AGMZJ
AGQEE
AGQMX
AGRTI
AGWIL
AGWZB
AGYKE
AHAVH
AHBYD
AHKAY
AHPBZ
AHSBF
AHWEU
AHYZX
AIAKS
AIGIU
AIIXL
AILAN
AITGF
AIXLP
AJRNO
ALMA_UNASSIGNED_HOLDINGS
ALWAN
AMKLP
AMXSW
AMYLF
AMYQR
AOCGG
ARMRJ
ASPBG
ATHPR
AVWKF
AXYYD
AYFIA
AZFZN
B-.
BA0
BSONS
CCEZO
CHBEP
CITATION
CS3
CSCUP
CUBFJ
CW9
D-I
DDRTE
DNIVK
DPUIP
DU5
EBLON
EBS
EIOEI
ESBYG
F5P
FEDTE
FERAY
FFXSO
FIGPU
FNLPD
FRRFC
FWDCC
GGCAI
GGRSB
GJIRD
GNWQR
GQ7
GQ8
GXS
HF~
HG6
HMJXF
HQYDN
HRMNR
HVGLF
HZ~
IHE
IJ-
IKXTQ
IWAJR
IXC
IXD
IXE
IZIGR
IZQ
I~X
I~Z
J-C
JBSCW
JCJTX
JZLTJ
K60
K6~
KDC
KOV
LAK
LLZTM
MA-
NB0
NF0
NPVJJ
NQJWS
O93
O9G
O9I
O9J
OAM
P19
P2P
P9O
PF0
PT4
PT5
QOK
QOS
R89
R9I
RNS
ROL
RPX
RSV
S16
S1Z
S27
S3B
SAP
SCL
SCO
SDH
SDM
SHX
SISQX
SJYHP
SNE
SNPRN
SNX
SOHCF
SOJ
SPISZ
SRMVM
SSLCW
STPWE
SZN
T13
TCJ
TGMPQ
TGT
TSG
TSK
TSV
TUC
U2A
UG4
UOJIU
UTJUX
VC2
W23
W48
WK8
YLTOR
ZMTXR
~A9
~EX
ID FETCH-LOGICAL-c114t-48e336f02cde324c12cac6e8a9757a699c1db0ac42b3f2f63b96b298e9a77f6e3
ISSN 1000-9000
IngestDate Thu Aug 14 00:00:28 EDT 2025
IsPeerReviewed true
IsScholarly true
Language English
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-c114t-48e336f02cde324c12cac6e8a9757a699c1db0ac42b3f2f63b96b298e9a77f6e3
ParticipantIDs crossref_primary_10_1007_s11390_025_5140_6
PublicationCentury 2000
PublicationDate 2025-08-11
PublicationDateYYYYMMDD 2025-08-11
PublicationDate_xml – month: 08
  year: 2025
  text: 2025-08-11
  day: 11
PublicationDecade 2020
PublicationTitle Journal of computer science and technology
PublicationYear 2025
References B Blanchet (5140_CR7) 2003
D Bühler (5140_CR1) 2023
D Beyer (5140_CR13) 2022
D Beyer (5140_CR14) 2008
D Kaestner (5140_CR8) 2023
D Beyer (5140_CR12) 2024
Y Zhang (5140_CR10) 2024; 8
A Ebalard (5140_CR11) 2019
D Beyer (5140_CR15) 2007
D Kästner (5140_CR2) 2023
A J Venet (5140_CR6) 2012
Z Yan (5140_CR16) 2024; 8
R Monat (5140_CR4) 2024
P Cousot (5140_CR5) 1977
S Saan (5140_CR3) 2023
Z Wang (5140_CR9) 2024
References_xml – start-page: 429
  volume-title: Proc. the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
  year: 2022
  ident: 5140_CR13
  doi: 10.1007/978-3-030-99527-0_26
– start-page: 504
  volume-title: Proc. the 19th International Conference on Computer Aided Verification
  year: 2007
  ident: 5140_CR15
  doi: 10.1007/978-3-540-73368-3_51
– start-page: 10
  volume-title: Lecture Notes in Computer Science 14284
  year: 2023
  ident: 5140_CR2
  doi: 10.1007/978-3-031-44245-22
– start-page: 65
  volume-title: Automatic sound static analysis for integration verification of AUTOSAR software
  year: 2023
  ident: 5140_CR8
– volume-title: The Eva plug-in for Frama-C 27.1 (Cobalt)
  year: 2023
  ident: 5140_CR1
– start-page: 387
  volume-title: Lecture Notes in Computer Science 14572
  year: 2024
  ident: 5140_CR4
  doi: 10.1007/978-3-031-57256-2_26
– start-page: 299
  volume-title: Proc. the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
  year: 2024
  ident: 5140_CR12
  doi: 10.1007/978-3-031-57256-2_15
– volume-title: SSTIC
  year: 2019
  ident: 5140_CR11
– start-page: 139
  volume-title: Proc. the 24th International Conference on Computer Aided Verification
  year: 2012
  ident: 5140_CR6
  doi: 10.1007/978-3-642-31424-7_15
– volume: 8
  start-page: 1532
  issue: OOPSLA2
  year: 2024
  ident: 5140_CR16
  publication-title: Proceedings of the ACM on Programming Languages
  doi: 10.1145/3689765
– volume: 8
  start-page: 954
  issue: OOPSLA1
  year: 2024
  ident: 5140_CR10
  publication-title: Proceedings of the ACM on Programming Languages
  doi: 10.1145/3649845
– start-page: 547
  volume-title: Lecture Notes in Computer Science 13994
  year: 2023
  ident: 5140_CR3
  doi: 10.1007/978-3-031-30820-8_34
– start-page: 196
  volume-title: Proc. the 2003 ACM SIGPLAN Conference on Programming Language Design and Implementation
  year: 2003
  ident: 5140_CR7
  doi: 10.1145/781131.781153
– start-page: 238
  volume-title: Proc. the 4th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages
  year: 1977
  ident: 5140_CR5
  doi: 10.1145/512950.512973
– start-page: 29
  volume-title: Proc. the 23rd IEEE/ACM International Conference on Automated Software Engineering
  year: 2008
  ident: 5140_CR14
  doi: 10.1109/ASE.2008.13
– start-page: 1082
  volume-title: Proc. the 39th IEEE/ACM International Conference on Automated Software Engineering
  year: 2024
  ident: 5140_CR9
SSID ssj0037044
Score 2.3711946
SourceID crossref
SourceType Index Database
Title Parf: An Adaptive Abstraction-Strategy Tuner for Static Analysis
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LT9wwELbocumlFEpVHkU-9AQyMk7ixJwIVRFCBVXqIrG9rGxnAnsJaLV7gF_P-JFkRRep9BJFdjSK8k1mJpP5Zgj5JvJaArotJhB8lmpjmKpkxbQRoLKi4jpzBOfLK3l-nV7cZDf9zFbPLpmZQ_u0lFfyP6jiGuLqWLJvQLYTigt4jvjiERHG4z9h_EtP65jZKyv94KuASuOSF56twGLr2ceD4byBqa8odMHlxHa9SF6JTW2c9XDQsn58neWSLHywFH_u7ptbNpr0tQIQa_Jx-ffdXHc7P0PLgiHgxsWkU6pRFITbbDRfzESIzKVWo6UMxtOx1N0Q0uBbwlohOUvz0Jb0L3PNI30Zw1DOnMTMsxF639T-j3_hsrpCwr7pshMxRhHjzFervSOrAj8cxICslmenp1etd05y7gf8dvfa_un2dMoX97EQqywEHcOP5ENEhJYB-nWyAs0GWWsncdBomD-RE6cJx7RsaKsHdJkeUK8HFPWABj2grR5skuuzH8Pv5yzOxmAWv2BnLC0gSWTNha0AY2J7JKy2Egqt8izXUil7VBmubSpMUotaJkZJI1QBSufu9Uw-k0Fz38AXQjEgNRqKxGpZpLbIVM1Bc8UBakhVVW-R_fYpjB9CC5Txq899-y0X75D3vR7tksFsOoevGOPNzF6E7RmgWU0H
linkProvider Library Specific Holdings
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Parf%3A+An+Adaptive+Abstraction-Strategy+Tuner+for+Static+Analysis&rft.jtitle=Journal+of+computer+science+and+technology&rft.au=Wang%2C+Zhong-Yi&rft.au=Chen%2C+Ming-Shuai&rft.au=Lin%2C+Teng-Jie&rft.au=Yang%2C+Lin-Yu&rft.date=2025-08-11&rft.issn=1000-9000&rft.eissn=1860-4749&rft_id=info:doi/10.1007%2Fs11390-025-5140-6&rft.externalDBID=n%2Fa&rft.externalDocID=10_1007_s11390_025_5140_6
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1000-9000&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1000-9000&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1000-9000&client=summon