Auflistung nach Autor "Wehrheim, Heike"
Anzeige der Dokumente 1-13 von 13
-
A Case for a New IT Ecosystem: On-The-Fly Computing
Karl, Holger; Kundisch, Dennis; Meyer auf der Heide, Friedhelm; Wehrheim, Heike
467-481 -
Combining Verifiers in Conditional Model Checking via Reducers
Beyer, Dirk; Jakobs, Marie-Christine; Lemberger, Thomas; Wehrheim, Heike
151-152 -
Component-based CEGAR - Building Software Verifiers from Off-the-Shelf Components
Beyer, Dirk; Haltermann, Jan; Lemberger, Thomas; Wehrheim, Heike
37-38 -
Cooperative Android App Analysis with CoDiDroid
Pauck, Felix; Wehrheim, Heike
83-84 -
CoVEGI: Cooperative Verification via Externally Generated Invariants
Haltermann, Jan; Wehrheim, Heike
41-42 -
Jicer: Slicing Android Apps for Cooperative Analysis
Pauck, Felix; Wehrheim, Heike
101-102 -
Just test what you cannot verify!
Czech, Mike; Jakobs, Marie-Christine; Wehrheim, Heike
17-18 -
Programs from proofs – Approach and applications
Wonisch, Daniel; Schremmer, Alexander; Wehrheim, Heike
67-68 -
Property-Driven Black-Box Testing of Numeric Functions
Sharma, Arnab; Melnikov, Vitalik; Hüllermeier, Eyke; Wehrheim, Heike
111-112 -
Reproducing Taint-Analysis Results with ReproDroid
Pauck, Felix; Bodden, Eric; Wehrheim, Heike
123--124 -
Temporal reconfiguration plans for self-adaptive systems
Ziegert, Steffen; Wehrheim, Heike
271-284 -
Testing Balancedness of ML Algorithms
Sharma, Arnab; Wehrheim, Heike
157-158 -
Variable Misuse Detection: Software Developers versus Neural Bug Detectors
Richter, Cedric; Haltermann, Jan; Jakobs, Marie-Christine; Pauck, Felix; Schott, Stefan; Wehrheim, Heike
103-104