| Estimating Worst-case Resource Usage by Resource-usage-aware Fuzzing
|
2022 |
Chen, Liqian |
| Quantitative Program Sketching using Lifted Static Analysis
|
2022 |
Dimovski, Aleksandar S. |
| Finding Semantic Bugs Fast
|
2022 |
Grätz, Lukas |
| Semantic Code Search in Software Repositories using Neural Machine Translation
|
2022 |
Papathomas, Evangelos |
| Construction of Verifier Combinations Based on Off-the-Shelf Verifiers
|
2022 |
Beyer, Dirk |
| SMC4PEP: Stochastic Model Checking of Product Engineering Processes
|
2022 |
Hage, Hassan |
| AequeVox: Automated Fairness Testing of Speech Recognition Systems
|
2022 |
Rajan, Sai Sathiesh |
| QMaxUSE: A Query-based Verification Tool for UML Class Diagrams with OCL Invariants
|
2022 |
Wu, Hao |
| VeriFuzz: Good Seeds for Fuzzing (Competition Contribution)
|
2022 |
Metta, Ravindra |
| Information-flow Interfaces
|
2022 |
Bartocci, Ezio |
| On the Detection of Doped Software by Falsification
|
2022 |
Biewer, Sebastian |
| An Institutional Approach to Communicating UML State Machines
|
2022 |
Rosenberger, Tobias |
| SMT-Based Planning Synthesis for Distributed System Reconfigurations
|
2022 |
Robillard, Simon |
| Semantic Clone Detection via Probabilistic Software Modeling
|
2022 |
Thaller, Hannes |
| A Survey-driven Feature Model for Software Traceability Approaches
|
2022 |
Batot, Edouard Romari |
| SixthSense: Debugging Convergence Problems in Probabilistic Programs via Program Representation Leaming
|
2022 |
Dutta, Saikat |
| Symbolic Predictive Cache Analysis for Out-of-Order Execution
|
2022 |
Huang, Zunchen |
| PEQtest: Testing Functional Equivalence
|
2022 |
Jakobs, Marie-Christine |
| Advances in Automatic Software Testing: Test-Comp 2022
|
2022 |
Beyer, Dirk |
| FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing: and (Competition Contribution)
|
2022 |
Alshmrany, Kaled M. |
Tag hinzufügen