Abstract is missing.
- Information-flow InterfacesEzio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa. 3-22 [doi]
- A Survey-driven Feature Model for Software Traceability ApproachesEdouard R. Batot, Sébastien Gérard, Jordi Cabot. 23-48 [doi]
- Construction of Verifier Combinations Based on Off-the-Shelf VerifiersDirk Beyer 0001, Sudeep Kanav, Cedric Richter. 49-70 [doi]
- On the Detection of Doped Software by FalsificationSebastian Biewer, Holger Hermanns. 71-91 [doi]
- Estimating Worst-case Resource Usage by Resource-usage-aware FuzzingLiqian Chen, Renjie Huang, Dan Luo, Chenghu Ma, Dengping Wei, Ji Wang. 92-101 [doi]
- Quantitative Program Sketching using Lifted Static AnalysisAleksandar S. Dimovski. 102-122 [doi]
- SixthSense: Debugging Convergence Problems in Probabilistic Programs via Program Representation LearningSaikat Dutta 0001, Zixin Huang, Sasa Misailovic. 123-144 [doi]
- Finding Semantic Bugs FastLukas Grätz, Reiner Hähnle, Richard Bubel. 145-154 [doi]
- SMC4PEP: Stochastic Model Checking of Product Engineering ProcessesHassan Hage, Emmanouil Seferis, Vahid Hashemi, Frank Mantwill. 155-162 [doi]
- Symbolic Predictive Cache Analysis for Out-of-Order ExecutionZunchen Huang, Chao Wang 0001. 163-183 [doi]
- PEQtest: Testing Functional EquivalenceMarie-Christine Jakobs, Maik Wiesner. 184-204 [doi]
- An Institutional Approach to Communicating UML State MachinesTobias Rosenberger, Alexander Knapp, Markus Roggenbach. 205-224 [doi]
- Semantic Code Search in Software Repositories using Neural Machine TranslationEvangelos Papathomas, Themistoklis Diamantopoulos, Andreas L. Symeonidis. 225-244 [doi]
- AequeVox: Automated Fairness Testing of Speech Recognition SystemsSai Sathiesh Rajan, Sakshi Udeshi, Sudipta Chattopadhyay 0001. 245-267 [doi]
- SMT-Based Planning Synthesis for Distributed System ReconfigurationsSimon Robillard, Hélène Coullon. 268-287 [doi]
- Semantic Clone Detection via Probabilistic Software ModelingHannes Thaller, Lukas Linsbauer, Alexander Egyed. 288-309 [doi]
- QMaxUSE: A Query-based Verification Tool for UML Class Diagrams with OCL InvariantsHao Wu 0017. 310-317 [doi]
- Advances in Automatic Software Testing: Test-Comp 2022Dirk Beyer 0001. 321-335 [doi]
- FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing - (Competition Contribution)Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Lucas C. Cordeiro. 336-340 [doi]
- VeriFuzz: Good Seeds for Fuzzing (Competition Contribution)Ravindra Metta, Raveendra Kumar Medicherla, Hrishikesh Karmarkar. 341-346 [doi]