知识中心主页
文献服务
文献资源
外文期刊
外文会议
专业机构
智能制造
高级检索
版权声明
使用帮助
会议文集
文集名
Fundamental Approaches to Software Engineering
会议名
25th International Conference on Fundamental Approaches to Software Engineering (FASE 2022), Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2022)
中译名
《第二十五届国际软件工程的基础方法会议》
机构
European Association for Theoretical Computer Science (EATCS)
会议日期
April 2-7, 2022
会议地点
Munich, Germany
出版年
2022
馆藏号
343337
题名
作者
出版年
Information-flow Interfaces
Ezio Bartocci; Thomas Ferrere; Thomas A. Henzinger; Dejan Nickovic; Ana Oliveira da Costa
2022
A Survey-driven Feature Model for Software Traceability Approaches
Edouard Romari Batot; Sebastien Gerard; Jordi Cabot
2022
Construction of Verifier Combinations Based on Off-the-Shelf Verifiers
Dirk Beyer; Sudeep Kanav; Cedric Richter
2022
On the Detection of Doped Software by Falsification
Sebastian Biewer; Holger Hermanns
2022
Estimating Worst-case Resource Usage by Resource-usage-aware Fuzzing
Liqian Chen; Renjie Huang; Dan Luo; Chenghu Ma; Dengping Wei; Ji Wang
2022
Quantitative Program Sketching using Lifted Static Analysis
Aleksandar S. Dimovski
2022
SixthSense: Debugging Convergence Problems in Probabilistic Programs via Program Representation Learning
Saikat Dutta; Zixin Huang; Sasa Misailovic
2022
Finding Semantic Bugs Fast
Lukas Gratz; Reiner Hahnle; Richard Bubel
2022
SMC4PEP: Stochastic Model Checking of Product Engineering Processes
Hassan Hage; Emmanouil Seferis; Vahid Hashemi; Frank Mantwill
2022
Symbolic Predictive Cache Analysis for Out-of-Order Execution
Zunchen Huang; Chao Wang
2022
PEQtest: Testing Functional Equivalence
Marie-Christine Jakobs; Maik Wiesner
2022
An Institutional Approach to Communicating UML State Machines
Tobias Rosenberger; Alexander Knapp; Markus Roggenbach
2022
Semantic Code Search in Software Repositories using Neural Machine Translation
Evangelos Papathomas; Themistoklis Diamantopoulos; Andreas Symeonidis
2022
AequeVox: Automated Fairness Testing of Speech Recognition Systems
Sai Sathiesh Rajan; Sakshi Udeshi; Sudipta Chattopadhyay
2022
SMT-Based Planning Synthesis for Distributed System Reconfigurations
Simon Robillard; Helene Coullon
2022
Semantic Clone Detection via Probabilistic Software Modeling
Hannes Thaller; Lukas Linsbauer; Alexander Egyed
2022
QMaxUSE: A Query-based Verification Tool for UML Class Diagrams with OCL Invariants
Hao Wu
2022
Advances in Automatic Software Testing: Test-Comp 2022
Dirk Beyer
2022
FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing (Competition Contribution)
Kaled M. Alshmrany; Mohannad Aldughaim; Ahmed Bhayat; Lucas C. Cordeiro
2022
VeriFuzz: Good Seeds for Fuzzing (Competition Contribution)
Ravindra Metta; Raveendra Kumar Medicherla; Hrishikesh Karmarkar
2022
制造业外文文献服务平台