000 04595nam a22005055i 4500
001 978-3-031-64626-3
003 DE-He213
005 20240730172816.0
007 cr nn 008mamaa
008 240714s2024 sz | s |||| 0|eng d
020 _a9783031646263
_9978-3-031-64626-3
024 7 _a10.1007/978-3-031-64626-3
_2doi
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aCOM051230
_2bisacsh
072 7 _aUMZ
_2thema
082 0 4 _a005.1
_223
245 1 0 _aTheoretical Aspects of Software Engineering
_h[electronic resource] :
_b18th International Symposium, TASE 2024, Guiyang, China, July 29 - August 1, 2024, Proceedings /
_cedited by Wei-Ngan Chin, Zhiwu Xu.
250 _a1st ed. 2024.
264 1 _aCham :
_bSpringer Nature Switzerland :
_bImprint: Springer,
_c2024.
300 _aXIII, 474 p. 170 illus., 125 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v14777
505 0 _a -- Protocol Conformance of Collaborative SPARQL using Multiparty Session Types. -- Composition Machines: Programming Self-Organising Software Models for the Emergence of Sequential Program Spaces. -- Slicing Assisted Program Verification: An Empirical Study. -- An approach to improving reliability of parallel graph computation. -- Safe and Infinite Resource Scheduling Using Energy Timed Automata. -- Intrathread Method Orders Based Adaptive Testing of Concurrent Objects. -- An Abstract Interpretation-Based Data Leakage Static Analysis. -- On The Decidability Of Disassembling Binaries. -- Finding Deep-hidden Bugs in Android Apps via Functional Semantics Guided Exploration. -- Detecting Vulnerabilities via Explicitly Leveraging Vulnerability Features on Program Slices. -- Fuzzing for Stateful Protocol Implementations: Are We There Yet?. -- CtxFuzz: Discovering Heap-based Memory Vulnerabilities Through Context Heap Operation Sequence Guided Fuzzing. -- An Adaptive Real-Time Garbage Collection Method Based on File Write Prediction. -- Tree-Based Synthesis of Web Test Sequences From Manual Actions. -- Gradual Typing Performance, Micro Configurations and Macro Perspectives. -- ISS-Scenario: Scenario-based Testing in CARLA. -- Verified Validation for Affine Scheduling in Polyhedral Compilation. -- A Formally Verified Scheme for Security Protocols with the Operational Semantics of Strand Space. -- Empirically Scalable Invariant Generation Leveraging Divide-and Conquer with Pruning. -- DEEPCDCL: A CDCL-based Neural Network Verification Framework. -- Energy-Efficient Motion Planning for Autonomous Vehicles Using Uppaal Stratego. -- CFStra: Enhancing Configurable Program Analysis Through LLM-driven Strategy Selection Based on Code Features. -- Improved Incremental Verification for Neural Networks. -- Automatic construction of HD maps for simulation-based testing of autonomous driving systems. -- Managing traceability for software life cycle processes. -- A Natural Formalized Proof Language. -- Strong Forgetting in Hennessy-Milner Logic.
520 _aThis book constitutes the refereed proceedings of the 18th International Symposium on Theoretical Aspects of Software Engineering, TASE 2024, held in Guiyang, China, during July 29-August 1, 2024. The 24 full papers, 2 short papers, 1 invited abstract and 1 invited papers were carefully selected from 76 submissions. The papers presented new results on innovative advances in software engineering, as well as the latest developments in formal and theoretical software engineering methods and techniques.
650 0 _aSoftware engineering.
_94138
650 1 4 _aSoftware Engineering.
_94138
700 1 _aChin, Wei-Ngan.
_eeditor.
_0(orcid)
_10000-0002-9660-5682
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9105582
700 1 _aXu, Zhiwu.
_eeditor.
_0(orcid)
_10000-0001-6727-440X
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9105584
710 2 _aSpringerLink (Online service)
_9105587
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783031646256
776 0 8 _iPrinted edition:
_z9783031646270
830 0 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v14777
_923263
856 4 0 _uhttps://doi.org/10.1007/978-3-031-64626-3
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cEBK
999 _c88568
_d88568